Quasi-Static Scheduling for Concurrent Architectures

Authors:
Jordi Cortadella;Alex Kondratyev;Luciano Lavagno;Yosinori Watanabe
Affiliations:
-;-;-;-
Venue:
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Year:
2003

Citing 0
Cited 2

Petri nets and programming: a survey

ACC'09 Proceedings of the 2009 conference on American Control Conference
Quasi-static assignment of voltages and optional cycles in imprecise-computation systems with energy considerations

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution resources. A formal model based on the notion of scheduling of Petri nets is used to perform the synthesis. We show how the notion of projections of a schedule for the complete system onto the components implemented on separate resources is essential to de.ne the correctness of the partitioned schedule.