Timothy Yee-Kwong Kam
Timothy Yee-Kwong Kam
Verified email at intel.com
Title
Cited by
Cited by
Year
Multi-valued decision diagrams: Theory and applications
T Kam
Multiple-Valued Logic 4 (1), 9-62, 1998
2891998
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
1821999
Introduction: people and their pasts and public history today
H Kean, P Ashton
People and their Pasts, 1-20, 2009
177*2009
Synthesis of finite state machines: functional optimization
T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2013
1732013
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
1432006
Synthesis of finite state machines: logic optimization
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2012
1312012
Introduction: the development of Arendt’s political thought
D Villa
The Cambridge Companion to Hannah Arendt 2, 1-21, 2000
1052000
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
991994
English language teaching in East Asia today: Changing policies and practices
WK Ho
942004
A fully implicit algorithm for exact state minimization
T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli
31st Design Automation Conference, 684-690, 1994
831994
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
731996
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
702003
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
601997
Multi-valued decision diagrams
TY Kam, RK Brayton
Electronics Research Laboratory, College of Engineering, University of …, 1990
511990
Language policies and language education: The impact in East Asian countries in the next decade
WK Ho, R Wong
Marshall Cavendish Intl, 2000
472000
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
461998
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
362011
Comparing layouts with HDL models: a formal verification technique
T Kam, PA Subrahmanyam
IEEE transactions on computer-aided design of integrated circuits and …, 1995
331995
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
292011
Correct-by-construction microarchitectural pipelining
T Kam, M Kishinevsky, J Cortadella, M Galceran-Oms
2008 IEEE/ACM International Conference on Computer-Aided Design, 434-441, 2008
282008
The system can't perform the operation now. Try again later.
Articles 1–20