800 search results - page 52 / 160 » Programming Models for Concurrency and Real-Time |
119
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
121
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
149
click to vote
SOFTVIS
2010
ACM
15 years 1 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
JLP
2011
14 years 4 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
158
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...