• PRISM

  • Referenced in 442 articles [sw01186]
  • Analysis is performed through model checking such systems against specifications written in the probabilistic temporal ... model checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs ... service properties for a range of systems, including randomized distributed algorithms, manufacturing systems and workstation...
  • QDES

  • Referenced in 110 articles [sw26999]
  • Package contains binaries for machines and operating systems that no longer exist, a bunch...
  • TOMLAB

  • Referenced in 99 articles [sw04214]
  • distributed as compiled binary MEX DLLs on PC-systems, and compiled MEX library files...
  • ALPS

  • Referenced in 19 articles [sw08907]
  • magnets, lattice bosons, and strongly correlated fermion systems. The code development is centered on common ... binary data, evaluation tools in Python, support for the Windows operating system ... CMake as build system and binary installation packages for Mac OS X and Windows...
  • TMSmesh

  • Referenced in 20 articles [sw14719]
  • electrostatic solvation of large-scale molecular systems. The binary version of TMSmesh...
  • SpEC

  • Referenced in 11 articles [sw07423]
  • black hole spacetimes. Simulations of binary black hole systems using the Spectral Einstein Code (SpEC ... describe in detail the mappings and control systems that we use. We show how these ... essential in the evolution of binary black hole systems with extreme configurations, such as large...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • kernel implements the calculi of ordered binary resolution and superposition for handling equality. The splitting ... ordering constraints. Although the kernel of the system works only with clausal normal forms...
  • ABC

  • Referenced in 40 articles [sw12910]
  • public-domain system for logic synthesis and formal verification of binary logic circuits appearing...
  • NAMD

  • Referenced in 79 articles [sw03198]
  • high-performance simulation of large biomolecular systems. Based on Charm++ parallel objects, NAMD scales ... build NAMD yourself or download binaries for a wide variety of platforms...
  • aiT

  • Referenced in 12 articles [sw13101]
  • tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache...
  • PostgreSQL

  • Referenced in 78 articles [sw15935]
  • correctness. It runs on all major operating systems, including Linux, UNIX ... TIMESTAMP. It also supports storage of binary large objects, including pictures, sounds, or video ... accommodate. There are active PostgreSQL systems in production environments that manage in excess...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source ... Prolog are very encouraging (comparable to commercial systems). Beside the native-code compilation, GNU Prolog...
  • Split Step Explorer

  • Referenced in 15 articles [sw24413]
  • integer or binary indices extends the classification known for translation invariant systems in terms...
  • TEMPO2

  • Referenced in 1 article [sw27877]
  • secular motion of the pulsar or binary system, interstellar, Solar system and ionospheric dispersion, observatory ... gravitational time-dilation due to binary companions and Solar system bodies. We believe that ... except in the case of relativistic binary systems where further theoretical development is needed...
  • LUDWIG

  • Referenced in 23 articles [sw02229]
  • main application has been to symmetric binary fluid mixtures. We first explain the philosophy ... good efficiency on both MPP and SMP systems. Finally, we describe how to implement generic ... particular case of a symmetric binary fluid mixture near a solid wall. We present...
  • AddressSanitizer

  • Referenced in 3 articles [sw36264]
  • implemented in any compiler, binary translation system, or even in hardware. AddressSanitizer achieves efficiency without...
  • ECOS

  • Referenced in 58 articles [sw12123]
  • ECOS also supports a small number of binary or integer variables by employing a simple ... solve optimization problems on any embedded system for which a C-compiler is available...
  • Algorithm 722

  • Referenced in 5 articles [sw12580]
  • Appendix to the IEEE Standard for Binary Floating-Point Arithmetic. In the case of logb ... without modification on most systems conforming to the binary standard...
  • Magma

  • Referenced in 1 article [sw21159]
  • called a groupoid or a general binary system) is simply a set, together with...
  • Binary Maker

  • Referenced in 1 article [sw41344]
  • Outline function that outputs the binary system with its associated inner and outer Lagrangian surfaces ... form of PostScript files. Binary parameter (BMD) files from the DOS version, as well...