53 search results - page 11 / 11 » Generalizations of the Global Cardinality Constraint for Hie... |
JAIR
2006
13 years 4 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
LCTRTS
2001
Springer
13 years 8 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
CODES
2010
IEEE
13 years 1 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...