Sciweavers

15840 search results - page 99 / 3168
» The Control of Synchronous Systems
Sort
View
PDP
2002
IEEE
14 years 3 months ago
On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems
In this paper we study the implementability of different classes of failure detectors in several models of partial synchrony. We show that no failure detector with perpetual accur...
Mikel Larrea, Antonio Fernández, Sergio Ar&...
EMSOFT
2007
Springer
14 years 4 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
RTS
2010
79views more  RTS 2010»
13 years 8 months ago
Spin-based reader-writer synchronization for multiprocessor real-time systems
Reader preference, writer preference, and task-fair reader-writer locks are shown to cause undue blocking in multiprocessor real-time systems. Phase-fair reader writer locks, a ne...
Björn B. Brandenburg, James H. Anderson
EMSOFT
2009
Springer
14 years 4 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis