6608 search results - page 1137 / 1322 » On the Completeness of Model Checking |
230
click to vote
P2P
2009
IEEE
15 years 11 months ago
2009
IEEE
—Characterizing user churn has become an important topic in studying P2P networks, both in theoretical analysis and system design. Recent work [26] has shown that direct sampling...
158
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
148
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Our goal in this work is to make high level decisions for mobile robots. In particular, given a queue of prioritized object delivery tasks, we wish to find a sequence of actio...
111
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
151
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...