Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 5 of 6 found articles
 
 
  Quasi-static Scheduling for Concurrent Architectures
 
 
Title: Quasi-static Scheduling for Concurrent Architectures
Author: Jordi Cortadella
Alex Kondratyev
Luciano Lavagno
Alexander Taubin
Yosinori Watanabe
Appeared in: Fundamenta informaticae
Paging: Volume 62 (2004) nr. 2 pages 171-196
Year: 2004-11-30
Contents: 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 define the correctness of the partitioned schedule.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 5 of 6 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands