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

Joseph Gagliardo

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

2008
4EERichard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw: Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. DAC 2008: 268-271
3EEJohn P. Grossman, John K. Salmon, Richard C. Ho, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Rolf Mueller, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw: Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. ICCD 2008: 340-347
2EEDavid E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, John P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. Commun. ACM 51(7): 91-97 (2008)
2007
1EEDavid E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, John P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. ISCA 2007: 1-12

Coauthor Index

1Brannon Batson [1] [2] [3]
2Kevin J. Bowers [1] [2]
3Jack C. Chao [1] [2]
4Martin M. Deneroff [1] [2] [3] [4]
5Ron O. Dror [1] [2] [3] [4]
6Michael P. Eastwood [1] [2]
7John P. Grossman [1] [2] [3]
8Richard C. Ho [1] [2] [3] [4]
9Doug Ierardi [1] [2] [3]
10John L. Klepeis [1] [2]
11István Kolossváry [1] [2]
12Jeffrey Kuskin [1] [2]
13Richard H. Larson [1] [2]
14Timothy Layman [1] [2]
15Christine McLeavey [1] [2]
16Mark A. Moraes [1] [2]
17Rolf Mueller [1] [2] [3]
18Edward C. Priest [1] [2]
19John K. Salmon [1] [2] [3]
20Yibing Shan [1] [2]
21David E. Shaw [1] [2] [3] [4]
22Jochen Spengler [1] [2] [3]
23Michael Theobald [1] [2] [3] [4]
24Brian Towles [1] [2] [3]
25Stanley C. Wang [1] [2] [3]
26Cliff Young [1] [2] [3]

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