Java as a specification language for hardware-software systems.

Rachid Helaihel, Kunle Olukotun

Browse the full ICCAD paper archive.