( en | de | ru )

 

Disambiguation of "Chase, Craig M."

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Binary Decision Diagrams for Verification of Large Circuit.

, , and . ICCD, page 365-370. IEEE Computer Society, (1996)

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.

Dagmar Chase

George C Craig

Katharina Chase

Peter Chaselon

Paul Wilder Chase

 

Other publications of authors with the same name

Paragon: A Parallel Programming Environment for Scientific Applications Using Communications Structures., , , and . ICPP (2), page 211-218. CRC Press, (1991)Prefetching and Caching for Query Scheduling in a Special Class of Distributed Applications., and . ICPP, Vol. 3, page 95-102. IEEE Computer Society, (1996)0-8186-7623-X.Cooperative Caching in Append-only Databases with Hot Spots., , and . ICDE, page 70-78. IEEE Computer Society, (1999)Efficient Detection of Restricted Classes of Global Predicates., and . WDAG, volume 972 of Lecture Notes in Computer Science, page 303-317. Springer, (1995)Detection of Global Predicates: Techniques and Their Limitations., and . Distributed Comput., 11 (4): 191-201 (1998)Detecting conjunctive channel predicates in a distributed programming environment., , , and . HICSS (2), page 232-241. IEEE Computer Society, (1995)Re-execution of Distributed Programs to Detect Bugs Hidden by Racing., and . HICSS (1), page 423-442. IEEE Computer Society, (1997)Parallel Montgomery Multipliers., , and . ASAP, page 63-72. IEEE Computer Society, (2004)Distributed Binary Decision Diagrams for Verification of Large Circuit., , and . ICCD, page 365-370. IEEE Computer Society, (1996)Compiler and runtime support for irregularly coupled regular meshes., , , and . ICS, page 438-446. ACM, (1992)