Sciweavers

15840 search results - page 113 / 3168
» The Control of Synchronous Systems
Sort
View
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
14 years 2 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee
CASES
2004
ACM
14 years 3 months ago
Causality analysis of synchronous programs with delayed actions
Klaus Schneider, Jens Brandt, Tobias Schüle
CDC
2008
IEEE
323views Control Systems» more  CDC 2008»
14 years 4 months ago
Dynamic calibration of adaptive optics systems: A system identification approach
Alessandro Chiuso, Riccardo Muradore, Enrico March...
SODA
2010
ACM
173views Algorithms» more  SODA 2010»
14 years 7 months ago
Distributed Agreement with Optimal Communication Complexity
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...
Seth Gilbert, Dariusz Kowalski
ACL
2004
13 years 11 months ago
Generalized Multitext Grammars
Generalized Multitext Grammar (GMTG) is a synchronous grammar formalism that is weakly equivalent to Linear Context-Free Rewriting Systems (LCFRS), but retains much of the notatio...
I. Dan Melamed, Giorgio Satta, Benjamin Wellington