Timothy Kam

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