800 search results - page 43 / 160 » Programming Models for Concurrency and Real-Time |
144
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
111
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
127
click to vote
CC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
112
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...