• COMPAS

  • Referenced in 15 articles [sw00147]
  • computations on synchronizing automata. COMPAS design is based on a generic programming paradigm. This makes ... COMPAS allows to easily operate on synchronizing automata, verifying new synchronizing algorithms...
  • Liszt

  • Referenced in 5 articles [sw20275]
  • expose the parallelism, locality, and synchronization of Liszt programs. Using this analysis, we generate applications...
  • GroupKit

  • Referenced in 24 articles [sw10570]
  • synchronous and distributed computer-based conferencing. GroupKit was constructed from our belief that programming groupware...
  • KAAPI

  • Referenced in 14 articles [sw04991]
  • Kernel for Adaptative, Asynchronous Parallel and Interactive programming” is a C++ library that allows ... grain multithreaded computation with dynamic data flow synchronizations...
  • VeriCool

  • Referenced in 10 articles [sw09749]
  • programming model, a set of rules, which limits thread inference to synchronization points such that...
  • GHC

  • Referenced in 43 articles [sw23765]
  • extreme simplicity compared with the other parallel programming languages. GHC is a restriction ... also provides GHC with a synchronization primitive. The latter is required by the intended applications ... classified into the family of logic programming languages, it has close relationship to other formalisms...
  • BSMLlib

  • Referenced in 3 articles [sw22233]
  • Functional bulk synchronous parallel programming using the BSMLlib library. BSMLlib is a functional data-parallel...
  • SJL

  • Referenced in 1 article [sw11770]
  • Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java ... programs without any deadlocks or race conditions. To alleviate this situation, the light-weight synchronous ... been established in the world of synchronous programming for handling reactive control-flow. Thus...
  • POTOK

  • Referenced in 2 articles [sw28122]
  • Communication scheme is considered for the programs running synchronously on several computers within the local ... experiment in wind tunnel. All the operating programs and network nodes (used to launch them...
  • KOOL

  • Referenced in 7 articles [sw32263]
  • addition of synchronized methods. KOOL also provides support for program analysis through language extensions...
  • Scalasca

  • Referenced in 13 articles [sw11228]
  • that supports the performance optimization of parallel programs by measuring and analyzing their runtime behavior ... bottlenecks – in particular those concerning communication and synchronization – and offers guidance in exploring their causes...
  • TILOS

  • Referenced in 8 articles [sw11680]
  • posynomial programming approach to transistor sizing. A new transistor sizing algorithm, which couples synchronous timing ... model, each of the following three programs is shown to be convex: 1) Minimize...
  • ParADE

  • Referenced in 5 articles [sw14959]
  • hybrid-programming environment. Collective communication primitives are used for the synchronization and work-sharing directives ... associated with small data structures, lessening the synchronization overhead and avoiding the implicit barriers ... between the OpenMP abstraction and the hybrid programming interfaces of the runtime system. The experiments...
  • MulticoreBSP

  • Referenced in 2 articles [sw36396]
  • MulticoreBSP brings Bulk Synchronous Parallel (BSP) programming to modern multicore processors. BSP programming leads...
  • JR

  • Referenced in 1 article [sw24312]
  • based on those in the SR (Synchronizing Resources) programming language. It is suitable for writing...
  • NEST

  • Referenced in 32 articles [sw26849]
  • Neural Simulation Tool NEST is a computer program for simulating large heterogeneous networks of point ... random balanced networks. Models of spike-synchronization in feed-forward networks such as Synfire Chains...
  • Creol

  • Referenced in 27 articles [sw09421]
  • looser coupling of method calls and synchronization. Asynchronous method calls and high-level local control ... errors do not occur for well-typed programs...
  • PSim

  • Referenced in 3 articles [sw23192]
  • free synchronization. We study a simple technique, originally presented by Herlihy (ACM Trans. Program. Lang ... that have been programmed for sequential execution and require significant synchronization in order...
  • Gopherlyzer

  • Referenced in 2 articles [sw23206]
  • programs in the Go programming language which make use of synchronous channel communications ... operator capture the communication behavior of a program. Starting from a simple criterion that characterizes...
  • PSync

  • Referenced in 5 articles [sw17450]
  • model, which views asynchronous faulty systems as synchronous ones with an adversarial environment that simulates ... Scala programming language with a runtime system for partially synchronous networks. We show the applicability...