1179 search results - page 117 / 236 » Programming in Hybrid Constraint Languages |
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
109
click to vote
RISE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
115
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
106
click to vote
POS
1992
Springer
15 years 5 months ago
1992
Springer
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
128
click to vote
SC
2000
ACM
15 years 5 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...