2398 search results - page 447 / 480 » Constraint Programming and Graph Algorithms |
CODES
2007
IEEE
14 years 5 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
CP
2007
Springer
14 years 5 months ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...
MM
2006
ACM
14 years 4 months ago
2006
ACM
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
ISQED
2005
IEEE
14 years 4 months ago
2005
IEEE
With continued aggressive process scaling in the subwavelength lithographic regime, resolution enhancement techniques (RETs) such as optical proximity correction (OPC) are an inte...
CP
2005
Springer
14 years 4 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...