5149 search results - page 17 / 1030 » Timed Asynchronous Distributed Systems |
INFORMATICALT
1998
13 years 7 months ago
1998
Abstract. More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather tha...
ICCAD
1998
IEEE
13 years 11 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...
MSWIM
2009
ACM
14 years 2 months ago
2009
ACM
We evaluate an asynchronous gossiping middleware for wireless users that propagates messages from any group member to all the other group members. This propagation can either be i...
FAST
2009
13 years 5 months ago
2009
We develop a holistic framework for adaptively scheduling asynchronous requests in distributed file systems. The system is holistic in that it manages all resources, including net...
ICCD
1999
IEEE
13 years 12 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...