5149 search results - page 124 / 1030 » Timed Asynchronous Distributed Systems |
119
Voted
DDECS
2009
IEEE
15 years 9 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...
123
Voted
HICSS
1998
IEEE
15 years 6 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...
128
Voted
TIME
2008
IEEE
15 years 9 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...
117
Voted
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
109
Voted
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
Synchronous design methods have intrinsic performance overheads due to their use of the global clock and timing assumptions. In future manufacturing processes not only may it beco...