• HPL

  • Referenced in 7 articles [sw21404]
  • combined - Various virtual panel broadcast topologies - bandwidth reducing swap-broadcast algorithm - backward substitution with look...
  • VAMMPIRE

  • Referenced in 1 article [sw19737]
  • introduce a strategy to relate the substitution effect within matched molecular pairs (MMPs ... environment within the cocrystallized protein-ligand complex. Virtually Aligned Matched Molecular Pairs Including Receptor Environment...
  • OPTMODEL

  • Referenced in 5 articles [sw06280]
  • formulation of an optimization model into OPTMODEL virtually transparent since the modeling language mimics ... whether through structural changes or through the substitution of new data for old. In addition...
  • PROSE

  • Referenced in 4 articles [sw34023]
  • PROSE was the mathematical 4GL virtual machine which established the holistic modeling paradigm known ... solve piecewise, or by algebra manipulation (e.g. substitution), but had to be solved as wholes...
  • DPMF

  • Referenced in 1 article [sw02810]
  • authorization systems together to form a virtual cluster. Policy management is divided into inter-cluster ... main idea of CAPI is to generate substitution policies to replace the unknown policy information...
  • FlexCache

  • Referenced in 1 article [sw01266]
  • flexible, compiler generated data caching. FlexCache substitutes the tag-memory and cache controller hardware with ... leverages compile-time static information to selectively virtualize memory, to eliminate cache-tag accesses...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 2917 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 270 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • QEPCAD

  • Referenced in 276 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 740 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...