Concept
Pseudo-code
Publications associées (5)
Inferring Scalability from Program Pseudocode
Recent trends have led hardware manufacturers to place multiple processing cores on a single chip, making parallel programming the intended way of taking advantage of the increased processing power. However, bringing concurrency to average programmers is c ...
EPFL2014Distributed Consensus, Revisited
Rachele Fuzzati, Massimo Merro
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hyp ...
2007Distributed Consensus, Revisited
Rachele Fuzzati, Massimo Merro
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hyp ...
2006Alluvionnement des retenues par courants de turbidité
Reservoir sedimentation by turbidity currents All lakes created on natural rivers are subjected to reservoir sedimentation. The construction of a dam significantly modifies the flow conditions of natural streams inside and downstream of an artificial lake. ...
EPFL1998Cooperative Shared Memory: Software and Hardware for Scalable Multiprocessors
James Richard Larus, David Wood
We believe the paucity of massively parallel, shared-memory machines follows from the lack of a shared-memory programming performance model that can inform programmers of the cost of operations (so they can avoid expensive ones) and can tell hardware desig ...
ACM1993