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

Pipelining
Concurrency
Petri nets
Image Processing
Image processing
Petri Nets
Colored Petri Nets
Deadlock
Well-defined
Concurrent
Correctness
Pipelines
Modeling
Graphics
Model

ASJC Scopus subject areas

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

Cite this

Pipelining and concurrency in graphics and image-processing applications. / Datta, Ajoy K.; Ghosh, Sukumar; Gopalan, Muhundan; Elmagarmid, Ahmed.

In: Computer Systems Science and Engineering, Vol. 3, No. 3, 01.07.1988, p. 107-116.

Research output: Contribution to journalArticle

Datta, Ajoy K. ; Ghosh, Sukumar ; Gopalan, Muhundan ; Elmagarmid, Ahmed. / Pipelining and concurrency in graphics and image-processing applications. In: Computer Systems Science and Engineering. 1988 ; Vol. 3, No. 3. pp. 107-116.
@article{f0fb3a47d762431594c93a5fa1eb0794,
title = "Pipelining and concurrency in graphics and image-processing applications",
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.",
author = "Datta, {Ajoy K.} and Sukumar Ghosh and Muhundan Gopalan and Ahmed Elmagarmid",
year = "1988",
month = "7",
day = "1",
language = "English",
volume = "3",
pages = "107--116",
journal = "Computer Systems Science and Engineering",
issn = "0267-6192",
publisher = "CRL Publishing",
number = "3",

}

TY - JOUR

T1 - Pipelining and concurrency in graphics and image-processing applications

AU - Datta, Ajoy K.

AU - Ghosh, Sukumar

AU - Gopalan, Muhundan

AU - Elmagarmid, Ahmed

PY - 1988/7/1

Y1 - 1988/7/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0024037487&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024037487&partnerID=8YFLogxK

M3 - Article

VL - 3

SP - 107

EP - 116

JO - Computer Systems Science and Engineering

JF - Computer Systems Science and Engineering

SN - 0267-6192

IS - 3

ER -