Timothy Yee-Kwong Kam
Timothy Yee-Kwong Kam
Verified email at intel.com
Cited by
Cited by
Multi-valued decision diagrams: Theory and applications
T Kam
Multiple-Valued Logic 4 (1), 9-62, 1998
Introduction: people and their pasts and public history today
H Kean, P Ashton
People and their Pasts, 1-20, 2009
Synthesis of finite state machines: functional optimization
T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2013
Coverage estimation for symbolic model checking
Y Hoskote, T Kam, PH Ho, X Zhao
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 300-305, 1999
Reducing structural bias in technology mapping
S Chatterjee, A Mishchenko, RK Brayton, X Wang, T Kam
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
Synthesis of finite state machines: logic optimization
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2012
HSIS: A BDD-based environment for formal verification
A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ...
Proceedings of the 31st annual Design Automation Conference, 454-459, 1994
Introduction: the development of Arendt’s political thought
D Villa
The Cambridge Companion to Hannah Arendt 2, 1-21, 2000
A fully implicit algorithm for exact state minimization
T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli
31st Design Automation Conference, 684-690, 1994
Verification of all circuits in a floating-point unit using word-level model checking
YA Chen, E Clarke, PH Ho, Y Hoskote, T Kam, M Khaira, J O'Leary, ...
International Conference on Formal Methods in Computer-Aided Design, 19-33, 1996
A new enhanced constructive decomposition and mapping algorithm
A Mishchenko, X Wang, T Kam
Proceedings of the 40th annual Design Automation Conference, 143-148, 2003
English language teaching in East Asia today: Changing policies and practices
Explicit and implicit algorithms for binate covering problems
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincenteili
IEEE Transactions on computer-Aided Design of integrated Circuits and …, 1997
Multi-valued decision diagrams
TY Kam, RK Brayton
Electronics Research Laboratory, College of Engineering, University of …, 1990
Language policies and language education: The impact in East Asian countries in the next decade
WK Ho, R Wong
Marshall Cavendish Intl, 2000
Formal verification of pipeline control using controlled token nets and abstract interpretation
PH Ho, AJ Isles, T Kam
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of …, 1998
OS-level power minimization under tight performance constraints in general purpose systems
R Ayoub, U Ogras, E Gorbatov, Y Jin, T Kam, P Diefenbaugh, T Rosing
IEEE/ACM International Symposium on Low Power Electronics and Design, 321-326, 2011
Comparing layouts with HDL models: A formal verification technique
T Kam, PA Subrahmanyam
IEEE transactions on computer-aided design of integrated circuits and …, 1995
Automatic pipelining from transactional datapath specifications
E Nurvitadhi, JC Hoe, T Kam, SLL Lu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011
A study of the effectiveness of CPU consolidation in a virtualized multi-core server system
I Hwang, T Kam, M Pedram
Proceedings of the 2012 ACM/IEEE international symposium on Low power …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20