Joseph Buck

According to our database, Joseph Buck authored at least 4 papers between 1996 and 2007.

Collaborative distances:

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

2007

Formal model construction using HDL simulation semantics.

Joseph Buck, Dong Wang, Yunshan Zhu

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2000

Heterogeneous modeling and simulation of embedded systems in El Greco.

Joseph Buck, Radha Vaidyanathan

Proceedings of the Eighth International Workshop on Hardware/Software Codesign, 2000

1997

Modeling and synthesis of behavior, control and dataflow (tutorial).

Raul Camposano, Andrew Seawright, Joseph Buck

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

1996

A system for compiling and debugging structured data processing controllers.

Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe

Proceedings of the conference on European design automation, 1996