Sciweavers

8493 search results - page 166 / 1699
» Implementing a distributed firewall
Sort
View
FAC
2002
78views more  FAC 2002»
15 years 6 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
CONCUR
2005
Springer
16 years 8 hour ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine
PVM
1999
Springer
15 years 10 months ago
A Standard Interface for Debugger Access to Message Queue Information in MPI
This paper discusses the design and implementation of an interface that allows a debugger to obtain the information necessary to display the contents of the MPI message queues. The...
James Cownie, William Gropp
HPDC
2003
IEEE
15 years 11 months ago
Distributed Pagerank for P2P Systems
This paper defines and describes a fully distributed implementation of Google’s highly effective Pagerank algorithm, for “peer to peer”(P2P) systems. The implementation is ...
Karthikeyan Sankaralingam, Simha Sethumadhavan, Ja...
IPPS
2006
IEEE
16 years 15 days ago
Wrekavoc: a tool for emulating heterogeneity
Computer science and especially heterogeneous distributed computing is an experimental science. Simulation, emulation, or in-situ implementation are complementary methodologies to...
Louis-Claude Canon, Emmanuel Jeannot