Verification of parallelising transformations of KPN models (English)
Free access
- New search for: Karfa, Chandan
- New search for: Sarkar, Dipankar
- New search for: Mandal, Chittaranjan
- New search for: Karfa, Chandan
- New search for: Sarkar, Dipankar
- New search for: Mandal, Chittaranjan
In:
IET Cyber-Physical Systems: Theory & Applications
;
4
, 3
;
276-289
;
2019
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Verification of parallelising transformations of KPN models
-
Contributors:
-
Published in:IET Cyber-Physical Systems: Theory & Applications ; 4, 3 ; 276-289
-
Publisher:
- New search for: The Institution of Engineering and Technology
-
Publication date:2019-05-20
-
Size:14 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:parallel processing , KPN behaviour , verification frameworks , ADDG construction method , heterogeneous multiprocessor systems , array data dependence graphs , Kahn process networks , graph theory , formal verification , multiprocessing systems , sequential behaviour , signal processing , system-on-chip , verification problem , signal processing applications , KPN models
-
Source:
Metadata by IET is licensed under CC BY 3.0
Table of contents – Volume 4, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 187
-
Guest Editorial: Social and Human Aspects of Cyber-Physical Systems| 2019
- 189
-
RGB-D face recognition using LBP with suitable feature dimension of depth imageAbebe, Hailay Berihu / Hwang, Chih-Lyang et al. | 2019
- 198
-
Architecture design for performing grasp‐and‐lift tasks in brain–machine‐interface‐based human‐in‐the‐loop robotic systemChang, Yuchou et al. | 2019
- 204
-
Power of looking together: an analysis of social facilitation by Agent's mutual gazeToyono, Takuya / Osawa, Hirotaka et al. | 2019
- 209
-
Toward the participatory human‐centred community an exploration of cyber‐physical public design for urban experienceFu, Zhiyong / Chao, Chiju / Wang, Huan / Wang, Yandi et al. | 2019
- 214
-
Integrated evaluation of hardware and software interfaces for automotive human–machine interactionZeng, Qingshu / Jiang, Bing / Duan, Qijun et al. | 2019
- 221
-
Safety and security risk assessment in cyber-physical systemsLyu, Xiaorong / Ding, Yulong / Yang, Shuang-Hua et al. | 2019
- 233
-
Review of static risk-based security assessment in power systemBhuiyan, Md Zakirul Alam / Anders, George J. / Philhower, Jason / Du, Songhuai et al. | 2019
- 240
-
Power system effects and mitigation recommendations for DER cyberattacksJohnson, Jay / Quiroz, Jimmy / Concepcion, Ricky / Wilches-Bernal, Felipe / Reno, Matthew J. et al. | 2019
- 250
-
Simulation‐based verification of bounded‐horizon safety for hybrid systems using dynamic number of simulationsRen, Hao / Kumar, Ratnesh et al. | 2019
- 259
-
QoS guaranteed online management of battery swapping station under dynamic energy pricingWang, Luhao / Pedram, Massoud et al. | 2019
- 265
-
Stabilising control strategy for cyber-physical power systemsEkomwenrenren, Etinosa / Alharbi, Hatem / Elgorashi, Taisir / Elmirghani, Jaafar / Aristidou, Petros et al. | 2019
- 276
-
Verification of parallelising transformations of KPN modelsKarfa, Chandan / Sarkar, Dipankar / Mandal, Chittaranjan et al. | 2019