352 search results - page 35 / 71 » Fail-Awareness in Timed Asynchronous Systems |
131
click to vote
DDECS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...
134
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Improvements in computer network infrastructures and information utilities have led to an increase in the number of social and work interactions carried out `virtually' by ge...
118
click to vote
TPPP
1994
15 years 8 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
141
Voted
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
149
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...