Results 21 to 38 of 38
Sort by:

  • Walksat
  • Referenced in 207 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...

  • MASS (R)
  • Referenced in 286 articles [sw04479]
  • R package MASS: Support Functions and Datasets for...

  • JML
  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...

  • Armadillo
  • Referenced in 71 articles [sw05863]
  • Armadillo is a C++ linear algebra library (matrix...

  • Maude
  • Referenced in 660 articles [sw06233]
  • Maude is a high-performance reflective language and...

  • SAS
  • Referenced in 1464 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...

  • BPEL2PN
  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms...

  • robustbase
  • Referenced in 407 articles [sw07114]
  • R package robustbase: Basic Robust Statistics. ”Essential” Robust...

  • Sat4j
  • Referenced in 75 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...

  • RIEMANN
  • Referenced in 63 articles [sw09351]
  • Multidimensional HLLE Riemann solver: application to Euler and...

  • MathSAT
  • Referenced in 56 articles [sw09449]
  • The MathSAT 4 SMT Solver. We present MathSAT...

  • YASM
  • Referenced in 12 articles [sw09470]
  • Yasm: A Software Model-Checker for Verification and...

  • BMDP
  • Referenced in 123 articles [sw10524]
  • BMDP is a statistical package developed in 1965...

  • NLopt
  • Referenced in 86 articles [sw11789]
  • NLopt is a free/open-source library for nonlinear optimization...

  • ReALE
  • Referenced in 84 articles [sw18074]
  • ReALE: A reconnection-based arbitrary-Lagrangian–Eulerian method...

  • AO4BPEL
  • Referenced in 8 articles [sw33276]
  • AO4BPEL is an aspect-oriented extension to WS...