Timothy Yee-Kwong Kam
Timothy Yee-Kwong Kam
Verified email at intel.com
TitleCited byYear
Multi-valued decision diagrams: Theory and applications
T Kam
Multiple-Valued Logic 4 (1), 9-62, 1998
2781998
Coverage estimation for symbolic model checking
Y Hoskote, T Kam, PH Ho, X Zhao
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 300-305, 1999
1761999
Synthesis of finite state machines: functional optimization
T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2013
1582013
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
1312006
Synthesis of finite state machines: logic optimization
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2012
1222012
People and their Pasts
P Ashton, H Kean
Basingstoke: Palgrave Macmillan, 2008
98*2008
HSIS: A BDD-based environment for formal verification
A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ...
31st Design Automation Conference, 454-459, 1994
971994
English language teaching in East Asia today: Changing policies and practices
WK Ho, RYL Wong
Eastern Universities Press, 2002
832002
Introduction: the development of Arendt’s political thought
D Villa
The Cambridge Companion to Hannah Arendt 2, 1-21, 2000
802000
A fully implicit algorithm for exact state minimization
T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli
31st Design Automation Conference, 684-690, 1994
791994
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
711996
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
672003
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
571997
Multi-valued decision diagrams
TY Kam, RK Brayton
Electronics Research Laboratory, College of Engineering, University of …, 1990
491990
Language policies and language education: The impact in East Asian countries in the next decade
WK Ho, R Wong
Marshall Cavendish Intl, 2000
462000
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
451998
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
342011
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
272011
Correct-by-construction microarchitectural pipelining
T Kam, M Kishinevsky, J Cortadella, M Galceran-Oms
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided …, 2008
272008
The system can't perform the operation now. Try again later.
Articles 1–20