• Smallfoot

  • Referenced in 50 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic. Separation logic is a program logic ... Smallfoot, a tool for checking certain lightweight separation logic specifications. The assertions describe the shapes ... which are oriented toward novel aspects of separation logic, namely: avoidance of frame axioms (which...
  • Find

  • Referenced in 78 articles [sw21614]
  • proof of termination is treated as a separate exercise. Finally, some conclusions relating to general...
  • QuickCheck

  • Referenced in 77 articles [sw07277]
  • grain. When a function is built from separately tested components, then random testing suffuces...
  • Latent GOLD

  • Referenced in 74 articles [sw11673]
  • others. FM models seek to separate out or ’un-mix’ data that is assumed...
  • RSVM

  • Referenced in 46 articles [sw15261]
  • proposed which generates a nonlinear kernel-based separating surface that requires as little ... simplifies the characterization of the nonlinear separating surface. Here, the m rows of A represent ... support vector machine (RSVM), with a nonlinear separating surface that depends on a small randomly...
  • SuperLU-DIST

  • Referenced in 69 articles [sw00002]
  • routines. This preordering for sparsity is completely separate from the factorization. Working precision iterative refinement...
  • Steerable pyramid

  • Referenced in 69 articles [sw14908]
  • order to overcome the limitations of orthogonal separable wavelet decompositions that were then becoming popular...
  • AutoClass

  • Referenced in 68 articles [sw26092]
  • cases, sometimes called finite mixture separation or clustering. The main difference between clustering...
  • AWS

  • Referenced in 41 articles [sw04034]
  • package contains R-functions implementing the Propagation-Separation Approach to adaptive smoothing as described ... Polzehl and V. Spokoiny (2006), Propagation-Separation Approach for Local Likelihood Estimation, Prob. Theory ... Spokoiny (2004) Spatially adaptive regression estimation: Propagation-separation approach, WIAS-Preprint...
  • VeriFast

  • Referenced in 47 articles [sw07705]
  • VeriFast program verifier. This note describes a separation-logic-based approach for the specification ... abstract representation of memory as a separation logic assertion. Folding or unfolding abstract predicate assertions...
  • Mercury

  • Referenced in 64 articles [sw08333]
  • large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs...
  • PISA

  • Referenced in 59 articles [sw01397]
  • process). These two modules are implemented as separate programs which communicate through text files. PISA...
  • DERIVE

  • Referenced in 58 articles [sw02964]
  • Derive is no longer available as a separate program, but the Derive code...
  • ParaDisEO

  • Referenced in 40 articles [sw01948]
  • ParadisEO is based on a clear conceptual separation of the solution methods from the problems ... they are intended to solve. This separation confers to the user a maximum code...
  • GreatSPN

  • Referenced in 54 articles [sw00384]
  • examples. GreatSPN2.0 is composed of many separate programs that cooperate in the construction and analysis...
  • MESHPART

  • Referenced in 54 articles [sw04178]
  • routines to generate recursive multiway partitions, vertex separators, and nested dissection orderings...
  • SSVM

  • Referenced in 52 articles [sw12678]
  • SSVM can also generate a highly nonlinear separating surface, such as a checkerboard...
  • SOLA-VOF

  • Referenced in 37 articles [sw24125]
  • used for calculations involving two fluids separated by a sharp interface. In either case ... program. Its logical parts are isolated in separate subroutines, and numerous special features have been...
  • LMaFit

  • Referenced in 47 articles [sw12221]
  • following problems: Matrix Complete (MC), Sparse Matrix Separation (SMS), Matrix Compressive Sensing...
  • CVRPSEP

  • Referenced in 32 articles [sw11809]
  • written in the C programming language, for separation of various classes of cuts in branch ... Mathematical Programming - see Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar...