• Oz

  • Referenced in 112 articles [sw06799]
  • procedures, classes, objects, exceptions and sequential threads synchronizing over a constraint store. It supports finite...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best ... design of dependable real-time systems. Synchronous languages enable a very high-level specification ... systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages ... module system for the synchronous language SIGNAL...
  • ASTREE

  • Referenced in 75 articles [sw13704]
  • critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex...
  • PPL

  • Referenced in 52 articles [sw05357]
  • applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real-time...
  • Ptolemy

  • Referenced in 66 articles [sw07459]
  • directors for the following models of computation: synchronous- reactive, discrete event, continuous time, process networks...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • executed using a variety of conservative synchronization protocols, which include the null message and conditional...
  • Cohn-Kanade

  • Referenced in 43 articles [sw04974]
  • original data collection of Cohn-Kanade included synchronized frontal and 30-degree from frontal video ... below). Version 3 will add the synchronized 30-degree from frontal video. To receive...
  • SMIL

  • Referenced in 40 articles [sw03378]
  • document specifies the third version of the Synchronized Multimedia Integration Language (SMIL, pronounced ”smile”). SMIL ... those who need to represent timing and synchronization. For example, SMIL 3.0 components are used...
  • COWS

  • Referenced in 53 articles [sw06955]
  • known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing...
  • Netlib

  • Referenced in 46 articles [sw04368]
  • several sites around the world, automatically synchronized, to provide reliable and network efficient service...
  • BETA

  • Referenced in 27 articles [sw03114]
  • Synchronization abstraction in the BETA programming language. This paper argues that synchronization of processes need ... While discussing the use of patterns of synchronization and their implementation in BETA, we focus...
  • JoCaml

  • Referenced in 24 articles [sw02065]
  • extends OCaml with support for concurrency and synchronization, the distributed execution of programs ... locality, a strict adherence to local synchronization, and a natural embedding of functional programming ... Local synchronization means that messages always travel to a set destination, and can interact only ... pattern-matching on messages to express local synchronizations. The lectures and lab sessions illustrate...
  • BSPlib

  • Referenced in 38 articles [sw03374]
  • profiler is that it uses the bulk synchronous parallel cost model, thus providing a mechanism...
  • Eraser

  • Referenced in 36 articles [sw08922]
  • easy to make a mistake in synchronization that produces a data race...
  • PARSEC

  • Referenced in 23 articles [sw09610]
  • applications and used a limited number of synchronization methods. PARSEC includes emerging applications in recognition ... spectrum of working sets, locality, data sharing, synchronization and off-chip traffic. The benchmark suite...
  • Creol

  • Referenced in 19 articles [sw09421]
  • society. In standard object-oriented models, objects synchronize on method calls. These models ... their tight coupling of communication and synchronization; network delays and instabilities may locally result ... looser coupling of method calls and synchronization. Asynchronous method calls and high-level local control...
  • HumanEva

  • Referenced in 18 articles [sw15489]
  • HumanEva: Synchronized video and motion capture dataset and baseline algorithm for evaluation of articulated human ... hardware system that is able to capture synchronized video and ground-truth 3D motion ... order of 40,000 frames of synchronized motion capture and multi-view video (resulting...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • computing package, dedicated to the computations on synchronizing automata. COMPAS design is based ... COMPAS allows to easily operate on synchronizing automata, verifying new synchronizing algorithms ... flexible, extensible and open-source package for synchronization...
  • LUSTRE

  • Referenced in 24 articles [sw08938]
  • real-time programming. LUSTRE is a synchronous data-flow language for programming systems which interact...
  • Trivium

  • Referenced in 23 articles [sw06150]
  • TRIVIUM is a hardware oriented synchronous stream cipher. It was designed as an exercise...