dblp.uni-trier.dewww.uni-trier.de

Sudipta Kundu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EESudipta Kundu, Sorin Lerner, Rajesh Gupta: Validating High-Level Synthesis. CAV 2008: 459-472
3EESudipta Kundu, Malay K. Ganai, Rajesh Gupta: Partial order reduction for scalable testing of systemC TLM designs. DAC 2008: 936-941
2007
2EESudipta Kundu, Sorin Lerner, Rajesh Gupta: Automated refinement checking of concurrent systems. ICCAD 2007: 318-325
2004
1EEGurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu: OaSis: An Application Specific Operating System for an Embedded Environment. VLSI Design 2004: 776-779

Coauthor Index

1Anupam Basu [1]
2Susmit Biswas [1]
3Gurashish Singh Brar [1]
4Malay K. Ganai [3]
5Rajesh K. Gupta (Rajesh Gupta) [2] [3] [4]
6Sorin Lerner [2] [4]
7Arijit Mukhopadhyay [1]
8Pratik Worah [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)