Pipelining and concurrency in graphics and image-processing applications

Ajoy K. Datta, Sukumar Ghosh, Muhundan Gopalan, Ahmed Elmagarmid

Research output: Contribution to journalArticle

Abstract

Petri nets are used as formal tools for the modelling and verification of the correctness of algorithms of some graphics and image-processing applications. Coloured Petri nets are used to improve on the abstraction of these models. Concurrent and pipeline components in these applications are identified. The properties of the modelled applications are analysed with respect to deadlock freeness and safeness by the well-defined methods of analysis provided by Petri net theory.

Original languageEnglish
Pages (from-to)107-116
Number of pages10
JournalComputer Systems Science and Engineering
Volume3
Issue number3
Publication statusPublished - 1 Jul 1988
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Theoretical Computer Science

Cite this