4081 search results - page 338 / 817 » The Impact of Constraint Programming |
200
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
PMOS is an incremental garbage collector designed specifically to reclaim space in a persistent object store. It is complete in that it will, after a finite number of invocations,...
184
click to vote
OOPSLA
1995
Springer
15 years 11 months ago
1995
Springer
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
148
click to vote
ISQED
2010
IEEE
16 years 2 months ago
2010
IEEE
— Timing exceptions in IC implementation processes, especially timing verification, help reduce pessimism that arises from unnecessary timing constraints by masking non-function...
218
click to vote
CP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
308
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...