• DPPD

  • Referenced in 14 articles [sw09884]
  • suite in partial deduction (the so called Lam and Kusalik benchmarks) contains too few benchmarks ... library contains benchmarks consisting of declarative logic programs, together with descriptions on the particular specialisation...
  • SOAP3

  • Referenced in 4 articles [sw12017]
  • seconds per one million reads. The alignment program in this package is optimized to work ... University of Hong Kong (T.W. Lam, C.M. Liu, Thomas Wong, Edward...
  • DIFAS

  • Referenced in 1 article [sw24878]
  • Millsap & Everson, 1993) and polytomous (Penfield & Lam, 2000; Potenza & Dorans, 1995) items. Some of these ... cost-effective and easy-to-use program for conducting many of the common nonparametric...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • SHEEP

  • Referenced in 37 articles [sw00855]
  • Sheep is a computer algebra system for handling...
  • Sostools

  • Referenced in 270 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • CVX

  • Referenced in 692 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • PHiPAC

  • Referenced in 53 articles [sw04898]
  • The PHiPAC (Portable High Performance ANSI C) Page...
  • LAM-MPI

  • Referenced in 52 articles [sw04971]
  • LAM/MPI is a high-quality open-source implementation...
  • MPI/MPICH

  • Referenced in 161 articles [sw06126]
  • MPI / MPICH Message Passing Interface MPI is the...
  • Casper

  • Referenced in 95 articles [sw06559]
  • A Compiler for the Analysis of Security Protocols...
  • Tokamak

  • Referenced in 2 articles [sw06565]
  • Virtual Tokamak library software We describe the concept...
  • SUIF

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

  • Referenced in 26 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper...
  • CTBN-RLE

  • Referenced in 5 articles [sw12961]
  • Continuous time Bayesian network reasoning and learning engine...
  • Clara

  • Referenced in 5 articles [sw14035]
  • Clara: a framework for partially evaluating finite-state...
  • Numba

  • Referenced in 23 articles [sw21554]
  • Numba: a LLVM-based Python JIT compiler. Numba...
  • PLSAER2D

  • Referenced in 1 article [sw22651]
  • A posteriori error estimation for the non-associated...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • TyPiCal: type-based static analyzer for the Pi...
  • Bugs.jar

  • Referenced in 1 article [sw28478]
  • Bugs.jar: a large-scale, diverse dataset of real...