Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Fundamenta Informaticae

1 2004

1 Cortadella J.
1 Kondratyev A.
1 Lavagno L.
1 Taubin A.
1 Watanabe Y.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Quasi-static Scheduling for Concurrent Architectures

100%

Cortadella J. , Kondratyev A. , Lavagno L. , Taubin A. , Watanabe Y.

Fundamenta Informaticae

2004

tom Vol. 62, nr 2

171--196

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.