• z3

  • Referenced in 606 articles [sw04887]
  • tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • Spec# programming system is a new attempt at a more cost effective way to develop ... describes the goals and architecture of the Spec# programming system, consisting of the object-oriented ... Spec# programming language, the Spec# compiler, and the Boogie static program verifier. The language includes...
  • MPI/MPICH

  • Referenced in 165 articles [sw06126]
  • difficult job of getting the spec right was done by the MPI Forum...
  • Boogie

  • Referenced in 120 articles [sw07714]
  • verifiers for Dafny, Chalice, and Spec#. A previous version of the language was called BoogiePL...
  • MiBench

  • Referenced in 50 articles [sw04421]
  • representative embedded programs from the existing SPEC benchmarks including instruction distribution, memory behavior, and available...
  • SPEC Benchmarks

  • Referenced in 23 articles [sw21476]
  • spec: Standard Performance Evaluation Corporation. SPEC’s first benchmark suite to measure cloud performance SPEC ... intensive cloud computing workloads. SPEC selected the social media NoSQL database transaction and K-Means...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • SPEC: An executable specification language for solving all problems in NP. A logic-based specification ... language, called NP-SPEC, is presented. The language is obtained by extending DATALOG through allowing ... second-order predicates of predefined form. NP-SPEC programs specify solutions to problems ... reasonably efficient construction of problem solutions. NP-SPEC expressive power is precisely characterized...
  • MediaBench

  • Referenced in 34 articles [sw08949]
  • general-purpose computing, and more specifically the SPEC benchmark suite. At the same time...
  • Blossom V

  • Referenced in 28 articles [sw04780]
  • Schäfer [ACM J. Exp. Algorithm. 7, Spec. Iss., Article 4, 19 p., electronic only...
  • SpecExplorer

  • Referenced in 18 articles [sw11366]
  • Model-based Testing with SpecExplorer. Spec Explorer is a software development tool for advanced model...
  • SpEC

  • Referenced in 11 articles [sw07423]
  • hole systems using the Spectral Einstein Code (SpEC) are done on a computational domain that...
  • BoogiePL

  • Referenced in 13 articles [sw21521]
  • accepted as input to Boogie, the Spec# static program verifier...
  • SPEC

  • Referenced in 7 articles [sw20606]
  • SPEC (for Spi-calculus Equivalence Checker) is an equivalence checker for a version of Abadi ... security properties such as secrecy and authentication. SPEC implements a process equivalence checking procedure based ... IEEE Computer Security Foundations symposium in 2010). SPEC is implemented on top of a modified...
  • SPECjvm2008

  • Referenced in 6 articles [sw21475]
  • variety of both client and server systems. SPEC also finds user experience of Java important...
  • ADAPT

  • Referenced in 6 articles [sw29918]
  • system on three programs from the SPEC floating point benchmark suite by dynamically applying loop...
  • SIMION

  • Referenced in 3 articles [sw06162]
  • over 30 years to simulate lens, mass spec, and other types of particle optics systems...
  • LIFT

  • Referenced in 3 articles [sw20596]
  • times on average for seven SPEC INT2000 applications. Our dynamic optimizations are very effective...
  • Seminormalization

  • Referenced in 3 articles [sw30571]
  • ring is non-normal if in the Spec, points are identified and tangent spaces killed...
  • HPC2002

  • Referenced in 1 article [sw09614]
  • SPEC HPC2002: The next high-performance computer benchmark. The High-Performance Group of the Standard ... expected to be replaced by the SPEC HPC2002 suite in the second quarter ... HPC2002 represents a minor update to SPEC’s current high-performance computing benchmarks ... last subsection of this document we describe SPEC’s longer-term plans...
  • Wave-spec

  • Referenced in 1 article [sw18844]
  • Wave-spec: a preprocessing package for mass spectrometry data. Wave-spec is a pre-processing...