• Graphulo

  • Referenced in 2 articles [sw17030]
  • analytics. Graph primitives loosely follow the GraphBLAS spec. Example algorithms include Breadth First Search, finding...
  • SpMT

  • Referenced in 1 article [sw08806]
  • MachSUIF platform. A simulation-based evaluation of SPEC programs shows that the speedup with...
  • stOMP

  • Referenced in 1 article [sw18665]
  • implementation of stOMP are evaluated on three Spec OpenMP Benchmarks and the EPCC scheduling microbenchmark...
  • LACS

  • Referenced in 1 article [sw20548]
  • LACS speeds up 12 LLC-performance-constrained SPEC CPU2006 benchmarks...
  • COMeT+

  • Referenced in 1 article [sw20557]
  • evaluated an implementation of COMeT+. On the SPEC CPU2006 and the PARSEC benchmarks, COMeT...
  • SIFT

  • Referenced in 1 article [sw20577]
  • performance penalty of SIFT to 26% on SPEC CPU 2006 benchmarks--much lower than...
  • SpecsVerification

  • Referenced in 1 article [sw21379]
  • forecast verification routines developed for the SPECS FP7 project. The emphasis is on comparative verification...
  • media9

  • Referenced in 1 article [sw25915]
  • Adobe ad­di­tion to the PDF spec­i­fi­ca­tion. It re­places...
  • insdljs

  • Referenced in 1 article [sw25917]
  • OpenAc­tion com­mand which spec­i­fies ac­tion to be per­formed when...
  • Cole

  • Referenced in 1 article [sw28821]
  • experimental results using GCC and the SPEC CPU benchmarks show that the automatic construction...
  • JVerge

  • Referenced in 1 article [sw31120]
  • another node. It follows the VRML 2.0 spec to the letter. You can, for example...
  • DynOpVm

  • Referenced in 1 article [sw31719]
  • show its effectiveness with experiments on SPEC benchmarking and other real-world applications...
  • Picard

  • Referenced in 0 articles [sw34380]
  • file formats are defined in the Hts-specs repository. See especially the SAM specification...
  • CUTE

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

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • CFDMARK

  • Referenced in 1 article [sw02573]
  • CFDMARK: A CFD-based benchmark for high-performance...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...