4426 search results - page 206 / 886 » Concurrent Constraint Programming |
148
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
176
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
172
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
146
click to vote
PPOPP
2005
ACM
16 years 2 days ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
163
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...