• Esterel

  • Referenced in 166 articles [sw20012]
  • Esterel programs into finite-state machines. It is one of a family of synchronous languages...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages ... language support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism ... supersede the hundreds of programming languages then used by the DoD. Ada was named after...
  • JoCaml

  • Referenced in 26 articles [sw02065]
  • overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an extension ... support for concurrency and synchronization, the distributed execution of programs, and the dynamic relocation ... natural embedding of functional programming à la ML. Local synchronization means that messages always travel ... local synchronizations. The lectures and lab sessions illustrate how to use JoCaml to program concurrent...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • declarative language for real-time programming. LUSTRE is a synchronous data-flow language for programming...
  • BETA

  • Referenced in 29 articles [sw03114]
  • Synchronization abstraction in the BETA programming language. This paper argues that synchronization of processes need ... part of the core of a programming language, but that they can just as well ... While discussing the use of patterns of synchronization and their implementation in BETA, we focus ... applied to other modern object-based programming languages, such as Java...
  • Pregel

  • Referenced in 40 articles [sw13416]
  • computational model suitable for this task. Programs are expressed as a sequence of iterations ... commodity computers, and its implied synchronicity makes reasoning about programs easier. Distribution-related details...
  • Oz

  • Referenced in 117 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... procedures, classes, objects, exceptions and sequential threads synchronizing over a constraint store. It supports finite ... feature constraints and has powerful primitives for programming constraint inference engines at a high level...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • programming). Specifically, we extend cc programming by adding synchronous communication and by providing a treatment ... give reduction-preserving translations of both cc programming and the calculus of explicit fusions...
  • ASTREE

  • Referenced in 115 articles [sw13704]
  • errors in programs written in the C programming language. It has been applied with success ... critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex...
  • ULM

  • Referenced in 10 articles [sw08978]
  • ideas and programming constructs from the synchronous programming style, that allow us to deal with...
  • Quartz

  • Referenced in 8 articles [sw09891]
  • synchronous programming language Quartz...
  • CoArray

  • Referenced in 30 articles [sw04083]
  • itself, making programs vastly more readable than subroutine calls to parallel libraries. Synchronization primitives...
  • Eraser

  • Referenced in 45 articles [sw08922]
  • programming is difficult and error prone. It is easy to make a mistake in synchronization ... detecting data races in lock-based multithreaded programs. Eraser uses binary rewriting techniques to monitor...
  • Velodrome

  • Referenced in 5 articles [sw08925]
  • violations often reveal defects in a program’s synchronization structure. Unfortunately, all atomicity analyses developed ... yield false alarms on correctly synchronized programs, which limits their usefulness. We present the first...
  • Zelus

  • Referenced in 4 articles [sw20166]
  • Zélus: a synchronous language with ODEs. Zélus is a new programming language for modeling systems ... extend an existing Lustre-like synchronous language with Ordinary Differential Equations ... ODEs). The extension is conservative: any synchronous program expressed as data-flow equations and hierarchical ... side effects or discontinuities occur during integration. Programs are statically scheduled and translated into sequential...
  • BSPlib

  • Referenced in 42 articles [sw03374]
  • imbalance in parallel programs, exposing portions of program code which are amenable to improvement ... profiler is that it uses the bulk synchronous parallel cost model, thus providing a mechanism...
  • BSGP

  • Referenced in 5 articles [sw08995]
  • BSGP: bulk-synchronous GPU programming. We present BSGP, a new programming language for general purpose...
  • PARSEC

  • Referenced in 26 articles [sw09610]
  • applications and used a limited number of synchronization methods. PARSEC includes emerging applications in recognition ... applications which mimic large-scale multithreaded commercial programs. Our characterization shows that the benchmark suite ... spectrum of working sets, locality, data sharing, synchronization and off-chip traffic. The benchmark suite...
  • Hypertool

  • Referenced in 29 articles [sw08911]
  • their application to a message-passing system program development tool called Hypertool are discussed. Hypertool ... insertion automatically, thereby increasing productivity and eliminating synchronization errors. Two algorithms, based on the critical ... also generates the performance estimates and other program quality measures to help programmers improve their...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages ... data-types describe the invariants of program modules in functional languages, temporal and data-flow ... separate compilation of functions in a program. In SIGNAL, the notion of conditional data-flow ... module system for the synchronous language SIGNAL...