Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Ata de Congresso
|
![]() |
SATIRE: a new incremental satisfiability engineWhittemore, Jesse ; Kim, Joonyoung ; Sakallah, KaremAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.542-545New York, NY, USA: ACMTexto completo disponível |
12 |
Material Type: Ata de Congresso
|
![]() |
Validating the intel pentium 4 microprocessorBentley, BobAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.244-248New York, NY, USA: ACMTexto completo disponível |
13 |
Material Type: Ata de Congresso
|
![]() |
Dynamic voltage scaling and power management for portable systemsSimunic, Tajana ; Benini, Luca ; Acquaviva, Andrea ; Glynn, Peter ; De Micheli, GiovanniAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.524-529New York, NY, USA: ACMTexto completo disponível |
14 |
Material Type: Ata de Congresso
|
![]() |
Automatic generation of application-specific architectures for heterogeneous multiprocessor system-on-chipLyonnard, Damien ; Yoo, Sungjoo ; Baghdadi, Amer ; Jerraya, Ahmed A.Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.518-523New York, NY, USA: ACMTexto completo disponível |
15 |
Material Type: Ata de Congresso
|
![]() |
Modeling and analysis of differential signaling for minimizing inductive cross-talkMassoud, Yehia ; Kawa, Jamil ; MacMillen, Don ; White, JacobAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.804-809New York, NY, USA: ACMTexto completo disponível |
16 |
Material Type: Ata de Congresso
|
![]() |
Hardware meteringKoushanfar, Farinaz ; Qu, GangAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.490-493New York, NY, USA: ACMTexto completo disponível |
17 |
Material Type: Ata de Congresso
|
![]() |
Combining low-power scan testing and test data compression for system-on-a-chipChandra, Anshuman ; Chakrabarty, KrishnenduAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.166-169New York, NY, USA: ACMTexto completo disponível |
18 |
Material Type: Ata de Congresso
|
![]() |
Circuit-based Boolean ReasoningKuehlmann, Andreas ; Ganai, Malay K. ; Paruthi, VireshAnnual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.232-237New York, NY, USA: ACMTexto completo disponível |
19 |
Material Type: Ata de Congresso
|
![]() |
Improved cut sequences for partitioning based placementCan Yildiz, Mehmet ; Madden, Patrick H.Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.776-779New York, NY, USA: ACMTexto completo disponível |
20 |
Material Type: Ata de Congresso
|
![]() |
Impact of artificial "gummy" fingers on fingerprint systemsMatsumoto, Tsutomu ; Matsumoto, Hiroyuki ; Yamada, Koji ; Hoshino, SatoshiSPIE 2002Texto completo disponível |