4081 search results - page 35 / 817 » The Impact of Constraint Programming |
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
CP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...
ISPD
1999
ACM
14 years 22 days ago
1999
ACM
- Route Embedding, a new method for mitigating the impact of crosstalk, is presented. It modifies a set of global-route structures to prevent timing and noise-margin violations ca...
GRAPHICSINTERFACE
2000
13 years 9 months ago
2000
We present a method for the rapid and controllable simulation of the shattering of brittle objects under impact. An object to be broken is represented as a set of point masses con...
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...