• Magma

  • Referenced in 1718 articles [sw00540]
  • number of databases designed to aid computational research in those areas of mathematics which ... Magma language. Magma is distributed by the Computational Algebra Group at the University of Sydney...
  • PVM

  • Referenced in 267 articles [sw04273]
  • enables users to exploit their existing computer hardware to solve much larger problems at minimal ... become the de facto standard for distributed computing world-wide...
  • GAP

  • Referenced in 1778 articles [sw00320]
  • computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language ... more. The system, including source, is distributed freely. You can study and easily modify ... extend it for your special use. Computer algebra system...
  • FORM

  • Referenced in 202 articles [sw09051]
  • Computer algebra system (CAS) for very big calculations in theoretical particle physics, with a very ... supports multiple kernels (see TFORM) and distributed computations on a network (ParFORM). See also...
  • ScaLAPACK

  • Referenced in 330 articles [sw00830]
  • linear algebra routines for distributed memory message-passing MIMD computers and networks of workstations supporting ... workstations, vector supercomputers, and shared memory parallel computers. Both libraries contain routines for solving systems ... portable across a wide range of distributed-memory environments such as the Cray ... library for a number of computers, example programs, and the full set of LAPACK Working...
  • ALBERTA

  • Referenced in 133 articles [sw01061]
  • fields of scientific and engineering computation, especially in the numerical simulation of electromagnetics ... Furthermore, it is suitable for distributed memory parallel computers including PC clusters...
  • SPIN

  • Referenced in 559 articles [sw03455]
  • used for the formal verification of distributed software systems. The tool was developed at Bell ... original Unix group of the Computing Sciences Research Center, starting in 1980. The software...
  • GreatSPN

  • Referenced in 51 articles [sw00384]
  • different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • Nimrod/G

  • Referenced in 42 articles [sw09657]
  • Cloud aware version of the Nimrod distributed computing middleware (part of the Nimrod toolkit). Nimrod/G ... directly execute large-scale distributed parameter sweep and Monte-Carlo computational experiments. Nimrod/G provides...
  • GridSim

  • Referenced in 45 articles [sw01392]
  • simulation of entities in parallel and distributed computing (PDC) systems-users, applications, resources, and resource ... aggregated using resource brokers. for solving compute and data intensive applications. A resource ... processor or multi-processor with shared or distributed memory and managed by time or space...
  • EMD

  • Referenced in 137 articles [sw14902]
  • computes the distance between two distributions, which are represented by signatures. The signatures are sets...
  • mvtnorm

  • Referenced in 40 articles [sw04359]
  • package mvtnorm: Multivariate Normal and t Distributions , Computes multivariate normal and t probabilities, quantiles, random...
  • COCONUT

  • Referenced in 33 articles [sw04760]
  • distribution, and they can be read here). It uses the FILIB++ library for interval computations ... addition, it is designed for distributed computing, and will probably be developed further...
  • MPICH-G2

  • Referenced in 34 articles [sw02373]
  • message passing interface. Application development for distributed-computing “Grids” can benefit from tools that variously ... that would be used on a parallel computer. This library extends the Argonne MPICH implementation ... review application experiences, including record-setting distributed simulations...
  • DIMSYM

  • Referenced in 71 articles [sw04279]
  • also can be used to compute symmetries of distributions of vector fields or differential forms ... dimensional). The program allows the user to compute Lie brackets, vector derivatives...
  • ParaView

  • Referenced in 51 articles [sw06128]
  • analyze extremely large datasets using distributed memory computing resources. It can be run on supercomputers...
  • GRID Infoware

  • Referenced in 23 articles [sw04166]
  • Computing Info Centre (GRID Infoware) The Grid Computing Information Centre (GRID Infoware: http://www.gridcomputing.com) aims ... scalable access to wide-area distributed resources. Computational Grids enable the sharing, selection, and aggregation ... wide variety of geographically distributed computational resources (such as supercomputers, compute clusters, storage systems, data ... solving large-scale compute and data intensive computing applications (e.g, molecular modelling for drug design...
  • Mosel

  • Referenced in 29 articles [sw04911]
  • model, and as a new feature, distributed computation using a heterogeneous network of computers...
  • UNITY

  • Referenced in 149 articles [sw13461]
  • analysis in UNITY. We evaluate UNITY -- a computational model, specification language and proof system defined ... development of parallel and distributed programs -- as a platform for simulation model specification and analysis...