Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-LogikprogrammierungRenate BeckmannUitverkocht4,3Volgen