loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Application of Concurrency to System Design (ACSD'03)
Quasi-Static Scheduling for Concurrent Architectures
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
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
Usage of this product signifies your acceptance of the Terms of Use.