Mario Dufresne

According to our database, Mario Dufresne authored at least 4 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Functional Verification of Large ASICs.

Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu

Proceedings of the 35th Conference on Design Automation, 1998

1995

Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation.

Allan Silburt, Ian Perryman, Janick Bergeron, Stacy Nichols, Mario Dufresne, Greg Ward

Proceedings of the 32st Conference on Design Automation, 1995

1993

Integrating Behavior and Timing in Executable Specifications.

Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1991

A Stimulus/Response System Based on Hierarchical Timing Diagrams.

Karim Khordoc, Mario Dufresne, Eduard Cerny

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991