Sciweavers

4 search results - page 1 / 1
» Revisiting Deterministic Multithreading Strategies
Sort
View
IPPS
2007
IEEE
13 years 11 months ago
Revisiting Deterministic Multithreading Strategies
Jörg Domaschka, Andreas I. Schmied, Hans P. R...
FUIN
2006
97views more  FUIN 2006»
13 years 4 months ago
Thread Algebra with Multi-Level Strategies
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...
Jan A. Bergstra, C. A. Middelburg
MOBICOM
2004
ACM
13 years 10 months ago
Revisiting the TTL-based controlled flooding search: optimality and randomization
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...
Nicholas B. Chang, Mingyan Liu
ASPLOS
2011
ACM
12 years 8 months ago
RCDC: a relaxed consistency deterministic computer
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ce...