Sciweavers

3112 search results - page 299 / 623
» Cluster Computing White Paper
Sort
View
CADE
2009
Springer
16 years 7 months ago
Does This Set of Clauses Overlap with at Least One MUS?
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
Éric Grégoire, Bertrand Mazure, C&ea...
CLUSTER
2000
IEEE
15 years 11 months ago
IP over SCI
-In this paper, we present an integration of SCI (Scalable Coherent Interface[5]) into the TCP/IP protocol stack of Linux for high bandwidth low latency communication within two or...
Ralf Grosse Borger, Roger Butenuth, Hans-Ulrich He...
CORR
2007
Springer
141views Education» more  CORR 2007»
15 years 6 months ago
Managing Uncertainty: A Case for Probabilistic Grid Scheduling
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat
CLUSTER
2002
IEEE
15 years 11 months ago
Reliable Blast UDP: Predictable High Performance Bulk Data Transfer
High speed bulk data transfer is an important part of many data-intensive scientific applications. This paper describes an aggressive bulk data transfer scheme, called Reliable Bl...
Eric He, Jason Leigh, Oliver T. Yu, Thomas A. DeFa...
IPPS
2002
IEEE
15 years 11 months ago
Portals 3.0: Protocol Building Blocks for Low Overhead Communication
This paper describes the evolution of the Portals message passing architecture and programming interface from its initial development on tightly-coupled massively parallel platfor...
Ron Brightwell, William Lawry, Arthur B. Maccabe, ...