172 search results - page 20 / 35 » Enforcing synchronous system properties on top of timed syst... |
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— In this study, a tactile-roughness transmission system applicable to master-slave systems with a communication time delay is developed. The master-side system construct...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
ECRTS
2000
IEEE
14 years 25 days ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
POPL
2000
ACM
13 years 12 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...