• RAxML

  • Referenced in 44 articles [sw07716]
  • Parallel inference of a 10.000-taxon phylogeny with maximum likelihood. Inference of large phylogenetic trees ... this paper we present a non-deterministic parallel implementation of our algorithm which in some...
  • SingleTrack

  • Referenced in 7 articles [sw09883]
  • This paper focuses on verifying that deterministically-parallel code is free of such thread interference ... errors. Deterministically-parallel code may create and use new threads, via fork and join ... atomicity tools are inadequate for checking deterministically-parallel code. We introduce a new non-interference ... specification for deterministically-parallel code, and we present a dynamic analysis to enforce...
  • FiberSCIP

  • Referenced in 8 articles [sw06291]
  • presented, including an implementation of deterministic parallelization. Second, the difficulties to achieve a good performance...
  • Kendo

  • Referenced in 7 articles [sw24074]
  • deterministic multithreading in software. Although chip-multiprocessors have become the industry standard, developing parallel applications ... applications with repeatable results. As a consequence, parallel applications are significantly harder to debug, test ... software-only system that provides deterministic multithreading of parallel applications. Kendo enforces a deterministic interleaving ... shared data accesses that is both deterministic and provides good load balancing. Kendo...
  • Swift

  • Referenced in 6 articles [sw28742]
  • resources. We present Swift’s implicitly parallel and deterministic programming model, which applies external applications ... functional style that abstracts and simplifies distributed parallel execution...
  • PMC

  • Referenced in 1 article [sw28466]
  • deter-ministic parallel composition, global non-deterministic parallel composition, and a restricted form of mixed...
  • CapoOne

  • Referenced in 3 articles [sw36027]
  • practical deterministic multiprocessor replay. While deterministic replay of parallel programs is a powerful technique, current ... need to support an environment with multiple parallel jobs running concurrently -- some being recorded, others ... build CapoOne, a prototype of a deterministic multiprocessor replay system that implements Capo using Linux...
  • SpiNNaker

  • Referenced in 29 articles [sw40456]
  • brain. A SpiNNaker machine is a massively parallel computing platform, targeted towards three main areas ... followed by traditional supercomputers that rely on deterministic, repeatable communications and reliable computation. SpiNNaker nodes ... discover powerful new principles of massively parallel computation...
  • PySP

  • Referenced in 21 articles [sw04921]
  • stochastic programming problems as extensions of their deterministic counterparts, which are typically formulated first ... and/or multi-stage cases. Intricate, configurable, and parallel decomposition strategies are frequently required to achieve ... PySP, the user specifies both the deterministic base model (supporting linear, non-linear, and mixed...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • procedures for multistage stochastic linear programmes on parallel MIMD architectures. Multistage stochastic linear programming ... variety of methods for solving the deterministic equivalent forms of these dynamic problems, including ... problem. This paper describes a parallel implementation of the nested Benders algorithm which employs...
  • XSpeed

  • Referenced in 5 articles [sw20159]
  • parallel state space exploration of continuous systems with linear dynamics and non-deterministic inputs. XSpeed ... architectures to speed up reachability analysis. A parallel exploration algorithm with multiple initial sets...
  • VTDIRECT95

  • Referenced in 11 articles [sw05290]
  • Fortran 95 implementation of D. R. Jones’ deterministic global optimization algorithm called DIRECT, which ... serial code and a data-distributed massively parallel code for different problem scales and optimization...
  • DLC

  • Referenced in 2 articles [sw19394]
  • specification is made of a parallel composition of non-deterministic processes which interact by multiway...
  • Arepo

  • Referenced in 2 articles [sw39391]
  • parallel computers. The employed parallelization algorithms of Arepo are deterministic and produce binary-identical results...
  • Manticore

  • Referenced in 2 articles [sw20009]
  • flattening, a compilation strategy for nested data parallelism the eschews the traditional vectorization approach which ... provide controlled forms of (deterministic and nondeterministic) mutable state within parallel computations. We begin with...
  • BlackBoxOptim.jl

  • Referenced in 4 articles [sw30000]
  • traditional, deterministic algorithms that are often based on gradients/differentiability. It also supports parallel evaluation...
  • TOP/DOMDEC

  • Referenced in 9 articles [sw20520]
  • interactive software package for mesh partitioning and parallel processing. It offers several state ... load balance using one of several non-deterministic optimization algorithms. TOP/DOMDEC also provides real-time ... interprocessor communication simulator for today’s massively parallel systems, and an output function with parallel...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over ... abstraction procedure runs in MATLAB and employs parallel computations and fast manipulations based on vector...
  • PALMTREE

  • Referenced in 1 article [sw19143]
  • beta version for the parallelization of solvers with both deterministic and Monte Carlo methods...
  • QNSTOP

  • Referenced in 4 articles [sw26832]
  • parallel driver subroutine, which offers several parallel decomposition strategies, and the serial driver subroutine ... used for stochastic optimization or deterministic global optimization, based on an input switch. QNSTOP...