139 search results - page 25 / 28 » ics 2009 |
151
Voted
ICETET
2009
IEEE
15 years 1 months ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...
113
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
119
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
113
Voted
ATS
2009
IEEE
15 years 10 months ago
2009
IEEE
Diagnosis is increasingly important, not only for individual analysis of failing ICs, but also for high-volume test response analysis which enables yield and test improvement. Sca...
122
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...