Quasi-Static Scheduling for Concurrent Architectures

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jordi Cortadella Articles by Alex Kondratyev Articles by Luciano Lavagno Articles by Yosinori Watanabe

Third International Conference on Application of Concurrency to System Design (ACSD'03)

Guimar?es, Portugal

June 18-June 20

ISBN: 0-7695-1887-7

	ASCII Text	x
	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe, "Quasi-Static Scheduling for Concurrent Architectures," Application of Concurrency to System Design, International Conference on, pp. 29, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.

	BibTex	x
	@article{ 10.1109/CSD.2003.1207697, author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and Yosinori Watanabe}, title = {Quasi-Static Scheduling for Concurrent Architectures}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-1887-7}, pages = {29}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207697}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Quasi-Static Scheduling for Concurrent Architectures SN - 0-7695-1887-7 SP EP A1 - Jordi Cortadella, A1 - Alex Kondratyev, A1 - Luciano Lavagno, A1 - Yosinori Watanabe, PY - 2003 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Jordi Cortadella, Universitat Politècnica de Catalunya

Alex Kondratyev, Cadence Berkeley Labs

Luciano Lavagno, Politecnico di Torino

Yosinori Watanabe, Cadence Berkeley Labs

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207697

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.

Citation:

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe, "Quasi-Static Scheduling for Concurrent Architectures," acsd, pp.29, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.