Sciweavers

1491 search results - page 86 / 299
» Resource-Passing Concurrent Programming
Sort
View
ICLP
2005
Springer
15 years 7 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
100
Voted
STOC
2006
ACM
166views Algorithms» more  STOC 2006»
16 years 2 months ago
The Santa Claus problem
The Santa Claus problem is an interesting exercise in concurrent programming which has been used in a comparison of the concurrency mechanisms of Ada and Java. We present a simple...
Nikhil Bansal, Maxim Sviridenko
ACSD
2009
IEEE
149views Hardware» more  ACSD 2009»
15 years 9 months ago
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
SCAM
2009
IEEE
15 years 9 months ago
Chopping Concurrent Programs
Dennis Giffhorn
OOPSLA
2009
Springer
15 years 9 months ago
Concurrency by default: using permissions to express dataflow in stateful programs
Sven Stork, Paulo Marques, Jonathan Aldrich