Timothy Kam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
7
Active years
1990–2012
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ISLPED | A study of the effectiveness of CPU consolidation in a virtualized multi-core server system. | Inkwon Hwang, Timothy Kam, Massoud Pedram |
| 2011 | ISLPED | 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 |
| 2010 | DAC | Automatic multithreaded pipeline synthesis from transactional datapath specifications. | Eriko Nurvitadhi, James C. Hoe, Shih-Lien Lu, Timothy Kam |
| 2010 | DATE | Automatic pipelining from transactional datapath specifications. | Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu |
| 2008 | ICCAD | Correct-by-construction microarchitectural pipelining. | Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms |
| 2008 | MEMOCODE | A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. | Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
| 2005 | ICCAD | Reducing structural bias in technology mapping. | Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam |
| 2003 | DAC | A new enhanced constructive decomposition and mapping algorithm. | Alan Mishchenko, Xinning Wang, Timothy Kam |
| 2002 | DAC | 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 |
| 1999 | DAC | Coverage Estimation for Symbolic Model Checking. | Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao |
| 1998 | ICCAD | Formal verification of pipeline control using controlled token nets and abstract interpretation. | Pei-Hsin Ho, Adrian J. Isles, Timothy Kam |
| 1996 | FMCAD | 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 |
| 1995 | ICCD | Implicit state minimization of non-deterministic FSMs. | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | 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 |
| 1994 | DAC | A Fully Implicit Algorithm for Exact State Minimization. | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCD | Comparing Layouts with HDL Models: A Formal Verification Technique. | Timothy Kam, P. A. Subrahmanyam |
| 1990 | ICCAD | Algorithms for Discrete Function Manipulation. | Arvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton |