
Magma
 Referenced in 1723 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 worldwide...

GAP
 Referenced in 1812 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...

Neural Network Toolbox
 Referenced in 130 articles
[sw07378]
 handle large data sets, you can distribute computations and data across multicore processors, GPUs...

ScaLAPACK
 Referenced in 332 articles
[sw00830]
 linear algebra routines for distributed memory messagepassing 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 distributedmemory 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 564 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 largescale distributed parameter sweep and MonteCarlo computational experiments. Nimrod/G provides...

GridSim
 Referenced in 45 articles
[sw01392]
 simulation of entities in parallel and distributed computing (PDC) systemsusers, applications, resources, and resource ... aggregated using resource brokers. for solving compute and data intensive applications. A resource ... processor or multiprocessor 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 41 articles
[sw04359]
 package mvtnorm: Multivariate Normal and t Distributions , Computes multivariate normal and t probabilities, quantiles, random...

COCONUT
 Referenced in 34 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...

MPICHG2
 Referenced in 34 articles
[sw02373]
 message passing interface. Application development for distributedcomputing “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 recordsetting distributed simulations...

ParaView
 Referenced in 53 articles
[sw06128]
 analyze extremely large datasets using distributed memory computing resources. It can be run on supercomputers...

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...

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

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 widearea 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 largescale compute and data intensive computing applications (e.g, molecular modelling for drug design...

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...