346 search results - page 52 / 70 » Determinizing Asynchronous Automata |
149
Voted
SIAMCOMP
2010
14 years 8 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...
120
click to vote
APLAS
2003
ACM
15 years 5 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 ...
129
click to vote
IROS
2006
IEEE
15 years 8 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...
142
Voted
VLSID
2010
IEEE
15 years 5 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. ...
126
click to vote
TWC
2008
15 years 1 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...