'Completed send actions cs' diaporamas de présentation

Compiling Communicating Processes into Delay-Insensitive VLSI Circuits

Compiling Communicating Processes into Delay-Insensitive VLSI Circuits. Alain J. Martin Department of Computer Science California Institute of Technology. Communicating Hardware Processes. Inspired by: Hoare's communicating sequential processes (CSP). Dijkstra's guarded commands.

392 views • 30 slides