737 search results - page 95 / 148 » Decentralized Utilization Control in Distributed Real-Time S... |
183
click to vote
PODC
2011
ACM
14 years 8 months ago
2011
ACM
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...
156
click to vote
RTSS
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
124
click to vote
IPPS
2006
IEEE
16 years 15 hour ago
2006
IEEE
This paper exploits a previously developed analytical modeling framework to compare several variations of the basic flooding search strategy in unstructured decentralized peer-to...
186
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
157
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— We formulate a coverage optimization problem for mobile visual sensor networks as a repeated multi-player game. Each visual sensor tries to optimize its own coverage while mini...