• Magma

  • Referenced in 3296 articles [sw00540]
  • main features. One of the aims whilst developing Magma is to maintain extensive documentation describing ... distributed by the Computational Algebra Group at the University of Sydney. Its development has benefited...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • formal verification of distributed software systems. The tool was developed at Bell Labs...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • Misra [5] for the development of parallel and distributed programs -- as a platform for simulation...
  • CADP

  • Referenced in 132 articles [sw04993]
  • Construction and Analysis of Distributed Processes”, formerly known as ”CAESAR/ALDEBARAN Development Package”) is a popular ... design of communication protocols and distributed systems. CADP is developed by the VASY team...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • loop (ocaml) for quick development and portability. The OCaml distribution includes a comprehensive standard library...
  • Cabri-geometry

  • Referenced in 114 articles [sw04928]
  • school. Now Cabri software is developped and distributed by the Cabrilog company. Cabri...
  • fda (R)

  • Referenced in 1461 articles [sw04511]
  • Functional Data Analysis , These functions were developed to support functional data analysis as described ... release, the R-Project is no longer distributing the Matlab versions of the functional data...
  • ParaView

  • Referenced in 204 articles [sw06128]
  • capabilities. ParaView was developed to analyze extremely large datasets using distributed memory computing resources...
  • gmp

  • Referenced in 282 articles [sw00363]
  • developed and maintained, with a new release about once a year. GMP is distributed under...
  • SPLIDA

  • Referenced in 271 articles [sw27861]
  • Reliability Data Analysis. These functions were developed and used for the purpose of doing ... Meeker and Escobar. Included in the distribution are data sets and instructions ... version of SPLIDA for R is under development...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • paper we describe PRISM, a tool being developed at the University of Birmingham ... range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters...
  • MPICH-G2

  • Referenced in 35 articles [sw02373]
  • message passing interface. Application development for distributed-computing “Grids” can benefit from tools that variously ... investigation of these issues, we have developed MPICH-G2, a Grid-enabled implementation ... review application experiences, including record-setting distributed simulations...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • specification language that has been specifically developed for the formal description of the OSI (Open ... Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • effort focuses on developing a new technology for building large-scale, distributed multi-language systems ... supporting the use of EADLs in evolutionary development and rigorous analysis of large-scale systems ... development framework. Rapide™ adopts a new event-based execution model of distributed, time-sensitive systems...
  • Risa/Asir

  • Referenced in 115 articles [sw00806]
  • computer algebra system (CAS) which is under development at FUJITSU LABORATORIES LIMITED. The structure ... distributed by Boehm (gc-6.1alpha5). It is proposed by [Boehm,Weiser], and developed...
  • OpenGeoSys

  • Referenced in 21 articles [sw09098]
  • valuable tool for cooperation between different developer teams, for example, for code comparison and validation ... provides a suitable framework for distributed code development; however, the parallelization of OO codes still...
  • GroupKit

  • Referenced in 24 articles [sw10570]
  • groupware toolkit that lets developers build applications for synchronous and distributed computer-based conferencing. GroupKit ... groupware programming abstractions allows developers to control the behaviour of distributed processes, to take action ... from groupware applications and are built by developers to accommodate the group’s working style...
  • Biopython

  • Referenced in 20 articles [sw07357]
  • international team of developers. It is a distributed collaborative effort to develop Python libraries...
  • BMDP

  • Referenced in 123 articles [sw10524]
  • UCLA. Based on the older BIMED program, developed in 1960 for biomedical applications, it used ... abbreviation for Biomedical Package. BMDP was originally distributed for free. It is now offered...