• AMT

  • Referenced in 13 articles [sw38045]
  • tool is validated through a Flash memory case-study...
  • TreeFTL

  • Referenced in 2 articles [sw20271]
  • NAND flash-based storage systems. NAND flash memory is widely used for secondary storage today...
  • Shiftry

  • Referenced in 1 article [sw40549]
  • 32KB of read-only Flash memory. Although recent breakthroughs in ML have created novel recurrent...
  • TI-84

  • Referenced in 4 articles [sw06909]
  • calculators: TI-BASIC, Z80 assembly language, and Flash applications (also written in Z80 assembly ... exam may reset the calculator’s memory beforehand to prevent cheating through...
  • CUTE

  • Referenced in 66 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • hypre

  • Referenced in 334 articles [sw00426]
  • hypre is a software library for the solution...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PARAMESH

  • Referenced in 115 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • PicoDBMS

  • Referenced in 11 articles [sw01550]
  • PicoDBMS: Scaling down database techniques for the smartcard...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • COMSOL

  • Referenced in 460 articles [sw04091]
  • The COMSOL Multiphysics engineering simulation software environment facilitates...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • Chombo

  • Referenced in 69 articles [sw04316]
  • Chombo - Software for Adaptive Solutions of Partial Differential...
  • Valgrind

  • Referenced in 63 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • JML

  • Referenced in 190 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • z3

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LLVM

  • Referenced in 88 articles [sw04892]
  • The LLVM Project is a collection of modular...