Mario Dufresne (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu: Functional Verification of Large ASICs. DAC 1998: 650-655

3 Allan Silburt, Ian Perryman, Janick Bergeron, Stacy Nichols, Mario Dufresne, Greg Ward: Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation. DAC 1995: 528-533

2 Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt: Integrating Behavior and Timing in Executable Specifications. CHDL 1993: 399-416

Selection of 3 from 4 records - Mario Dufresne has 14 coauthors

4		Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu: Functional Verification of Large ASICs. DAC 1998: 650-655
3		Allan Silburt, Ian Perryman, Janick Bergeron, Stacy Nichols, Mario Dufresne, Greg Ward: Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation. DAC 1995: 528-533
2		Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt: Integrating Behavior and Timing in Executable Specifications. CHDL 1993: 399-416