3113 search results - page 58 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
108
click to vote
CAV
2004
Springer
15 years 1 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
DICTA
2007
14 years 11 months ago
2007
Apply is a Domain-Specific Language for image processing and low-level computer vision. Apply allows programmers to write kernel operations that focus on the computation for a sin...
TCSV
2010
14 years 4 months ago
2010
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
104
click to vote
DAC
2003
ACM
15 years 3 months ago
2003
ACM
We present a novel method to efficiently generate, compress and apply test patterns in a logic BIST architecture. Patterns are generated by a modified automatic test pattern gener...
KDD
2000
ACM
15 years 1 months ago
2000
ACM
Having access to large data sets for the purpose of predictive data mining does not guarantee good models, even when the size of the training data is virtually unlimited. Instead,...