178 search results - page 25 / 36 » Bounds, Heuristics, and Approximations for Distribution Syst... |
157
click to vote
OSDI
1996
ACM
15 years 7 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
198
click to vote
INFOCOM
2008
IEEE
16 years 14 days ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...
190
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
148
click to vote
HYBRID
2007
Springer
16 years 6 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
166
click to vote
ICASSP
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper, we re-examine the recently proposed distributed state estimators based on quantized innovations. It is widely believed that the error covariance of the Quantized In...