Synchronous systems
Strongly Terminating Early-Stopping ıt k-Set Agreement in Synchronous Systems with General Omission Failures
... Synchronous Systems Prone to Send Omission Failures. Proc. 11th IEEE Paci c Rim Int'l Symposium on Dependable Computing (PRDC'05), Changsa (China), IEEE Computer Press, pp. 23-30, 2005. [29] Rapin ...
26
Conditions for Set Agreement with an Application to Synchronous Systems
... a synchronous system; b tk c + 1 is then a lower bound on the number of rounds (consecutive communication steps) for the non-faulty processes to ...asynchronous systems, and allow for more efficient ...
24
Coordinated primary frequency control among non-synchronous systems connected by a multi-terminal high-voltage direct current grid
... 6 Conclusions and future work In this paper, we presented a control scheme to share primary reserves among non-synchronous AC areas connected by an MT-HVDC system. With this control scheme, in response to a power ...
10
Balls-into-leaves: sub-logarithmic renaming in synchronous message-passing systems
... In synchronous systems, wait-free tight renaming can be solved using reliable broadcast [6] or consen- sus [15] to agree on the set of existing ...in synchronous message-passing is first studied by ...
16
A synchronous pi-calculus
... distributed systems are usually classified according to two main pa- rameters (see, ...to synchronous, asynchronous, partially .... systems. In particular, in syn- chronous systems, there is a ...
29
Determinacy in a synchronous pi-calculus
... represent synchronous systems. In these systems, there is a notion of instant (or phase, or pulse, or round) and at each instant each thread performs some actions and synchronizes with all other ...
21
Synchronous Automata For Activity Recognition
... reactive systems for a long time, we chose synchronous finite automata ...The Synchronous Paradigm relies on a discrete logical time composed of a sequence of logical instants, defined by the system ...
32
Brief announcement: Practical synchronous byzantine consensus
... While synchrony is supposed to make the problem easier, it turns out to be non-trivial to adapt the synod algorithm to the synchronous and Byzantine setting while achieving the optimal f < n/2 fault tolerance. ...
5
A Synchronous Approach to Activity Recognition
... We are in the line of synchronous models and languages. However, ADeL is dedicated to non computer scientist end users and applied to a domain not usually targeted by synchronous approaches, namely human ...
5
Statistical Testing of Synchronous Reactive Systems
... Real-time systems have the general behavior of having little memory i.e., the values of the flows at a given cycle do not depend too far back on previous cycles. Hence the temporal dependencies between flows are ...
9
Modular Compilation of a Synchronous Language
... (LTS). Synchronous languages are well known to have a clear semantic that allows to express the set of behaviors of program as LTSs and thus model checking techniques are ...
65
DSLM : Dynamic Synchronous Language with Memory
... However, synchronous parallelism has difficulties to cope with memory. In- deed, uncontrolled concurrent accesses to memory, as in: P 2 = x:=1 || x:=2, may give rise to non-deterministic results: the outcome can ...
16
Modular Compilation of a Synchronous Language
... tive systems because a perfect semantics would combine three important properties: responsiveness, modularity and ...reactive systems can be deduced from the respective se- mantics of each ...semantics. ...
16
Algebraic Framework for Synchronous Language Semantics
... V. C ONCLUSION AND F UTURE W ORKS Synchronous languages have formal semantics computing models of programs either for verification purpose or for compilation. All along the three last decades, several semantics ...
9
Lecture instrumentation based on synchronous speech transcription
... the support of teacher-student interactions. Facilitating these interactions can increase students’ engagement as well as their performances [2]. As part of this project, we will additionally test usability of tools ...
6
From SSA to Synchronous Concurrency and Back
... The transformation of a standard SSA form specification into executable sequential code is a well-understood process. However, the introduction of tick fundamentally changes the SSA semantics by requiring a cyclic ...
27
The Quantifier Alternation Hierarchy of Synchronous Relations
... 2 Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, and Peter T. Wood. Expressive languages for path queries over graph-structured data. ACM Transactions on Database Systems (TODS), 37(4):31, 2012. ...
15
Adoption dynamics: sequential or synchronous modelling-version2
... Abstract: This paper deals with the choice of dynamics in spatial sim- ulation and modelling. In economical context, N agents choose between two technological standards according to a local assignment rule. The adoption ...
15
A Synchronous Approach to Threaded Program Verification
... Our solution to detecting these types of synchronisation problems semi-automatically is based on the synchronous data-flow language Signal. Imperative programs written in software engineering languages such as the ...
35
Analysis of hunting in Synchronous Hysteresis Motor
... Inconsistent bearing friction can exert unpredictable load torque on the rotor and upset drag angle between the rotor and stator magnetic field at synchronous speed.[r] ...
86