1683 search results - page 60 / 337 » A Needed Narrowing Strategy |
VTS
2003
IEEE
14 years 2 months ago
2003
IEEE
—We present a dictionary-based test data compression approach for reducing test data volume and testing time in SOCs. The proposed method is based on the use of a small number of...
ICADL
2003
Springer
14 years 1 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Traditional reliability measures for computer systems can be classi ed into Computer-Centric or Application-Centric categories. The former concentrate on the hardware resources whi...
FLOPS
2004
Springer
14 years 14 days ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...