7167 search results - page 273 / 1434 » A Technique for Invariant Generation |
177
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a built-in self-test (BiST) scheme for analog to digital converters (ADC) based on a linear ramp generator and efficient output analysis. The proposed analysi...
192
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
216
click to vote
IMR
1999
Springer
15 years 11 months ago
1999
Springer
The primary focus of this project is to design and implement a parallel framework for an unstructured mesh generator based on the advancing front method (AFM). In particular, we t...
219
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
To our best knowledge, all existing graph pattern mining algorithms can only mine either closed, maximal or the complete set of frequent subgraphs instead of graph generators whic...
233
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...