Timothy Kam

According to our database, Timothy Kam authored at least 23 papers between 1990 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Energy-guided exploration of on-chip network design for exa-scale computing.

Ümit Y. Ogras, Yunus Emre, Jianping Xu, Timothy Kam, Michael Kishinevsky

Proceedings of the International Workshop on System Level Interconnect Prediction, 2012

A study of the effectiveness of CPU consolidation in a virtualized multi-core server system.

Inkwon Hwang, Timothy Kam, Massoud Pedram

Proceedings of the International Symposium on Low Power Electronics and Design, 2012

2011

Automatic Pipelining From Transactional Datapath Specifications.

Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

Integrating formal verification and high-level processor pipeline synthesis.

Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu

Proceedings of the IEEE 9th Symposium on Application Specific Processors, 2011

OS-level power minimization under tight performance constraints in general purpose systems.

Raid Zuhair Ayoub, Ümit Y. Ogras, Eugene Gorbatov, Yanqin Jin, Timothy Kam, Paul Diefenbaugh, Tajana Rosing

Proceedings of the 2011 International Symposium on Low Power Electronics and Design, 2011

2010

Automatic multithreaded pipeline synthesis from transactional datapath specifications.

Eriko Nurvitadhi, James C. Hoe, Shih-Lien Lu, Timothy Kam

Proceedings of the 47th Design Automation Conference, 2010

2008

A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study.

Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Correct-by-construction microarchitectural pipelining.

Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2006

Reducing Structural Bias in Technology Mapping.

Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2003

A new enhanced constructive decomposition and mapping algorithm.

Alan Mishchenko, Xinning Wang, Timothy Kam

Proceedings of the 40th Design Automation Conference, 2003

2002

Coordinated transformations for high-level synthesis of high performance microprocessor blocks.

Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem

Proceedings of the 39th Design Automation Conference, 2002

1999

Coverage Estimation for Symbolic Model Checking.

Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao

Proceedings of the 36th Conference on Design Automation, 1999

1998

Formal verification of pipeline control using controlled token nets and abstract interpretation.

Pei-Hsin Ho, Adrian J. Isles, Timothy Kam

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

Explicit and implicit algorithms for binate covering problems.

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Theory and algorithms for state minimization of nondeterministic FSMs.

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Implicit computation of compatible sets for state minimization of ISFSMs.

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

1996

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Comparing layouts with HDL models: a formal verification technique.

Timothy Kam, P. A. Subrahmanyam

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Implicit state minimization of non-deterministic FSMs.

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

A Fully Implicit Algorithm for Exact State Minimization.

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 31st Conference on Design Automation, 1994

HSIS: A BDD-Based Environment for Formal Verification.

Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 31st Conference on Design Automation, 1994

1992

State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis.

Timothy Kam, P. A. Subrahmanyam

Proceedings of the conference on European design automation, 1992

1990

Algorithms for Discrete Function Manipulation.

Arvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990