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

Cijeli opis

Bibliografski detalji
Glavni autori: Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal
Format: Članak
Jezik:English
Izdano: Wiley 2019-03-01
Serija:IET Cyber-Physical Systems
Teme:
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 pristup: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

Slični predmeti