
PRISM
 Referenced in 376 articles
[sw01186]
 range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters...

GAP
 Referenced in 2404 articles
[sw00320]
 library of thousands of functions implementing algebraic algorithms written in the GAP language as well ... more. The system, including source, is distributed freely. You can study and easily modify...

FastSLAM
 Referenced in 59 articles
[sw13538]
 presents FastSLAM, an algorithm that recursively estimates the full posterior distribution over robot pose ... number of landmarks in the map. This algorithm is based on an exact factorization ... landmark distributions and a distribution over robot paths. The algorithm has been run successfully...

RMMEDA
 Referenced in 21 articles
[sw08554]
 Regularity ModelBased Multiobjective Estimation of Distribution Algorithm. Under mild conditions, it can be induced ... regularity modelbased multiobjective estimation of distribution algorithm (RMMEDA) for continuous multiobjective optimization problems ... proposed algorithm models a promising area in the decision space by a probability distribution whose ... continuous manifold. The local principal component analysis algorithm is used for building such a model...

MersenneTwister
 Referenced in 237 articles
[sw05367]
 particular choice of parameters, the algorithm provides a super astronomical period ... characteristic polynomial has many terms. The distribution up to v bits accuracy ... also shown to be good. An algorithm is also given that checks the primitivity...

PLAPACK
 Referenced in 59 articles
[sw04268]
 parallel implementation of linear algebra algorithms and applications on distributed memory supercomputers such ... natural approach to encoding socalled blocked algorithms, which achieve high performance by operating ... alternative, more applicationcentric approach to data distribution, sets PLAPACK apart from other parallel linear...

AS 155
 Referenced in 76 articles
[sw25812]
 distribution of a linear combination of chisquared random variables. (Algorithm...

CESAR
 Referenced in 139 articles
[sw08510]
 design of distributed applications. CESAR allows the progressive validation of the algorithmic description...

Alloy
 Referenced in 25 articles
[sw01247]
 have used it to check distributed algorithms that are designed for arbitrary topologies...

SIMGRID
 Referenced in 24 articles
[sw10566]
 large sets of distributed resources. Consequently, the study of scheduling algorithms for such applications ... become necessary to simulate those algorithms for increasingly complex distributed dynamic, heterogeneous environments. We present ... toolkit for the study of scheduling algorithms for distributed application. We give the main concepts...

UCLID
 Referenced in 23 articles
[sw04657]
 software for security exploits, and verifying distributed algorithms...

MODDIST
 Referenced in 218 articles
[sw07504]
 Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... used in locating facilities, including production and distribution systems, locationinventory models, and defenderinterdictor ... applied perspective on location models and algorithms  An intuitive presentation of the uses and limits...

MENUOKF
 Referenced in 218 articles
[sw07505]
 Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... used in locating facilities, including production and distribution systems, locationinventory models, and defenderinterdictor ... applied perspective on location models and algorithms  An intuitive presentation of the uses and limits...

SITATION
 Referenced in 212 articles
[sw07503]
 Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... used in locating facilities, including production and distribution systems, locationinventory models, and defenderinterdictor ... applied perspective on location models and algorithms  An intuitive presentation of the uses and limits...

DADMM
 Referenced in 10 articles
[sw28440]
 ADMM: a communicationefficient distributed algorithm for separable optimization. We propose a distributed algorithm, named ... Distributed Alternating Direction Method of Multipliers (DADMM), for solving separable optimization problems in networks ... less communications than stateoftheart algorithms to achieve a given accuracy level. Algorithms...

COSY
 Referenced in 14 articles
[sw30494]
 defining novel, highly concurrent and distributed algorithms performing important operating system functions. The notation permits ... algorithms as well as their novel, highly concurrent and distributed implementation...

AntNet
 Referenced in 66 articles
[sw11975]
 tables in communications networks. AntNet is a distributed, mobile agents based Monte Carlo system that ... called stigmergy. We compare our algorithm with six stateoftheart routing algorithms coming ... telecommunications and machine learning fields. The algorithms’ performance is evaluated over a set of realistic ... under several paradigmatic spatial and temporal traffic distributions. Results are very encouraging. AntNet showed superior...

WebGraph
 Referenced in 34 articles
[sw30097]
 general, integers with powerlaw distribution in a certain exponent range). The fact that these ... provide a detailed mathematical analysis. Algorithms for compressing web graphs that exploit gap compression ... complete, documented implementation of the algorithms above in Java distributed under the GNU General Public...

Graphs
 Referenced in 102 articles
[sw12277]
 from various communities (sometimes under different names): algorithm engineers construct fast route planning methods; database ... distance labeling schemes in networking and distributed computing and for metric embeddings in geometry ... this survey, we review selected approaches, algorithms, and results on shortestpath queries from these...

MINLPLib
 Referenced in 64 articles
[sw06172]
 models to be distributed to the research community as highly relevant algorithmic test models...