2226 search results - page 321 / 446 » Fault-Tolerant Parallel Applications with Dynamic Parallel S... |
ICDCS
1995
IEEE
15 years 1 months ago
1995
IEEE
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
MIDDLEWARE
2009
Springer
15 years 4 months ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...
HIPC
2000
Springer
15 years 1 months ago
2000
Springer
Within two or three technology generations, processor architects will face a number of major challenges. Wire delays will become critical, and power considerations will temper the ...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Real-time applications continue to increase in importance as they are employed in various critical areas, such as command and control systems. These applications have traditionall...
120
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...