
Lucid
 Referenced in 39 articles
[sw21485]
 developed by M. McIlroy, J. Dennis, G. Kahn, and others. While the fundamental concepts ... processing the data while it is in motion through a dataflow network. A dataflow network...

Coq
 Referenced in 1739 articles
[sw00161]
 Coq is a formal proof management system. It...

Scilab
 Referenced in 163 articles
[sw00834]
 Scilab includes hundreds of mathematical functions. It has...

SUNDIALS
 Referenced in 198 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

ML
 Referenced in 498 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

StreamIt
 Referenced in 20 articles
[sw01794]
 StreamIt is a programming language and a compilation...

Scicos
 Referenced in 18 articles
[sw01941]
 Scicos is a graphical dynamical system modeler and...

CHEAP
 Referenced in 4 articles
[sw02652]
 CHEAP: A heterogeneous multiprocessor architecture template...

SIGNAL
 Referenced in 51 articles
[sw02915]
 An MLlike module system for the synchronous...

ITSOL
 Referenced in 154 articles
[sw04031]
 ITSOL is a library of iterative solvers for...

ARPACK
 Referenced in 768 articles
[sw04218]
 ARPACK is a collection of Fortran77 subroutines designed...

HOL
 Referenced in 472 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

Ptolemy
 Referenced in 77 articles
[sw07459]
 A modular formal semantics for Ptolemy. Ptolemy is...

SPARSKIT
 Referenced in 219 articles
[sw07692]
 SPARSKIT: A basic toolkit for sparse matrix computations...

Esterel
 Referenced in 161 articles
[sw20012]
 Esterel is both a programming language, dedicated to...

ALGOL 60
 Referenced in 447 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...