Prabhat Jain

	2011
8		Kunal Korgaonkar, Prabhat Jain, Deepak Tomar, Kashyap Garimella, Veezhinathan Kamakoti: Reconstructing Hardware Transactional Memory for Workload Optimized Systems. APPT 2011: 1-15
	2003
7		Prabhat Jain, G. Edward Suh, Srinivas Devadas: Embedded intelligent SRAM. DAC 2003: 869-874
	2001
6		Prabhat Jain, Srinivas Devadas, Daniel W. Engels, Larry Rudolph: Software-Assisted Cache Replacement Mechanisms for Embedded Systems. ICCAD 2001: 119-126
	2000
5		Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas: Application-specific memory management for embedded systems using software-controlled caches. DAC 2000: 416-419
	1994
4		Prabhat Jain, Ganesh Gopalakrishnan: Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. IEEE Trans. on CAD of Integrated Circuits and Systems 13(8): 1005-1015 (1994)
	1993
3		Prabhat Jain, Ganesh Gopalakrishnan: Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD 1993: 304-307
	1992
2		Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan: Towards a Verification Technique for Large Synchronous Circuits. CAV 1992: 109-122
1		Prabhat Jain, Ganesh Gopalakrishnan: Some Techniques for Efficient Symbolic Simulation-Based Verification. ICCD 1992: 598-602

Coauthor Index

1	Derek Chiou	[5]
2	Srinivas Devadas	[5] [6] [7]
3	Daniel W. Engels	[6]
4	Kashyap Garimella	[8]
5	Ganesh Gopalakrishnan	[1] [2] [3] [4]
6	Veezhinathan Kamakoti	[8]
7	Kunal Korgaonkar	[8]
8	Prabhakar Kudva	[2]
9	Larry Rudolph	[5] [6]
10	G. Edward Suh	[7]
11	Deepak Tomar	[8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page