2974 search results - page 487 / 595 » Model-Driven Constraint Programming |
195
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
166
click to vote
VEE
2009
ACM
16 years 1 months ago
2009
ACM
Clusters provide powerful computing environments, but in practice much of this power goes to waste, due to the static allocation of tasks to nodes, regardless of their changing co...
161
click to vote
ISCA
2007
IEEE
16 years 20 days ago
2007
IEEE
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
172
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to...
198
click to vote
LICS
2006
IEEE
16 years 11 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...