• GAP

  • Referenced in 2226 articles [sw00320]
  • combinatorial structures, and more. The system, including source, is distributed freely. You can study ... your special use. Computer algebra system...
  • fda (R)

  • Referenced in 901 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...
  • SPIN

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

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

  • Referenced in 510 articles [sw14460]
  • most popular operating systems, allowing the distribution of Python-based software for use on those...
  • Magma

  • Referenced in 2119 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...
  • MOD-DIST

  • Referenced in 206 articles [sw07504]
  • locating facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems...
  • MENU-OKF

  • Referenced in 206 articles [sw07505]
  • locating facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems...
  • SITATION

  • Referenced in 200 articles [sw07503]
  • locating facilities, including production and distribution systems, location-inventory models, and defender-interdictor problems...
  • CADP

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

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

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

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

  • Referenced in 54 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...
  • ScaLAPACK

  • Referenced in 368 articles [sw00830]
  • high-performance linear algebra routines for distributed memory message-passing 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 distributed-memory environments such as the Cray...
  • Rapide

  • Referenced in 37 articles [sw01249]
  • language and toolset for simulation of distributed systems by partial orderings of events The Rapide ... technology for building large-scale, distributed multi-language systems. This technology is based upon ... event-based execution model of distributed, time-sensitive systems -- the ”timed poset model.” Posets provide ... correctness and performance analysis of distributed time-sensitive systems...
  • CESAR

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

  • Referenced in 46 articles [sw01496]
  • specify and analyse the behaviour of distributed systems and protocols and is the successor...
  • PARDISO

  • Referenced in 193 articles [sw00679]
  • unsymmetric linear systems of equations on shared-memory and distributed-memory multiprocessors. The solver ... library version: Unsymmetric, structurally symmetric or symmetric systems, real or complex, positive definite or indefinite...
  • Pegasus

  • Referenced in 37 articles [sw08829]
  • mapping complex scientific workflows onto distributed systems. This paper describes the Pegasus framework that ... used to map complex scientific workflows onto distributed resources. Pegasus enables users to represent ... about the particulars of the target execution systems. The paper describes general issues in mapping...