Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs