( en | de | ru )

 

Disambiguation of "Shaw, David E."

Author of the publication

copydeleteadd this publication to your clipboard
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.

, , , , , and . DAC, page 268-271. ACM, (2008)

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.

David E Hopkins

Gertraud Shaw

Channing Shaw

Felix Shaw

Rose Shaw

 

Other publications of authors with the same name

How Does a Drug Molecule Find Its Target Binding Site?, , , , , and . Journal of the American Chemical Society, 133 (24): 9181-9183 (2011)PMID: 21545110.Anton, a Special-purpose Machine for Molecular Dynamics Simulation, , , , , , , , , and 17 other author(s). Commun. ACM, 51 (7): 91--97 (July 2008)A fast, scalable method for the parallel evaluation of distance-limited pairwise particle interactions.. J. Comput. Chem., 26 (13): 1318-1328 (2005)The future of molecular dynamics simulations in drug discovery, and . Journal of computer-aided molecular design, 26 (1): 15--26 (2012)The ΛNTON 3 ASIC: a Fire-Breathing Monster for Molecular Dynamics Simulations., , , , , , , , , and 31 other author(s). HCS, page 1-22. IEEE, (2021)Anton 3: twenty microseconds of molecular dynamics simulation before lunch., , , , , , , , , and 57 other author(s). SC, page 1. ACM, (2021)Quantitative Characterization of the Binding and Unbinding of Millimolar Drug Fragments with Molecular Dynamics Simulations, , , and . Journal of Chemical Theory and Computation, 13 (7): 3372-3377 (2017)PMID: 28582625.Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer., , , , , , , , , and 35 other author(s). SC, page 41-53. IEEE Computer Society, (2014)Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations.. HPDC, page 129-130. ACM, (2013)Millisecond-Scale Molecular Dynamics Simulations on Anton, , , , , , , , , and 12 other author(s). Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, page 39. (November 2009)