Verification of parallelising transformations of KPN models

Verification of parallelising transformations of KPN models

Parallelising transformations of Kahn process networks (KPNs) are important mechanisms for achieving speedup for deployment on heterogeneous multiprocessor systems particularly in the domain of signal processing applications. Correctness of such parallelising transformations is crucial for their rel...

Full description

Bibliographic Details
Main Authors: Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal
Format: Article
Language:English
Published: Wiley 2019-03-01
Series:IET Cyber-Physical Systems
Subjects:
parallel processing
system-on-chip
multiprocessing systems
signal processing
graph theory
formal verification
Kahn process networks
heterogeneous multiprocessor systems
signal processing applications
verification frameworks
verification problem
sequential behaviour
KPN behaviour
KPN models
array data dependence graphs
ADDG construction method
Online Access:https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5008

Internet

https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5008

Similar Items