1690 search results - page 286 / 338 » Algorithmic Properties of Millstream Systems |
98
Voted
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [10] for periodic tasks with highly variable execution times and s...
83
Voted
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
106
Voted
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
105
click to vote
TROB
2008
15 years 19 days ago
2008
Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. In particular, in applications such as coverage by mobile senso...
107
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...