2864 search results - page 253 / 573 » Constraint Programming in OPL |
148
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Program code size has become a critical design constraint of embedded systems. Large program codes require large memories, which increase the size and cost of the chip. Poor co...
159
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
161
click to vote
JFP
2008
15 years 5 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
173
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
292
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...