Sizing and verification of communication buffers for communicating processes.

Tilman Kolks, Bill Lin, Hugo De Man

Browse the full ICCAD paper archive.