• Isabelle/HOL

  • Referenced in 1025 articles [sw01569]
  • which includes proving the correctness of computer hardware or software and proving properties of computer...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • which includes proving the correctness of computer hardware or software and proving properties of computer...
  • OpenFOAM

  • Referenced in 555 articles [sw04317]
  • users to take full advantage of computer hardware at their disposal. By being open, OpenFOAM...
  • LS-DYNA

  • Referenced in 345 articles [sw03068]
  • resulted in a drastic reduction in computer hardware costs and a huge increase...
  • PVM

  • Referenced in 307 articles [sw04273]
  • enables users to exploit their existing computer hardware to solve much larger problems at minimal...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce provides a chance to utilize commodity hardware for massively parallel data analysis applications...
  • LEDA

  • Referenced in 264 articles [sw00509]
  • freely available worldwide on a variety of hardware, the software is installed at hundreds...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • used to generate a software or hardware implementation of a reactive program. It can generate ... data manipulations. It can also generate hardware in the form of netlists of gates, which...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • keep pace with the incredible rate of hardware advancement inherent in Moore’s Law. ATLAS...
  • ETPS

  • Referenced in 161 articles [sw06302]
  • Potential applications of automated theorem proving include hardware and software verification, partial automation of various...
  • CMU PIE

  • Referenced in 160 articles [sw13798]
  • this paper, we describe the imaging hardware, the collection procedure, the organization of the database...
  • LCF

  • Referenced in 158 articles [sw08360]
  • today, and the design of the hardware veri¯cation system LCF LSM (a now obsolete...
  • Camellia

  • Referenced in 88 articles [sw09731]
  • Standard (AES). Efficiency on both software and hardware platforms is a remarkable characteristic of Camellia ... least comparable encryption speed in software and hardware. An optimized implementation of Camellia in assembly ... addition, a distinguishing feature is its small hardware design. The hardware design, which includes encryption...
  • OBJ3

  • Referenced in 140 articles [sw05370]
  • prototyping, theorem proving, user interface design, and hardware verification, among other things...
  • OpenGL

  • Referenced in 138 articles [sw06740]
  • Graphics processing unit (GPU), to achieve hardware-accelerated rendering. OpenGL was developed by Silicon Graphics...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • objective: very efficient use of the underlying hardware; portability; independency of a specific interval representation...
  • Hadoop

  • Referenced in 134 articles [sw08481]
  • computation and storage. Rather than rely on hardware to deliver high-availability, the library itself...
  • Modelica

  • Referenced in 126 articles [sw04352]
  • equations. Modelica is suited and used for hardware-in-the-loop simulations and for embedded...
  • Grain

  • Referenced in 73 articles [sw19539]
  • cipher, Grain, is proposed. The design targets hardware environments where gate count, power consumption ... increased at the expense of extra hardware. The key size is 80 bits ... exhaustive key search has been identified. The hardware complexity and throughput compares favourably to other ... hardware oriented stream ciphers like E0 and A5/1...
  • PPL

  • Referenced in 104 articles [sw05357]
  • systems for the analysis and verification of hardware and software components. Current applications span imperative...