Detail výsledku

Formal Specifications of an Extended Phase-Parallel Model of Stream Processing

DVOŘÁK, V. Formal Specifications of an Extended Phase-Parallel Model of Stream Processing. Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. p. 37-44. ISBN: 1-85769-1970.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc., UPSY (FIT)
Abstrakt

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.

Klíčová slova

Group communications, Reconfigurable parallel processing, Phase Parallel Model, Performance prediction

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
ISBN
1-85769-1970
Vydavatel
University of Stirling
Místo
Stirling
BibTeX 
@inproceedings{BUT17120,
  author="Václav {Dvořák}",
  title="Formal Specifications of an Extended Phase-Parallel Model of Stream Processing",
  booktitle="Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2004",
  pages="37--44",
  publisher="University of Stirling",
  address="Stirling",
  isbn="1-85769-1970"
}
Projekty
Predikce a ladění paralelní výkonnosti, GAČR, Standardní projekty, GA102/02/0503, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Pracoviště
Fakulta informačních technologií (FIT)
Ústav počítačových systémů (UPSY)
Nahoru