Jeremy Casas

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
c5		Alan J. Hu, Jeremy Casas, Jin Yang: Reasoning about GSTE Assertion Graphs. CHARME 2003: 170-184
c4		Alan J. Hu, Jeremy Casas, Jin Yang: Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD 2003: 154-160
	2000
c3		Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff: A switch level fault simulation environment. DAC 2000: 780-785
	1999
c2		Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317
	1995
j1		Jeremy Casas, Dan L. Clark, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole: MPVM: A Migration Transparent Version of PVM. Computing Systems 8(2): 171-216 (1995)
	1994
c1		Jeremy Casas, Ravi B. Konuru, Steve W. Otto, Robert M. Prouty, Jonathan Walpole: Adaptive load migration systems for PVM. SC 1994: 390-399

Coauthor Index

1	Dan L. Clark	[j1]
2	Alan J. Hu	[c5] [c4]
3	Mandar Joshi	[c2]
4	Manpreet Khaira	[c2]
5	Ravi B. Konuru (Ravindranath Konuru)	[j1] [c1]
6	Venkatram Krishnaswamy	[c3]
7	Steve W. Otto	[c2] [j1] [c1]
8	Robert M. Prouty	[j1] [c1]
9	Erik Seligman	[c2]
10	Thomas Tetzlaff	[c3] [c2]
11	Jonathan Walpole	[j1] [c1]
12	Hannah Honghua Yang (Honghua Yang)	[c2]
13	Jin Yang	[c5] [c4]

Last update Tue May 21 20:25:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page