4520 search results - page 346 / 904 » Algebraic Techniques for Timed Systems |
184
click to vote
PADS
1999
ACM
15 years 12 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
187
click to vote
ICTCS
2005
Springer
16 years 1 months ago
2005
Springer
We study the effect of laxity, or slack time, on the online scheduling of broadcasts with deadlines. The laxity of a request is defined to be the ratio between its span (differe...
185
Voted
PRESENCE
2006
15 years 7 months ago
2006
This paper is the first part of a two-part paper that documents a detailed survey of the research carried out on consistency and latency in distributed interactive applications (D...
223
Voted
MICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Current microprocessors incorporate techniques to exploit instruction-level parallelism (ILP). However, previous work has shown that these ILP techniques are less effective in rem...
237
click to vote
ICSM
2009
IEEE
16 years 2 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...