Detail publikace
Formal Specifications of an Extended Phase-Parallel Model of Stream Processing
DVOŘÁK Václav. Formal Specifications of an Extended Phase-Parallel Model of Stream Processing. In: Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004, s. 37-44. ISBN 1-85769-1970.
Název česky
Formální specifikace rozšířeného fázově-paralelního modelu proudového zpracování
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT)
Abstrakt
Rozdělení výpočetně náročných problémů mezi desítky procesorů se stává praktický problém v systémech na čipu vestavěných ve spotřební elektronice. S čipy schopnými (částečné) rekonfigurace není tento úkol vůbec triviální. Článek se tímto problémem zabývá a navrhuje formální specifikace (FS) paralelního rekonfigurovatelného počítání na vysoké úrovni. Jelikož jde o proveditelné specifikace, mohly by se použít hlavně pro rychlé ladění výkonnosti bez toho, že by byl k dispozici vlastní hardwarový prototyp. Návrh FS rozšiřuje méně známý fázově paralelní model (PPM) paralelních výpočtů.
Rok
2004
Strany
37-44
Sborník
Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems, Brno, CZ
ISBN
1-85769-1970
Vydavatel
University of Stirling
Místo
Stirling, GB
BibTeX
@INPROCEEDINGS{FITPUB7469, author = "V\'{a}clav Dvo\v{r}\'{a}k", title = "Formal Specifications of an Extended Phase-Parallel Model of Stream Processing", pages = "37--44", booktitle = "Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems", year = 2004, location = "Stirling, GB", publisher = "University of Stirling", ISBN = "1-85769-1970", language = "english", url = "https://www.fit.vut.cz/research/publication/7469" }