Timothy Kam

Publication Activity (10 Years)

Years Active: 1990-2012
Publications (10 Years): 0

Top Topics

Energy Consumption

Exploratory Learning

Heuristic Solution

Top Venues

Publications

Inkwon Hwang, Timothy Kam, Massoud Pedram
A study of the effectiveness of CPU consolidation in a virtualized multi-core server system. ISLPED (2012)
Ümit Y. Ogras, Yunus Emre, Jianping Xu, Timothy Kam, Michael Kishinevsky
Energy-guided exploration of on-chip network design for exa-scale computing. SLIP (2012)
Raid Zuhair Ayoub, Ümit Y. Ogras, Eugene Gorbatov, Yanqin Jin, Timothy Kam, Paul Diefenbaugh, Tajana Rosing
OS-level power minimization under tight performance constraints in general purpose systems. ISLPED (2011)
Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu
Automatic Pipelining From Transactional Datapath Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (3) (2011)
Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu
Integrating formal verification and high-level processor pipeline synthesis. SASP (2011)
Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu
Automatic pipelining from transactional datapath specifications. DATE (2010)
Eriko Nurvitadhi, James C. Hoe, Shih-Lien Lu, Timothy Kam
Automatic multithreaded pipeline synthesis from transactional datapath specifications. DAC (2010)
Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE (2008)
Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms
Correct-by-construction microarchitectural pipelining. ICCAD (2008)
Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam
Reducing Structural Bias in Technology Mapping. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (12) (2006)
Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam
Reducing structural bias in technology mapping. ICCAD (2005)
Alan Mishchenko, Xinning Wang, Timothy Kam
A new enhanced constructive decomposition and mapping algorithm. DAC (2003)
Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem
Coordinated transformations for high-level synthesis of high performance microprocessor blocks. DAC (2002)
Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
Coverage Estimation for Symbolic Model Checking. DAC (1999)
Pei-Hsin Ho, Adrian J. Isles, Timothy Kam
Formal verification of pipeline control using controlled token nets and abstract interpretation. ICCAD (1998)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (7) (1997)
Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Explicit and implicit algorithms for binate covering problems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (7) (1997)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (11) (1997)
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD (1996)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Implicit state minimization of non-deterministic FSMs. ICCD (1995)
Timothy Kam, P. A. Subrahmanyam
Comparing layouts with HDL models: a formal verification technique. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14 (4) (1995)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
A Fully Implicit Algorithm for Exact State Minimization. DAC (1994)
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
HSIS: A BDD-Based Environment for Formal Verification. DAC (1994)
Timothy Kam, P. A. Subrahmanyam
State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis. EURO-DAC (1992)
Timothy Kam, P. A. Subrahmanyam
Comparing Layouts with HDL Models: A Formal Verification Technique. ICCD (1992)
Arvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton
Algorithms for Discrete Function Manipulation. ICCAD (1990)