• EISPACK

  • Referenced in 488 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • LINPACK

  • Referenced in 520 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • PVM

  • Referenced in 307 articles [sw04273]
  • PVM (Parallel Virtual Machine) is a software package...
  • SPARSPAK

  • Referenced in 39 articles [sw04309]
  • SPARSPAK is a collection of FORTRAN subroutines for...
  • Simulink

  • Referenced in 818 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • GLPK

  • Referenced in 181 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • ParMETIS

  • Referenced in 142 articles [sw04697]
  • ParMETIS is an MPI-based parallel library that...
  • Uppaal

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

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • MPI/MPICH

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

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

  • Referenced in 3 articles [sw07178]
  • MACE3J: fast flexible distributed simulation of large, large...
  • symrcm

  • Referenced in 385 articles [sw08566]
  • symrcm: Sparse reverse Cuthill-McKee ordering. r = symrcm...
  • SUIF

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

  • Referenced in 42 articles [sw08829]
  • Pegasus: A framework for mapping complex scientific workflows...
  • VTune

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

  • Referenced in 29 articles [sw08911]
  • Hypertool: A programming aid for message-passing systems...