BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
5 × USA
Collaborated with:
E.Nurvitadhi J.C.Hoe S.Lu A.Mishchenko X.Wang R.K.Brayton A.L.Sangiovanni-Vincentelli Y.V.Hoskote P.Ho X.Zhao T.Villa S.Gupta N.Savoiu N.D.Dutt R.K.Gupta A.Nicolau M.Kishinevsky S.Rotem A.Aziz F.Balarin S.Cheng R.Hojati S.C.Krishnan R.K.Ranjan T.R.Shiple V.Singhal S.Tasiran H.Wang
Talks about:
algorithm (2) transact (2) synthesi (2) datapath (2) pipelin (2) automat (2) specif (2) high (2) microprocessor (1) multithread (1)

Person: Timothy Kam

DBLP DBLP: Kam:Timothy

Contributed to:

DAC 20102010
DATE 20102010
DAC 20032003
DAC 20022002
DAC 19991999
DAC 19941994

Wrote 7 papers:

DAC-2010-NurvitadhiHLK #automation #parallel #pipes and filters #specification #synthesis #thread #transaction
Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.
DATE-2010-NurvitadhiHKL #automation #pipes and filters #specification #transaction
Automatic pipelining from transactional datapath specifications (EN, JCH, TK, SLL), pp. 1001–1004.
DAC-2003-MishchenkoWK #algorithm #composition
A new enhanced constructive decomposition and mapping algorithm (AM, XW, TK), pp. 143–148.
DAC-2002-GuptaSDGNKKR #coordination #performance #synthesis
Coordinated transformations for high-level synthesis of high performance microprocessor blocks (SG, NS, NDD, RKG, AN, TK, MK, SR), pp. 898–903.
DAC-1999-HoskoteKHZ #estimation #model checking
Coverage Estimation for Symbolic Model Checking (YVH, TK, PHH, XZ), pp. 300–305.
DAC-1994-AzizBCHKKRSSTWBS #named #verification
HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.
DAC-1994-KamVBS #algorithm
A Fully Implicit Algorithm for Exact State Minimization (TK, TV, RKB, ALSV), pp. 684–690.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.