• MiBench

  • Referenced in 50 articles [sw04421]
  • This paper examines a set of commercially representative...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • MPI

  • Referenced in 515 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • Ptolemy

  • Referenced in 80 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • SUIF

  • Referenced in 27 articles [sw08807]
  • SUIF: an infrastructure for research on parallelizing and...
  • Pmapper

  • Referenced in 2 articles [sw08811]
  • pMapper: Automatic Mapping of Parallel Matlab Programs. Algorithm...
  • VTune

  • Referenced in 19 articles [sw08852]
  • Intel® VTune™ Amplifier. Performance profiler for serial and...
  • MediaBench

  • Referenced in 34 articles [sw08949]
  • MediaBench: a tool for evaluating and synthesizing multimedia...
  • SPLASH-2

  • Referenced in 45 articles [sw09604]
  • The SPLASH-2 programs: characterization and methodological considerations...
  • mpiBLAST

  • Referenced in 15 articles [sw09650]
  • mpiBLAST: Open-Source Parallel BLAST. mpiBLAST is a...
  • pthreads

  • Referenced in 29 articles [sw10032]
  • POSIX Threads, usually referred to as Pthreads, is...
  • JAHUEL

  • Referenced in 2 articles [sw10084]
  • Jahuel: A Formal Framework for Software Synthesis. We...
  • EMBOSS

  • Referenced in 35 articles [sw10917]
  • EMBOSS is ”The European Molecular Biology Open Software...
  • ModelSim

  • Referenced in 18 articles [sw11960]
  • Mentor Graphics was the first to combine single...
  • ClustalW

  • Referenced in 138 articles [sw12016]
  • CLUSTAL W: improving the sensitivity of progressive multiple...
  • Wattch

  • Referenced in 31 articles [sw15015]
  • Wattch: a framework for architectural-level power analysis...
  • Intel TBB

  • Referenced in 70 articles [sw15025]
  • Intel® Threading Building Blocks (Intel® TBB). Widely used...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...