Pipelining and concurrency in graphics and image-processing applications

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

Pipelining and concurrency in graphics and image-processing applications

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

^*Corresponding author for this work

University of Iowa

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	107-116
Number of pages	10
Journal	Computer Systems Science and Engineering
Volume	3
Issue number	3
Publication status	Published - Jul 1988
Externally published	Yes

Cite this

@article{b8bff311e4f04be3940b28ca4b37d383,

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 Elmagarmid, {Ahmed K.}",

year = "1988",

month = jul,

language = "English",

volume = "3",

pages = "107--116",

journal = "Computer Systems Science and Engineering",

issn = "0267-6192",

publisher = "Tech Science Press",

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

PY - 1988/7

Y1 - 1988/7

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

M3 - Article

AN - SCOPUS:0024037487

SN - 0267-6192

VL - 3

SP - 107

EP - 116

JO - Computer Systems Science and Engineering

JF - Computer Systems Science and Engineering

IS - 3

ER -

Pipelining and concurrency in graphics and image-processing applications

Abstract

Other files and links

Fingerprint

Cite this