2468 search results - page 225 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
150
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
132
Voted
HIPC
2005
Springer
15 years 9 months ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
158
Voted
IMC
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...
143
click to vote
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
In wireless sensor networks, localization systems use data from sensors which receive signals from moving targets, measure RSSI, and translate RSSI into the distance between senso...
124
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...