1702 search results - page 1 / 341 » Using Nondeterminism to Design Efficient Deterministic Algor... |
ALGORITHMICA
2004
13 years 4 months ago
2004
PODC
2000
ACM
13 years 8 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
POPL
2010
ACM
13 years 7 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...