8232 search results - page 1286 / 1647 » Dynamic Logic Programming |
186
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
145
click to vote
SGAI
2007
Springer
16 years 24 days ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
170
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
163
click to vote
IEEESCC
2006
IEEE
16 years 22 days ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
173
click to vote
MICRO
2006
IEEE
16 years 21 days ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...