2584 search results - page 7 / 517 » On the Forward Checking Algorithm |
IPL
2008
13 years 7 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
IBMRD
2006
13 years 7 months ago
2006
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
CC
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
ICRA
2000
IEEE
14 years 5 days ago
2000
IEEE
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Studying transfer opportunities between wireless devices carried by humans, we observe that the distribution of the inter-contact time, that is the time gap separating two cont...