Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer.

D. Shaw, J. Grossman, J. Bank, B. Batson, J. Butts, J. Chao, M. Deneroff, R. Dror, A. Even, C. Fenton, A. Forte, J. Gagliardo, G. Gill, B. Greskamp, R. Ho, D. Ierardi, L. Iserovich, J. Kuskin, R. Larson, T. Layman, L. Lee, A. Lerer, C. Li, D. Killebrew, K. Mackenzie, S. Mok, M. Moraes, R. Mueller, L. Nociolo, J. Peticolas, T. Quan, D. Ramot, J. Salmon, D. Scarpazza, U. Schafer, N. Siddique, C. Snyder, J. Spengler, P. Tang, M. Theobald, H. Toma, B. Towles, B. Vitale, S. Wang, and C. Young. SC, page 41-53. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Theobald

Theobald Kraft

Theobald Polten

Theobald Simon

Fritz Theobald

Other publications of authors with the same name

Self-Timed Carry-Lookahead Adders.F. Cheng, S. Unger, and M. Theobald. IEEE Trans. Computers, 49 (7): 659-672 (2000)Settlement, tax and non-synchronous effects in the basis of U.K. stock index futuresM. Theobald, and P. Yallup. Journal of Banking & Finance, 20 (9): 1509--1530 (November 1996)Intradaily volatility and adjustmentM. Theobald, and P. Yallup. Journal of International Financial Markets, Institutions and Money, 15 (5): 407--424 (December 2005)Symbolic Model Checking of Software.F. Lerda, N. Sinha, and M. Theobald. SoftMC@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 480-498. Elsevier, (2003)Anton, a special-purpose machine for molecular dynamics simulation.D. Shaw, M. Deneroff, R. Dror, J. Kuskin, R. Larson, J. Salmon, C. Young, B. Batson, K. Bowers, J. Chao and 17 other author(s). ISCA, page 1-12. ACM, (2007)Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.J. Grossman, J. Salmon, C. Ho, D. Ierardi, B. Towles, B. Batson, J. Spengler, S. Wang, R. Mueller, M. Theobald and 5 other author(s). ICCD, page 340-347. IEEE Computer Society, (2008)Delay-Insensitive Carry-Lookahead Adders.F. Cheng, S. Unger, M. Theobald, and W. Cho. VLSI Design, page 322-328. IEEE Computer Society, (1997)Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.C. Ho, M. Theobald, M. Deneroff, R. Dror, J. Gagliardo, and D. Shaw. DAC, page 268-271. ACM, (2008)Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures.M. Singh, and M. Theobald. DATE, page 1008-1013. IEEE Computer Society, (2004)Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.E. Clarke, A. Fehnker, Z. Han, B. Krogh, O. Stursberg, and M. Theobald. TACAS, volume 2619 of Lecture Notes in Computer Science, page 192-207. Springer, (2003)

BibSonomy

Disambiguation of "Theobald, Michael"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer.

Please choose a person to relate this publication to

Michael Theobald

Theobald Kraft

Theobald Polten

Theobald Simon

Fritz Theobald

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Theobald, Michael"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer.

Please choose a person to relate this publication to

Michael Theobald

Theobald Kraft

Theobald Polten

Theobald Simon

Fritz Theobald

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer.