• PRISM

  • Referenced in 395 articles [sw01186]
  • range of systems, including randomized distributed algorithms, manufacturing systems and workstation clusters...
  • GAP

  • Referenced in 2702 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 62 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 23 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 253 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...
  • AS 155

  • Referenced in 86 articles [sw25812]
  • distribution of a linear combination of chi-squared random variables. (Algorithm...
  • Alloy

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

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

  • Referenced in 61 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...
  • SIMGRID

  • Referenced in 26 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 25 articles [sw04657]
  • software for security exploits, and verifying distributed algorithms...
  • D-ADMM

  • Referenced in 15 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...
  • MOD-DIST

  • Referenced in 232 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 232 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 224 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...
  • WebGraph

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

  • Referenced in 74 articles [sw06172]
  • models to be distributed to the research community as highly relevant algorithmic test models...
  • 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...
  • SMAC

  • Referenced in 53 articles [sw27215]
  • tree search algorithms by orders of magnitude on certain instance distributions. Recently, we have also ... hyperparameter optimization of machine learning algorithms, scaling better to high dimensions and discrete input dimensions...
  • Scikit

  • Referenced in 264 articles [sw08058]
  • state-of-the-art machine learning algorithms for medium-scale supervised and unsupervised problems. This ... consistency. It has minimal dependencies and is distributed under the simplified BSD license, encouraging...