2468 search results - page 329 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
92
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...
124
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
A proxy signature scheme allows an entity to delegate its signing capability to another entity (proxy) in such a way that the proxy can sign messages on behalf of the delegator. Pr...
171
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...
122
click to vote
EUROPAR
1995
Springer
15 years 7 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
126
click to vote
DAIS
2006
15 years 5 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...