15840 search results - page 63 / 3168 » The Control of Synchronous Systems |
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
ISSS
1997
IEEE
14 years 12 hour ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
AIPS
1994
13 years 9 months ago
1994
Thispaperdescribesan extensionto the RAPsystem task-net semanticsandrepresentationlanguageto enable the effectivecontrolof continuousprocesses.The representationaddressesthe probl...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
RTS
2006
13 years 7 months ago
2006
This paper proposes the integration of internal and external clock synchronization by a combination of a fault-tolerant distributed algorithm for clock state correction with a cent...