
fda (R)
 Referenced in 766 articles
[sw04511]
 sample analyses through the CRAN distribution system. This is due to the pressure placed ... help out this situation by switching to distributing the Matlab functions and analyses through...

GAP
 Referenced in 1677 articles
[sw00320]
 combinatorial structures, and more. The system, including source, is distributed freely. You can study ... your special use. Computer algebra system...

SPIN
 Referenced in 556 articles
[sw03455]
 used for the formal verification of distributed software systems. The tool was developed at Bell...

PRISM
 Referenced in 254 articles
[sw01186]
 properties for a range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters...

Magma
 Referenced in 1670 articles
[sw00540]
 extensive documentation describing the features of the system. This handbook is available online. The documentation ... users to the Magma language. Magma is distributed by the Computational Algebra Group...

SITATION
 Referenced in 169 articles
[sw07503]
 locating facilities, including production and distribution systems, locationinventory models, and defenderinterdictor problems...

MODDIST
 Referenced in 169 articles
[sw07504]
 locating facilities, including production and distribution systems, locationinventory models, and defenderinterdictor problems...

MENUOKF
 Referenced in 169 articles
[sw07505]
 locating facilities, including production and distribution systems, locationinventory models, and defenderinterdictor problems...

Python
 Referenced in 246 articles
[sw14460]
 most popular operating systems, allowing the distribution of Pythonbased software for use on those...

LOTOS
 Referenced in 133 articles
[sw02961]
 architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system...

CADP
 Referenced in 92 articles
[sw04993]
 design of communication protocols and distributed systems. CADP is developed by the VASY team...

GreatSPN
 Referenced in 51 articles
[sw00384]
 modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their ... system capabilities, different analysis modules can be run on different machines in a distributed computing...

Rapide
 Referenced in 36 articles
[sw01249]
 language and toolset for simulation of distributed systems by partial orderings of events The Rapide ... technology for building largescale, distributed multilanguage systems. This technology is based upon ... eventbased execution model of distributed, timesensitive systems  the ”timed poset model.” Posets provide ... correctness and performance analysis of distributed timesensitive systems...

Linda
 Referenced in 78 articles
[sw09427]
 language that is intended for systems programming in distributed settings generally and on integrated network...

ScaLAPACK
 Referenced in 322 articles
[sw00830]
 highperformance linear algebra routines for distributed memory messagepassing MIMD computers and networks ... computers. Both libraries contain routines for solving systems of linear equations, least squares problems ... solution of dense, band, and tridiagonal linear systems of equations, condition estimation and iterative refinement ... portable across a wide range of distributedmemory environments such as the Cray...

Mizar
 Referenced in 246 articles
[sw04704]
 system was implemented on an IBMPC x86 compatibles under MS DOS. Now we distribute ... Linux on PowerPC. The whole Mizar system (including verifier) is coded in Pascal using...

CESAR
 Referenced in 112 articles
[sw08510]
 CESAR, an interactive system for aiding the design of distributed applications. CESAR allows the progressive...

mCRL2
 Referenced in 36 articles
[sw01496]
 specify and analyse the behaviour of distributed systems and protocols and is the successor...

GreatSPN 1.7
 Referenced in 36 articles
[sw01562]
 modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their ... university for nonprofit purposes, it is distributed free of charge to other universities...

UNITY
 Referenced in 149 articles
[sw13461]
 system defined by Chandy and Misra [5] for the development of parallel and distributed programs ... coupled state transition systems. Mechanical methods for mapping the transition systems first into ... independently verify the correctness of the transition systems: one can specify properties formally that ... using the Time Warp protocol on a distributed memory parallel architecture...