73 search results - page 5 / 15 » Constraint-Based Concurrency and Beyond |
107
click to vote
PLDI
2011
ACM
14 years 13 days ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
EEMMAS
2007
Springer
15 years 3 months ago
2007
Springer
One motivation for many agent-based models is to predict the future. The nonlinearity of agent interactions in most non-trivial domains mean that the usefulness of such prediction...
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
113
click to vote
AQUILEIA
2011
13 years 9 months ago
2011
A large number of technologies, such as Geographic Information Systems (GIS), Global Positioning Systems (GPS), Remote Sensing (RS), geophysical instruments, allows nowadays for fa...
CONCURRENCY
2007
14 years 9 months ago
2007
: Good water management is literally vital for the arid and semi-arid regions of the planet. Yet good water management requires multidisciplinary expertise, since one must consider...