1151 search results - page 163 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
137
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
The NETWORK-ON-CHIP (NOC) interconnection paradigm has been gaining momentum thanks to its flexibility, scalability and suitability to deep submicron technology processes. The ne...
141
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of a test response compactor called a Block Compactor is given. Block Compactors belong to a new class of compactors called Finite Memory Compactors. Different from spa...
166
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
128
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Stream processing applications such as image signal processing demand high throughput. However, customers increasingly demand runtime flexibility in their designs, which cannot b...
136
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...