Sciweavers

1491 search results - page 86 / 299
» Resource-Passing Concurrent Programming
Sort
View
ICLP
2005
Springer
15 years 11 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
STOC
2006
ACM
166views Algorithms» more  STOC 2006»
16 years 6 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»
16 years 1 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
16 years 1 months ago
Chopping Concurrent Programs
Dennis Giffhorn
OOPSLA
2009
Springer
16 years 24 days ago
Concurrency by default: using permissions to express dataflow in stateful programs
Sven Stork, Paulo Marques, Jonathan Aldrich