Synthesis of marked graph computation models for prescribed resources and performance.

Tadao Murata

Browse the full COMPSAC paper archive.