7092 search results - page 197 / 1419 » Parallelizing constraint programs |
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
91
Voted
SC
2004
ACM
15 years 5 months ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...
102
Voted
IEICET
2006
15 years 14 days ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
98
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
119
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...