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: Kam:Timothy
Contributed to:
2010
20102003200219991994Wrote 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.