4426 search results - page 444 / 886 » Concurrent Constraint Programming |
161
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ļ...
200
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamportās happens-before (HB) relation has served as th...
185
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modiļ¬cation of ...
199
click to vote
ANOR
2005
15 years 6 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
187
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...