Michael Theobald - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2021

Anton 3: twenty microseconds of molecular dynamics simulation before lunchDavid E. Shaw, Peter J. Adams, Asaph Azaria, Joseph A. Bank, Brannon Batson, Alistair Bell, Michael Bergdorf, Jhanvi Bhatt, J. Adam Butts, Timothy Correia, Robert M. Dirks, Ron O. Dror, Michael P. Eastwood, Bruce Edwards, Amos Even, Peter Feldmann, Michael Fenn, Christopher H. Fenton, Anthony Forte, Joseph Gagliardo, Gennette Gill, Maria Gorlatova, Brian Greskamp, J. P. Grossman, Justin Gullingsrud, Anissa Harper, William Hasenplaugh, Mark Heily, Benjamin Colin Heshmat, Jeremy Hunt, Douglas J. Ierardi, Lev Iserovich, Bryan L. Jackson, Nick P. Johnson, Mollie M. Kirk, John L. Klepeis, Jeffrey S. Kuskin, Kenneth M. Mackenzie, Roy J. Mader, Richard McGowen, Adam McLaughlin, Mark A. Moraes, Mohamed H. Nasr, Lawrence J. Nociolo, Lief O'Donnell, Andrew Parker, Jon L. Peticolas, Goran Pocina, Cristian Predescu, Terry Quan, John K. Salmon, Carl Schwink, Keun Sup Shim, Naseer Siddique, Jochen Spengler, Tamas Szalay, Raymond Tabladillo, Reinhard Tartler, Andrew G. Taube, Michael Theobald, Brian Towles, William Vick, Stanley C. Wang, Michael Wazlowski, Madeleine J. Weingarten, John M. Williams, Kevin A. Yuh. sc 2021: 1 [doi]

2014

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics SupercomputerDavid E. Shaw, J. P. Grossman, Joseph A. Bank, Brannon Batson, J. Adam Butts, Jack C. Chao, Martin M. Deneroff, Ron O. Dror, Amos Even, Christopher H. Fenton, Anthony Forte, Joseph Gagliardo, Gennette Gill, Brian Greskamp, Richard C. Ho, Douglas J. Ierardi, Lev Iserovich, Jeffrey Kuskin, Richard H. Larson, Timothy Layman, Li-Siang Lee, Adam K. Lerer, Chester Li, Daniel Killebrew, Kenneth M. Mackenzie, Shark Yeuk-Hai Mok, Mark A. Moraes, Rolf Mueller, Lawrence J. Nociolo, Jon L. Peticolas, Terry Quan, Daniel Ramot, John K. Salmon, Daniele Paolo Scarpazza, U. Ben Schafer, Naseer Siddique, Christopher W. Snyder, Jochen Spengler, Ping Tak Peter Tang, Michael Theobald, Horia Toma, Brian Towles, Benjamin Vitale, Stanley C. Wang, Cliff Young. sc 2014: 41-53 [doi]

2013

Hardware support for fine-grained event-driven computation in Anton 2J. P. Grossman, Jeffrey Kuskin, Joseph A. Bank, Michael Theobald, Ron O. Dror, Douglas J. Ierardi, Richard H. Larson, U. Ben Schafer, Brian Towles, Cliff Young, David E. Shaw. asplos 2013: 549-560 [doi]

2008

Hierarchical simulation-based verification of Anton, a special-purpose parallel machineJohn 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. iccd 2008: 340-347 [doi]

Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logicRichard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw. dac 2008: 268-271 [doi]

2007

2006

Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systemsSandeep K. Shukla, Michael Theobald. fmsd, 28(2):91-92, 2006. [doi]

2005

Proof-guided underapproximation-widening for multi-process systemsOrna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald. POPL 2005: 122-131 [doi]

2004

Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock ArchitecturesMontek Singh, Michael Theobald. date 2004: 1008-1013 [doi]

2003

2001

Transformations for the Synthesis and Optimization of Asynchronous Distributed ControlMichael Theobald, Steven M. Nowick. dac 2001: 263-268 [doi]

2000

Self-Timed Carry-Lookahead AddersFu-Chiung Cheng, Stephen H. Unger, Michael Theobald. TC, 49(7):659-672, 2000. [doi]

1998

An Implicit Method for Hazard-Free Two-Level Logic MinimizationMichael Theobald, Steven M. Nowick. async 1998: 58-69 [doi]

Fast heuristic and exact algorithms for two-level hazard-free logic minimizationMichael Theobald, Steven M. Nowick. tcad, 17(11):1130-1147, 1998. [doi]

1997

On the Expressive Power of OKFDDsBernd Becker, Rolf Drechsler, Michael Theobald. fmsd, 11(1):5-21, 1997.

Delay-Insensitive Carry-Lookahead AddersFu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho. vlsid 1997: 322-328 [doi]

Synthesis of low-power asynchronous circuits in a specified environmentSteven M. Nowick, Michael Theobald. islped 1997: 92-95 [doi]

1996

Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller ExpressionsRolf Drechsler, Michael Theobald, Bernd Becker. TC, 45(11):1294-1299, 1996.

Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level LogicMichael Theobald, Steven M. Nowick, Tao Wu. dac 1996: 71-76 [doi]

1995

OKFDDs versus OBDDs and OFDDsBernd Becker, Rolf Drechsler, Michael Theobald. icalp 1995: 475-486

1994

Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision DiagramsRolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski. dac 1994: 415-419 [doi]

Fast OFDD based minimization of fixed polarity Reed-Muller expressionsRolf Drechsler, Bernd Becker, Michael Theobald. eurodac 1994: 2-7 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Michael Theobald'

Viewing Publication 1 - 27 from 27

2021

2014

2013

2008

2007

2006

2005

2004

2003

2001

2000

1998

1997

1996

1995

1994

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Michael Theobald'

Viewing Publication 1 - 27 from 27

2021

2014

2013

2008

2007

2006

2005

2004

2003

2001

2000

1998

1997

1996

1995

1994

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1