1251 search results - page 143 / 251 » Design of an Early Minicomputer |
171
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
240
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
168
click to vote
SIGMETRICS
1993
ACM
15 years 10 months ago
1993
ACM
: Performance is critical to the success of today’s software systems. However, many software products fail to meet their performance objectives when they are initially constructe...
183
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
When data collection is costly and/or takes a significant amount of time, an early prediction of the classifier performance is extremely important for the design of the data minin...
187
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...