5149 search results - page 73 / 1030 » Timed Asynchronous Distributed Systems |
111
click to vote
USENIX
2007
15 years 4 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...
120
Voted
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
105
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper proposes a joint server/peer video streaming architecture for wireless networks, where a receiver can access a video server via an access point using the infrastructure...
ENTCS
2008
15 years 2 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
138
click to vote
CONCUR
2012
Springer
13 years 4 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...