• KEGG

  • Referenced in 250 articles [sw13866]
  • understanding high-level functions and utilities of the biological system, such as the cell...
  • TPTP

  • Referenced in 374 articles [sw04143]
  • test problems for automated theorem proving (ATP) systems. The TPTP supplies the ATP community with ... queens problem). A utility to convert the problems to existing ATP systems’ formats. General guidelines...
  • fda (R)

  • Referenced in 1291 articles [sw04511]
  • sample analyses through the CRAN distribution system. This is due to the pressure placed ... this site using an ftp utility: http://www.psych.mcgill.ca/misc/fda/downloads/FDAfuns/ There you find...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • based development of large, multi-language systems by utilizing architecture definitions as the development framework ... based execution model of distributed, time-sensitive systems -- the ”timed poset model.” Posets provide...
  • ShearLab

  • Referenced in 50 articles [sw06721]
  • utilization of parabolic scaling. One prominent example is the shearlet system. Our objective in this ... digital realms. Second, we analyze the utilization of pseudo-polar grids and the pseudo-polar...
  • VisualSEEk

  • Referenced in 89 articles [sw13846]
  • system automatically extracts and indexes salient color regions from the images. By utilizing efficient indexing...
  • SEMINT

  • Referenced in 15 articles [sw00845]
  • access to a variety of database systems and utilizes both schema information and data contents...
  • STAPL

  • Referenced in 14 articles [sw00910]
  • executes on uni- or multi-processor systems that utilize shared or distributed memory. STAPL...
  • KLEE

  • Referenced in 40 articles [sw04894]
  • Generation of High-Coverage Tests for Complex Systems Programs. Symbolic execution tool, KLEE, capable ... utility suite, which form the core user-level environment installed on millions of Unix systems ... equivalent tools in the BUSYBOX embedded system suite, results were even better, including 100% coverage ... check purportedly identical BUSY-BOX and COREUTILS utilities, finding functional correctness errors and a myriad...
  • Modelica

  • Referenced in 88 articles [sw04352]
  • modeling of large, complex, and heterogeneous systems. It is suited for multi-domain modeling ... such that available, specialized algorithms can be utilized to enable efficient handling of large models ... loop simulations and for embedded control systems...
  • MA48

  • Referenced in 22 articles [sw00535]
  • sparse unsymmetric linear systems of equations. The new code utilizes a novel restructuring...
  • LIPSOL

  • Referenced in 80 articles [sw04712]
  • designed to solve relatively large problems. It utilizes Matlab’s sparse-matrix data-structure ... solving large, sparse, symmetric positive definite linear systems. Specifically, LIPSOL constructs MEX-files from ... language. On the other hand, utilizing efficient Fortran codes for computationally intensive tasks, LIPSOL also...
  • Featherweight Java

  • Referenced in 89 articles [sw16204]
  • variations. As an illustration of its utility in this regard, we extend Featherweight Java with ... detailed proof of type safety. The extended system formalizes for the first time some...
  • RICPAC

  • Referenced in 60 articles [sw15253]
  • derived from control and filtering problems for systems in generalized (or implicit or descriptor) state ... associated Hamiltonian or symplectic generalized eigenvalue problems. Utilizing an embedding technique, the package also calculates ... correlated noise is handled directly. Both system-theoretic balancing and Ward’s balancing...
  • OptQuest

  • Referenced in 18 articles [sw06512]
  • optimization of complex systems that may or may not utilize simulation. It provides user-friendly...
  • PARMON

  • Referenced in 6 articles [sw02312]
  • monitoring of critical system resource activities and their utilization at three different levels: entire system ... PARMON are parmon-server – system resource activities and utilization information provider and parmon-client ... Java does not support interfaces to access system internals. PARMON is regularly used to monitor...
  • Eucalyptus

  • Referenced in 23 articles [sw19229]
  • stands for ”Elastic Utility Computing Architecture, Linking Your Programs To Useful Systems...
  • GRESS

  • Referenced in 12 articles [sw00385]
  • procedure employs an automated system called GRESS, which utilizes a precompiler to enhance a Fortran...
  • COSY

  • Referenced in 14 articles [sw30494]
  • processes sharing distributed systems of resources is introduced and the utility of the notation ... concurrent and distributed algorithms performing important operating system functions. The notation permits a clear...
  • Abella

  • Referenced in 49 articles [sw09461]
  • System Description). Abella [3] is an interactive system for reasoning about aspects of object languages ... recursive rules based on syntactic structure. Abella utilizes a two-level logic approach to specification...