2357 search results - page 262 / 472 » Computing Refactorings of Behavior Models |
147
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
106
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
- This paper presents an effective technique for compacting a large sequence of input vectors into a much smaller one such that when the two sequences are applied to any circuit, t...
123
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
123
Voted
PDP
1996
IEEE
15 years 7 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
139
click to vote
AINA
2008
IEEE
15 years 5 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...