9067 search results - page 669 / 1814 » Adaptive Model Checking |
184
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
193
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...
205
click to vote
ICVS
1999
Springer
15 years 11 months ago
1999
Springer
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
168
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Fault-tolerant programs are typically not only difficult to implement but also incur extra costs in terms of performance or resource consumption. Failures are typically relatively ...
161
click to vote
WEBDB
1999
Springer
15 years 11 months ago
1999
Springer
Accessing and integrating data from heterogeneous sources has become a significant challenge. So-called adapters provide the functionality for translating SQL queries into querie...