3153 search results - page 481 / 631 » Programming the Grid: Component Systems for Distributed Appl... |
133
Voted
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
157
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
152
click to vote
HOTI
2008
IEEE
15 years 10 months ago
2008
IEEE
The high performance switch plays a critical role in the high performance computer (HPC) system. The applications of HPC not only demand on the low latency and high bandwidth of t...
137
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents in detail an efficient and provably correct algorithm for database replication over partitionable networks. Our algorithm avoids the need for end-toend acknow...
154
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...