34 search results - page 1 / 7 » Real Time Models of the Asynchronous Circuits: The Delay The... |
CORR
2004
Springer
13 years 10 months ago
2004
Springer
ISQED
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
ICCAD
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
ECOOP
1995
Springer
14 years 2 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
TC
2002
13 years 10 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...