• 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...
  • RM-MEDA

  • Referenced in 21 articles [sw08554]
  • Regularity Model-Based Multiobjective Estimation of Distribution Algorithm. Under mild conditions, it can be induced ... regularity model-based multiobjective estimation of distribution algorithm (RM-MEDA) 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 so-called blocked algorithms, which achieve high performance by operating ... alternative, more application-centric approach to data distribution, sets PLAPACK apart from other parallel linear...
  • AS 155

  • Referenced in 76 articles [sw25812]
  • distribution of a linear combination of chi-squared 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...
  • MOD-DIST

  • 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, location-inventory models, and defender-interdictor ... applied perspective on location models and algorithms -- An intuitive presentation of the uses and limits...
  • MENU-OKF

  • 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, location-inventory models, and defender-interdictor ... 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, location-inventory models, and defender-interdictor ... applied perspective on location models and algorithms -- An intuitive presentation of the uses and limits...
  • D-ADMM

  • Referenced in 10 articles [sw28440]
  • ADMM: a communication-efficient distributed algorithm for separable optimization. We propose a distributed algorithm, named ... Distributed Alternating Direction Method of Multipliers (D-ADMM), for solving separable optimization problems in networks ... less communications than state-of-the-art 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 state-of-the-art 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 power-law 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 shortest-path queries from these...
  • MINLPLib

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