346 search results - page 52 / 70 » Determinizing Asynchronous Automata |
114
click to vote
SIAMCOMP
2010
14 years 4 months ago
2010
This paper studies the inherent trade-off between termination probability and total step complexity of randomized consensus algorithms. It shows that for every integer k, the prob...
APLAS
2003
ACM
15 years 1 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper presents a self-localization strategy for a team of heterogenous mobile robots, including ground mobile robots of various sizes and wall-climbing robots. These robot...
102
click to vote
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
Network-on-Chip combined with Globally Asynchronous Locally Synchronous paradigm is a promising architecture for easy IP integration and utilization with multiple voltage levels. ...
TWC
2008
14 years 10 months ago
2008
Using relays in wireless networks can potentially lead to significant capacity increases. However, within an asynchronous multi-user communication setting, relaying might cause mor...