1402 search results - page 68 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
103
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Embedded Runge-Kutta methods are among the most popular methods for the solution of non-stiff initial value problems of ordinary differential equations (ODEs). We investi...
152
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
136
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
With the rapidly falling price of hardware, and increasingly available bandwidth, the storage technology is seeing a paradigm shift from centralized and managed mode to distribute...
133
click to vote
PDPTA
2003
15 years 4 months ago
2003
Abstract Distributed Systems suffer from the enormous performance gap between local and remote operation. To bridge this gap a general purpose distributed operating system must pr...
231
Voted
ICDE
2005
IEEE
16 years 4 months ago
2005
IEEE
We present the Deep Store archival storage architecture, a large-scale storage system that stores immutable data efficiently and reliably for long periods of time. Archived data i...