2715 search results - page 335 / 543 » An Implementation of Narrowing Strategies |
146
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
175
click to vote
VLSID
1997
IEEE
15 years 10 months ago
1997
IEEE
The problem of test generation belongs to the class of NP-complete problems and it is becoming more and more di cult as the complexity of VLSI circuits increases, and as long as e...
148
click to vote
MMB
1997
Springer
15 years 10 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
157
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
158
Voted
SEKE
1993
Springer
15 years 10 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...