6365 search results - page 1205 / 1273 » Fast Local Computation Algorithms |
169
click to vote
HIPC
2003
Springer
15 years 11 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...
171
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
We are building Coral, a peer-to-peer content distribution system. Coral creates self-organizing clusters of nodes that fetch information from each other to avoid communicating wi...
186
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
The objective of this paper is to present the recent development of the ring sensor to monitor a patient 24 hours a day for a tele-nursing system. The ring sensor is worn by the p...
165
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
156
click to vote
EVOW
2009
Springer
15 years 10 months ago
2009
Springer
In this paper the node-level decision unit of a self-learning anomaly detection mechanism for office monitoring with wireless sensor nodes is presented. The node-level decision uni...