( en | de | ru )

 

Disambiguierung von "Burch, Jerry R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conservative approximations for heterogeneous design.

, , und . EMSOFT, Seite 155-164. ACM, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas Burch

Jerry Chou

Jerry Ding

Thomas Burch

Stephanie Burch

 

Weitere Publikationen von Autoren mit dem selben Namen

Linear cofactor relationships in Boolean functions., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (6): 1011-1023 (2006)Using simulation and satisfiability to compute flexibilities in Boolean networks., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 743-755 (2006)Safe BDD Minimization Using Don't Cares., , , und . DAC, Seite 208-213. ACM Press, (1997)Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems., , und . ACSD, Seite 13-. IEEE Computer Society, (2001)Modeling hierarchical combinational circuits., , , und . ICCAD, Seite 612-617. IEEE Computer Society / ACM, (1993)Refinement preserving approximations for the design and verification of heterogeneous systems., , und . Formal Methods Syst. Des., 31 (1): 1-33 (2007)Fair Mutual Exclusion with Unfair P and V Operations., und . Inf. Process. Lett., 21 (2): 97-100 (1985)Techniques for Verifying Superscalar Microprocessors.. DAC, Seite 552-557. ACM Press, (1996)Representing Circuits More Efficiently in Symbolic Model Checking., , und . DAC, Seite 403-407. ACM, (1991)Combining CTL, Trace Theory and Timing Models.. Automatic Verification Methods for Finite State Systems, Volume 407 von Lecture Notes in Computer Science, Seite 334-348. Springer, (1989)