2468 search results - page 211 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
152
click to vote
WSC
2008
15 years 6 months ago
2008
Recent research has shown that while many complex networks follow a power-law distribution for their node degrees, it is not sufficient to model these networks based only on their...
147
click to vote
WSC
1997
15 years 5 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...
138
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes a test-bed for planar micro manipulation tasks and a framework for planning based on quasistatic models of mechanical systems with frictional contacts. We ...
163
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
129
click to vote
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...