• Python

  • Referenced in 1251 articles [sw14460]
  • executable programs for some of the most popular operating systems, allowing the distribution of Python...
  • UNITY

  • Referenced in 173 articles [sw13461]
  • development of parallel and distributed programs -- as a platform for simulation model specification and analysis ... program solving the machine interference problem using the Time Warp protocol on a distributed memory...
  • GAP

  • Referenced in 2797 articles [sw00320]
  • Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing ... more. The system, including source, is distributed freely. You can study and easily modify...
  • Linda

  • Referenced in 102 articles [sw09427]
  • basis of a new distributed programming language that is intended for systems programming in distributed...
  • plfit

  • Referenced in 205 articles [sw23186]
  • distributions to empirical data. This program fits power-law distributions to empirical (discrete or continuous...
  • FEAP

  • Referenced in 168 articles [sw04963]
  • educational use. Source code of the full program is available for compilation using Windows (Compaq ... feap@berkeley.edu for further information and distribution costs. The FEAP program includes options for defining...
  • Nuprl

  • Referenced in 387 articles [sw06751]
  • framework for reasoning about mathematics and programming. Over the years its design has been substantially ... newest release, features an open, distributed architecture centered around a flexible knowledge base and supports...
  • PVM

  • Referenced in 305 articles [sw04273]
  • educational tool to teach parallel programming. With tens of thousands of users, PVM has become ... facto standard for distributed computing world-wide...
  • QEPCAD

  • Referenced in 275 articles [sw00752]
  • features were ”tacked on” to the program, requiring the user to know about extra commands ... there was no cannonical source for QEPCAD distribution or documentation, and no internet accessible source...
  • JoCaml

  • Referenced in 25 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile programming. In these lecture notes, we give ... overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an extension ... concurrency and synchronization, the distributed execution of programs, and the dynamic relocation of active program ... JoCaml to program concurrent and distributed applications in a much higher-level fashion than...
  • STABLE

  • Referenced in 103 articles [sw04843]
  • program calculates the density (pdf), cumulative distribution function (cdf), and quantiles for a general stable...
  • PHYLIP

  • Referenced in 96 articles [sw07694]
  • free package of programs for inferring phylogenies. It is distributed as source code, documentation files...
  • ScaLAPACK

  • Referenced in 400 articles [sw00830]
  • portable across a wide range of distributed-memory environments such as the Cray ... code for the package, testing and timing programs, prebuilt version of the library...
  • Reduze

  • Referenced in 72 articles [sw10354]
  • version 2 of the program. New features include the distributed reduction of single topologies...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging. One of the major problems with programming ... environment is the difficulty in debugging the programs due to their complex interactions ... knowledge is not generally atainable in a distributed system. In order ... develop a system for debugging distributed programs and, for the more general case, ensuring their...
  • EPANET

  • Referenced in 42 articles [sw07618]
  • functions that helps simplify computer programming of water distribution network analyses. The functions...
  • Erlang

  • Referenced in 109 articles [sw07202]
  • Erlang is a programming language used to build massively scalable soft real-time systems with ... system has built-in support for concurrency, distribution and fault tolerance...
  • Bow

  • Referenced in 37 articles [sw10563]
  • language modeling and information retrieval programs. The current distribution includes the library, as well...
  • NLPQLP

  • Referenced in 39 articles [sw04073]
  • NLPQLP - Nonlinear Programming with Non-Monotone and Distributed Line Search. NLPQLP is a special implementation ... linearization of constraints, a quadratic programming subproblem is formulated and solved by QL. Depending ... number of nodes of the distributed system, objective and constraint functions can be evaluated simultaneously...
  • jSpin

  • Referenced in 17 articles [sw07638]
  • used for verifying concurrent and distributed programs. The user interface of jSpin is simple...