• DLMF

  • Referenced in 2889 articles [sw04968]
  • active development. For example, LaTeX files are being used as the common source for both ... example, or for input to computer algebra systems. These and other problems, and some partially...
  • fda (R)

  • Referenced in 1571 articles [sw04511]
  • package includes data sets and script files working many examples including ... sample analyses through the CRAN distribution system. This is due to the pressure placed ... McGill University. To obtain these Matlab files, go to this site using an ftp utility...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their ... models by sharing files. Using network file system capabilities, different analysis modules ... save memory both for intermediate result files and for program data structures...
  • TOMLAB

  • Referenced in 99 articles [sw04214]
  • DLLs on PC-systems, and compiled MEX library files on Unix and other systems...
  • Astropy

  • Referenced in 47 articles [sw15603]
  • formats such as flexible image transport system (FITS) files, Virtual Observatory (VO) tables, and common ... celestial coordinate and time transformations, world coordinate system (WCS) support, generalized containers for representing gridded...
  • TAUCS

  • Referenced in 32 articles [sw04014]
  • Factorization. Solves huge systems by storing the Cholesky factors in files. Can work with factors ... machines with 32-bit file systems. Out-of-Core Sparse LU with Partial Pivoting Factor ... Solve. Can solve huge unsymmetric linear systems. Ordering Codes and Interfaces to Existing Ordering Codes ... write sparse matrices using a simple file format with one line per nonzero, specifying...
  • dBase

  • Referenced in 195 articles [sw30472]
  • includes the core database engine, a query system, a forms engine, and a programming language ... these components together. dBase’s underlying file format, the .dbf file, is widely used...
  • PERL

  • Referenced in 274 articles [sw01225]
  • language for easily manipulating text, files, and processes. Perl provides a more concise and readable ... intended for users of the UNIX operating system, Perl runs on several other operating systems...
  • MINOS

  • Referenced in 459 articles [sw05095]
  • MINOS is a large-scale optimization system, for the solution of sparse linear and nonlinear ... bounds on the variables are handled efficiently. File formats for constraint and basis data...
  • SiRiUS

  • Referenced in 10 articles [sw22498]
  • This paper presents SiRiUS, a secure file system designed to be layered over insecure network ... file systems such as NFS, CIFS, OceanStore, and Yahoo! Briefcase. SiRiUS assumes the network storage ... with minimal out-of-band communication. File system freshness guarantees are supported by SiRiUS using ... file random access in a cryptographic file system without the use of a block server...
  • GLIMPSE

  • Referenced in 9 articles [sw23326]
  • tool to search through entire file systems. GLIMPSE, which stands for GLobal IMPlicit SEarch, provides ... indexing and query schemes for file systems. The novelty of glimpse is that it uses ... sense, glimpse extends agrep to entire file systems, while preserving most of its functionality ... Usenix AND Winter in a file system containing 69MB of text spanning 4300 files. Glimpse...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • accomplished on exploiting structure in a polynomial system, in particular its sparsity. In this paper ... several modes, is menu-driven and file-oriented. This package features a great variety...
  • ORL face

  • Referenced in 117 articles [sw13799]
  • files are in PGM format, and can conveniently be viewed on UNIX (TM) systems using...
  • Pesca

  • Referenced in 164 articles [sw13664]
  • terminal and printed into LaTeX files. The user of Pesca can choose among different versions ... predicate calculi, and extend them by systems of nonlogical axioms. The implementation of Pesca...
  • PoSSo

  • Referenced in 31 articles [sw04646]
  • well as a separated postscript file, which describe the system individually. These examples are coming...
  • Wumpus

  • Referenced in 10 articles [sw12967]
  • Wumpus is an information retrieval system developed at the University of Waterloo. Its main purpose ... scenario that we are studying is file system search (aka ”desktop search”), in which...
  • ISAJet

  • Referenced in 28 articles [sw09539]
  • Patchy code management system developed at CERN. The Patchy source file isajet.car...
  • SifDec

  • Referenced in 220 articles [sw04087]
  • entirely automated installation procedure for unix systems. The environment is fully backward compatible with ... test problem format and the generation of files suited to automatic differentiation packages...
  • Cryptfs

  • Referenced in 4 articles [sw42329]
  • Cryptfs: A Stackable Vnode Level Encryption File System. Data encryption has become an increasingly important ... large costs of developing a new file system. This paper describes the design and implementation ... Cryptfs -- a file system that was designed as a stackable Vnode layer loadable kernel module ... Cryptfs operates by “encapsulating” a client file system with a layer of encryption transparent...
  • PipLib

  • Referenced in 19 articles [sw23763]
  • directly from his programs, without file accesses or system calls. The user only needs...