• SCALEA

  • Referenced in 16 articles [sw02477]
  • performance analysis tool for distributed and parallel programs. In this paper we present SCALEA, which ... visualization tool for parallel and distributed programs that supports post-mortem and online performance analysis...
  • Gecode

  • Referenced in 83 articles [sw06272]
  • different modeling and programming tasks with Gecode. free Gecode is distributed under the MIT license...
  • PROC NLMIXED

  • Referenced in 70 articles [sw11039]
  • Poisson) or a general distribution that you code using SAS programming statements. PROC NLMIXED fits...
  • Bow

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

  • Referenced in 40 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...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • Mozart Programming System is an advanced development platform for intelligent, distributed applications. The system ... research in programming language design and implementation, constraint-based inference, distributed computing, and human-computer ... programming, constraint programming, and concurrency as part of a coherent whole. For distribution, Mozart provides ... Mozart supports multi-core programming with its network transparent distribution and is an ideal platform...
  • SIESTA

  • Referenced in 24 articles [sw05949]
  • opportunities in many disciplines. The SIESTA program is distributed freely to academics and has become...
  • JAGS

  • Referenced in 272 articles [sw08040]
  • Just Another Gibbs Sampler. It is a program for analysis of Bayesian hierarchical models using ... allowing users to write their own functions, distributions and samplers. (3) To be a plaftorm...
  • DUNE

  • Referenced in 186 articles [sw01466]
  • under which the libstdc++ libraries are distributed. Thus it is possible to use DUNE even ... legacy and/or new libraries. Modern C++ programming techniques enable very different implementations of the same...
  • Maria

  • Referenced in 19 articles [sw04127]
  • analyse transition systems as well as distributed computer programs written in procedural or object-oriented...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • graph transformation systems offer means for DIstributed programming with Encapsulated Graph Objects. Their operational semantics...
  • gmp

  • Referenced in 289 articles [sw00363]
  • release about once a year. GMP is distributed under the GNU LGPL. This license makes ... restrictions on the use with non-free programs. GMP is part of the GNU project...
  • SnapPea

  • Referenced in 163 articles [sw06873]
  • manifolds. Then in a second step computer programs as SnapPea are used to determine which ... lists may give hints on the distribution and on possible classification schemes for hyperbolic...
  • SATO

  • Referenced in 197 articles [sw04451]
  • method called SATO. The efficiency of our programs allowed us to solve over one hundred ... simple and effective workload balancing method distributes the workload among workstations...
  • MiBench

  • Referenced in 50 articles [sw04421]
  • representative embedded programs from the existing SPEC benchmarks including instruction distribution, memory behavior, and available...
  • PiDuce

  • Referenced in 21 articles [sw01418]
  • PiDuce project comprises a programming language and a distributed runtime environment devised for experimenting ... project: the programming language and its semantics, the architecture of the distributed runtime...
  • AIOCJ

  • Referenced in 9 articles [sw16842]
  • present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • modeling, validation, and performance evaluation of distributed systems using Generalized Stochastic Petri Nets and their ... examples. GreatSPN2.0 is composed of many separate programs that cooperate in the construction and analysis ... different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open ... modules are written in the C programming language to guarantee portability and efficiency on different...
  • GroupKit

  • Referenced in 24 articles [sw10570]
  • distributed computer-based conferencing. GroupKit was constructed from our belief that programming groupware should ... creation, interconnection, and communications of the distributed processes that comprise conference sessions ... groupware programming abstractions allows developers to control the behaviour of distributed processes, to take action...