4573 search results - page 654 / 915 » Automated Reasoning |
112
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
118
click to vote
MVA
1994
15 years 5 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
117
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
140
click to vote
JELIA
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
136
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...