Sciweavers

577 search results - page 87 / 116
» A computational infrastructure for grid-based asynchronous p...
Sort
View
LSSC
2001
Springer
14 years 1 months ago
IC2D: Interactive Control and Debugging of Distribution
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
Françoise Baude, Alexandre Bergel, Denis Ca...
CONCUR
1999
Springer
14 years 1 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
ICDCS
1995
IEEE
14 years 17 days ago
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...
Alan Fekete, M. Frans Kaashoek, Nancy A. Lynch
CLUSTER
2008
IEEE
13 years 10 months ago
Improving message passing over Ethernet with I/OAT copy offload in Open-MX
Abstract--Open-MX is a new message passing layer implemented on top of the generic Ethernet stack of the Linux kernel. Open-MX works on all Ethernet hardware, but it suffers from e...
Brice Goglin
PVM
2010
Springer
13 years 6 months ago
Implementing MPI on Windows: Comparison with Common Approaches on Unix
Commercial HPC applications are often run on clusters that use the Microsoft Windows operating system and need an MPI implementation that runs efficiently in the Windows environmen...
Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajee...