
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 ’unmix’ data that is assumed...

RSVM
 Referenced in 46 articles
[sw15261]
 proposed which generates a nonlinear kernelbased 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...

SuperLUDIST
 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 Rfunctions implementing the PropagationSeparation Approach to adaptive smoothing as described ... Polzehl and V. Spokoiny (2006), PropagationSeparation Approach for Local Likelihood Estimation, Prob. Theory ... Spokoiny (2004) Spatially adaptive regression estimation: Propagationseparation approach, WIASPreprint...

VeriFast
 Referenced in 47 articles
[sw07705]
 VeriFast program verifier. This note describes a separationlogicbased 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]
 largescale program development, allowing modularity, separate compilation, and numerous optimization/time tradeoffs...

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...

SOLAVOF
 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...