A self-stabilizing distributed system is a faulttolerant distributed system that tolerates any kind and any ļ¬nite number of transient faults, such as message loss and memory cor...
Sigma, the first single-round group membership (GM) algorithm, was recently introduced and demonstrated to operate consistently with theoretical expectations in a simulated WAN en...
This paper shows how Markovian segmentation algorithms used to solve well known computer vision problems such as motion estimation, motion detection and stereovision can be signiļ¬...
Pierre-Marc Jodoin, Max Mignotte, Jean-Franç...
Despite years of research, the design of eļ¬cient nonblocking algorithms remains diļ¬cult. A key reason is that current shared-memory multiprocessor architectures support only s...
Simon Doherty, David Detlefs, Lindsay Groves, Chri...
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical speciļ¬cati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...