Search Sciweavers | Sciweavers

1491 search results - page 24 / 299

» Resource-Passing Concurrent Programming

click to vote

PPDP
2010
Springer

147views Programming Languages» more PPDP 2010»

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules

13 years 7 months ago

Download contraintes.inria.fr

The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...

Thierry Martinez

claim paper

Read More »

click to vote

CAV
2010
Springer

206views Hardware» more CAV 2010»

Dynamic Cutoff Detection in Parameterized Concurrent Programs

14 years 1 months ago

Download www.comlab.ox.ac.uk

We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...

Alexander Kaiser, Daniel Kroening, Thomas Wahl

claim paper

Read More »

click to vote

WDAG
1999
Springer

72views Algorithms» more WDAG 1999»

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

14 years 2 months ago