Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings

Authors:
Victor Khomenko;Agnes Madalinski;Alex Yakovlev
Affiliations:
University of Newcastle upon Tyne, UK.;University of Newcastle upon Tyne, UK.;University of Newcastle upon Tyne, UK.
Venue:
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Year:
2006

Citing 0
Cited 4

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Desynchronisation Technique Using Petri Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
A false history of true concurrency: from Petri to tools

SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings

Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for application mapping on platforms. Throughput analysis of these SDFGs is ...