Conflict driven learning in a quantified Boolean Satisfiability solver
Zhang, Lintao, Malik, Sharad
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Synthesis of custom processors based on extensible platforms
Sun, Fei, Ravi, Srivaths, Raghunathan, Anand, Jha, Niraj K.
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Frame-based dynamic voltage and frequency scaling for a MPEG decoder
Choi, Kihwan, Dantu, Karthik, Cheng, Wei-Chung, Pedram, Massoud
Published in Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (10.11.2002)
Published in Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (10.11.2002)
Get full text
Conference Proceeding
Wire Density Driven Global Routing for CMP Variation and Timing
Minsik Cho, Pan, D.Z., Hua Xiang, Puri, R.
Published in 2006 IEEE/ACM International Conference on Computer Aided Design (01.11.2006)
Published in 2006 IEEE/ACM International Conference on Computer Aided Design (01.11.2006)
Get full text
Conference Proceeding
Methods for true power minimization
Brodersen, Robert W., Horowitz, Mark A., Markovic, Dejan, Nikolic, Borivoje, Stojanovic, Vladimir
Published in Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (10.11.2002)
Published in Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (10.11.2002)
Get full text
Conference Proceeding
Reversible logic circuit synthesis
Shende, Vivek V., Prasad, Aditya K., Markov, Igor L., Hayes, John P.
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
A hybrid ASIC and FPGA architecture
Zuchowski, Paul S., Reynolds, Christopher B., Grupp, Richard J., Davis, Shelly G., Cremen, Brendan, Troxel, Bill
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Power efficiency of voltage scaling in multiple clock, multiple voltage cores
Iyer, Anoop, Marculescu, Diana
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Gate sizing using Lagrangian relaxation combined with a fast gradient-based pre-processing step
Tennakoon, Hiran, Sechen, Carl
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
A realistic variable voltage scheduling model for real-time applications
Mochocki, Bren, Hu, Xiaobo Sharon, Quan, Gang
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
A novel framework for multilevel routing considering routability and performance
Lin, Shih-Ping, Chang, Yao-Wen
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Hardware/software partitioning of software binaries
Stitt, Greg, Vahid, Frank
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Fast methods for simulation of biomolecule electrostatics
Kuo, Shihhsien S., Altman, Michael D., Bardhan, Jaydeep P., Tidor, Bruce, White, Jacob K.
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
A novel scan architecture for power-efficient, rapid test
Sinanoglu, Ozgur, Orailoglu, Alex
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Non-tree routing for reliability and yield improvement
Kahng, Andrew B., Liu, Bao, Mǎandoiu, Ion I.
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Module assignment for pin-limited designs under the stacked-Vdd paradigm
Yong Zhan, Tianpei Zhang, Sapatnekar, S.S.
Published in 2007 IEEE/ACM International Conference on Computer-Aided Design (01.11.2007)
Published in 2007 IEEE/ACM International Conference on Computer-Aided Design (01.11.2007)
Get full text
Conference Proceeding
Simplification of non-deterministic multi-valued networks
Mishchenko, Alan, Brayton, Robert
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect
Daniel, Luca, Sangiovanni-Vincentelli, Alberto, White, Jacob
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
Incremental placement for layout driven optimizations on FPGAs
Singh, Deshanand P., Brown, Stephen D.
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding
On-chip interconnect modeling by wire duplication
Zhong, Guoan, Koh, Cheng-Kok, Roy, Kaushik
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Published in International Conference on Computer Aided Design: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design : San Jose, California; 10-14 Nov. 2002 (10.11.2002)
Get full text
Conference Proceeding