Detail publikace

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

DVOŘÁK, V.

Originální název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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

Autoři

DVOŘÁK, V.

Rok RIV

2004

Vydáno

21. 5. 2004

Nakladatel

University of Stirling

Místo

Stirling

ISBN

1-85769-1970

Kniha

Proc. of Joint Workshop on Formal Specifications of Computer-Based Systems

Strany od

37

Strany do

44

Strany počet

8

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"
}