Sciweavers

6365 search results - page 1205 / 1273
» Fast Local Computation Algorithms
Sort
View
HIPC
2003
Springer
15 years 7 months ago
Double-Loop Feedback-Based Scheduling Approach for Distributed Real-Time Systems
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 ...
Suzhen Lin, G. Manimaran
IPTPS
2003
Springer
15 years 7 months ago
Sloppy Hashing and Self-Organizing Clusters
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...
Michael J. Freedman, David Mazières
ICRA
1998
IEEE
114views Robotics» more  ICRA 1998»
15 years 6 months ago
A Twenty-Four Hour Tele-Nursing System Using a Ring Sensor
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...
Boo-Ho Yang, Sokwoo Rhee, Haruhiko Asada
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 6 months ago
SAT-Based Compositional Verification Using Lazy Learning
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...
Nishant Sinha, Edmund M. Clarke
EVOW
2009
Springer
15 years 6 months ago
Efficient Signal Processing and Anomaly Detection in Wireless Sensor Networks
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...
Markus Wälchli, Torsten Braun
« Prev « First page 1205 / 1273 Last » Next »