Search results for "Michael Theobald"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	David 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, J. 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	2008	DBLP DOI BibTeX RDF
1	Richard 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	DBLP DOI BibTeX RDF	conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole
1	J. 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	DBLP DOI BibTeX RDF
1	David 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, J. 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	DBLP DOI BibTeX RDF	biomolecular system simulation, computational drug design, special-purpose machine, bioinformatics, computational biology, molecular dynamics, protein folding, protein structure
1	Sandeep K. Shukla, Michael Theobald	Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF
1	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald	Proof-guided underapproximation-widening for multi-process systems.	POPL	2005	DBLP DOI BibTeX RDF	SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking
1	Montek Singh, Michael Theobald	Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures.	DATE	2004	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald	Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.	Int. J. Found. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Flavio Lerda, Nishant Sinha, Michael Theobald	Symbolic Model Checking of Software.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF
1	Samir Sapra, Michael Theobald, Edmund M. Clarke	SAT-Based Algorithms for Logic Minimization.	ICCD	2003	DBLP DOI BibTeX RDF
1	Michael Theobald, Steven M. Nowick	Transformations for the Synthesis and Optimization of Asynchronous Distributed Control.	DAC	2001	DBLP DOI BibTeX RDF
1	Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald	Self-Timed Carry-Lookahead Adders.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	delay-insenstive circuits, tree iterative circuits, CMOS, Self-timed circuits, carry-lookahead adders
1	Michael Theobald, Steven M. Nowick	Fast heuristic and exact algorithms for two-level hazard-free logic minimization.	IEEE Trans. on CAD of Integrated Circuits and Systems	1998	DBLP DOI BibTeX RDF
1	Michael Theobald, Steven M. Nowick	An Implicit Method for Hazard-Free Two-Level Logic Minimization.	ASYNC	1998	DBLP DOI BibTeX RDF	hazard-free, two-level, dynamic-hazard-free prime implicants, asynchronous, BDD, logic minimization, implicit
1	Bernd Becker, Rolf Drechsler, Michael Theobald	On the Expressive Power of OKFDDs.	Formal Methods in System Design	1997	DBLP DOI BibTeX RDF
1	Steven M. Nowick, Michael Theobald	Synthesis of low-power asynchronous circuits in a specified environment.	ISLPED	1997	DBLP DOI BibTeX RDF
1	Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho	Delay-Insensitive Carry-Lookahead Adders.	VLSI Design	1997	DBLP DOI BibTeX RDF
1	Rolf Drechsler, Michael Theobald, Bernd Becker	Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	two-level AND/EXOR forms, FPRM, OFDD, minimization of FPRMs, Logic synthesis
1	Michael Theobald, Steven M. Nowick, Tao Wu	Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic.	DAC	1996	DBLP DOI BibTeX RDF
1	Bernd Becker, Rolf Drechsler, Michael Theobald	OKFDDs versus OBDDs and OFDDs.	ICALP	1995	DBLP DOI BibTeX RDF
1	Rolf Drechsler, Bernd Becker, Michael Theobald	Fast OFDD based minimization of fixed polarity Reed-Muller expressions.	EURO-DAC	1994	DBLP DOI BibTeX RDF
1	Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski	Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams.	DAC	1994	DBLP DOI BibTeX RDF

Publications of "Michael Theobald" ( http://dblp.L3S.de/Authors/Michael_Theobald )