• NEST

  • Referenced in 32 articles [sw26849]
  • Neural Simulation Tool NEST is a computer program for simulating large heterogeneous networks of point ... compartments. NEST is best suited for models that focus on the dynamics, size, and structure...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • parallel MIMD architectures. Multistage stochastic linear programming has many practical applications for problems whose current ... these dynamic problems, including the simplex and interior-point methods and nested Benders decomposition, which ... problem into a set of smaller linear programming problems and has recently been shown...
  • STAPL

  • Referenced in 15 articles [sw00910]
  • nested parallelism. The library is intended to be general purpose, but emphasizes irregular programs ... exploitation of parallelism for applications which use dynamically linked data structures such as particle transport...
  • Crowfoot

  • Referenced in 5 articles [sw07706]
  • imperative programs that manipulate procedures dynamically at runtime; these programs use a heap that ... assertion language, based on separation logic, features nested Hoare triples which describe the behaviour...
  • SKIPPER

  • Referenced in 4 articles [sw09412]
  • demonstrate the applicability of skeleton-based parallel programming techniques to the fast prototyping of reactive ... project: algorithmic skeleton nesting capabilities and a fully dynamic operating model. Throughout the case study...
  • LOGLAN

  • Referenced in 4 articles [sw26939]
  • belongs to the family of object-oriented programming languages. The main constructs for dealing with ... classes. They may be dynamically generated and dynamically deallocated when no longer useful. The communication ... provides dynamic adjustable arrays. They are treated as objects, so they are dynamically generated ... nesting that is still very useful in object-oriented programming. par The language LOGLAN...
  • Benders-squared

  • Referenced in 1 article [sw41052]
  • propose a nested decomposition scheme for infinite-horizon stochastic linear programs. Our approach ... provably convergent extension of stochastic dual dynamic programming to the infinite-horizon setting: we explore...
  • Manticore

  • Referenced in 2 articles [sw20009]
  • design and implement a parallel functional programming language that targets commodity multicore and shared-memory ... implementation of CML; a novel infrastructure for nested schedulers; a collection of expressive implicitly-threaded ... data-only flattening, a compilation strategy for nested data parallelism the eschews the traditional vectorization ... SIMD architectures. Instead, data-only flattening transforms nested data structures, but leaves control structures intact...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • AMD

  • Referenced in 60 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • ARfit

  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...