1097 search results - page 174 / 220 » Revision Programming = Logic Programming Integrity Constra... |
116
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
125
click to vote
HM
2009
Springer
15 years 7 months ago
2009
Springer
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
128
click to vote
CP
2001
Springer
15 years 7 months ago
2001
Springer
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...
144
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
142
click to vote
POPL
2010
ACM
16 years 15 days ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...