Conference paper

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, pp. 37-44. ISBN 1-85769-1970.
Publication language:english
Original title:Formal Specifications of an Extended Phase-Parallel Model of Stream Processing
Title (cs):Formální specifikace rozšířeného fázově-paralelního modelu proudového zpracování
Pages:37-44
Proceedings:Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems
Conference:Eleventh IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems
Place:Stirling, GB
Year:2004
ISBN:1-85769-1970
Publisher:University of Stirling
Keywords
Group communications, Reconfigurable parallel processing, Phase Parallel Model, Performance prediction
Annotation
Partitioning of computationally expensive problems among tens of processors is becoming a real-life problem in systems on a chip embedded in consumer electronics. With chips capable of (partial) reconfiguration, this task is by no means trivial. The paper addresses this problem by suggesting high-level formal specifications (FS) of parallel reconfigurable computation. Being executable, they could be used mainly for fast performance tuning without an underlying hardware prototype. The FS proposal extends the less known Phase-Parallel Model of parallel computing.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7469}
}

Your IPv4 address: 54.147.40.153
Switch to IPv6 connection

DNSSEC [dnssec]