17 search results - page 4 / 4 » Improving Backtrack Search for SAT by Means of Redundancy |
ENTCS
2002
13 years 5 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
ISCA
2005
IEEE
13 years 11 months ago
2005
IEEE
The load-store unit is a performance critical component of a dynamically-scheduled processor. It is also a complex and non-scalable component. Several recently proposed techniques...