Wyniki wyszukiwania - Biblioteka Nauki

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

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: static scheduling

Sortuj według:

Ogranicz wyniki do:

Porównanie algorytmów konstrukcyjnych statycznego harmonogramowania dla wybranych architektur wieloprocesorowych

100%

Banul A. , Wala K.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

2009

tom T. 13, z. 2

181-188

Przedstawiono model formalny statycznego problemu harmonogramowania zależnych zadań obliczeniowych w systemach wieloprocesorowych. Opisano sześć algorytmów konstrukcyjnych harmonogramowania, a następnie, biorąc pod uwagę szereg ważnych kryteriów oceny jakości harmonogramów, zaprezentowano wyniki badań komputerowych ich efektywności dla wybranych homogenicznych architektur wieloprocesorowych.

A formal model of static scheduling problem of dependent computational tasks in homogeneous multiprocessor system is presented. The dependent computational tasks are modeled by acyclic weighted task precedence degraph G = (V,E), where K is a task set, E describes the precede relation in set V and functions p: V —> R+, a: E —> R+ define the mean task execution and message transmission time, respectively. We give a description of six constructive scheduling algorithms for schedule calculation before application software execution by means of the algorithms of APN (Arbitrary Processors Network) class. Taking into account a number of important efficiency criterions, we picture the results of computational investigations of performance comparison of the scheduling algorithms for selected multiprocessor architectures. The computational results are discussed at the end of the paper.

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.

Harmonogramowanie statyczne zależnych zadań obliczeniowych w homogenicznym systemie wieloprocesorowym

63%

Banul A. , Wala K.

Zeszyty Naukowe. Automatyka / Politechnika Śląska

2008

tom z. 150

13-18

Przedstawiono model formalny statycznego problemu harmonogramowania zależnych zadań obliczeniowych w homogenicznym systemie wieloprocesorowym. Opisano sześć algorytmów konstrukcyjnych harmonogramowania, a następnie, biorąc pod uwagę szereg ważnych kryteriów oceny jakości, zaprezentowano wyniki badań komputerowych ich efektywności.

A formal model of static scheduling problem of dependent computational tasks in homogeneous multiprocessor system is presented. We give a description of six constructive scheduling algorithms and than, taking into account a number of important efficiency criteria, we picture the results of computational investigations of their performance.