MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Timothy Kam" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Coordinated Transformations for High-Level Synthesis of High Performance Microprocessor Blocks
by Sumit Gupta, Timothy Kam, Michael Kishinevsky, Shai Rotem, Nick Savoiu, Nikil Dutt, Rajesh Gupta, Alex Nicolau — 2002 — In Design Automation Conference
… ABSTRACT Sumit Gupta †∗ Timothy Kam § Michael Kishinevsky § Shai Rotem § Nick Savoiu † Nikil Dutt † Rajesh…
Cited by 7 (3 self) – Add To MetaCart

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking
by Yirng-an Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira, John O'Leary, Xudong Zhao — 1996 — In Proceedings of the Formal Methods on Computer-Aided Design
…-An Chen ? , Edmund Clarke ? , Pei-Hsin Ho ?? , Yatin Hoskote ?? , Timothy Kam ?? , Manpreet…
Cited by 22 (7 self) – Add To MetaCart

Formal Design Verification of Digital Systems
by Thomas Shiple, Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram Krishnan, Vigyan Singhal, Huey-yih Wang, Robert Brayton, Alberto Sangiovanni-Vincentelli — 1993 — In Proceedings of TECHCON
…-Tsung Cheng Ramin Hojati Timothy Kam Sriram Krishnan Vigyan Singhal Huey-Yih Wang Robert Brayton Alberto…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB