176 search results - page 10 / 36 » Truly concurrent constraint programming |
114
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
120
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
125
click to vote
CIE
2009
Springer
15 years 7 months ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
105
Voted
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
102
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...