Modeling and verification methods for application design in heterogeneous architectures

DOI10.1007/S10559-020-00285-YzbMath1496.68038OpenAlexW3044480180MaRDI QIDQ2215621

M. Slynko, S. D. Pogorilyy

Publication date: 14 December 2020

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-020-00285-y

zbMATH Keywords

Petri netstransition systemssystems of algorithmic algebrasGPGPU systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical problems of computer architecture (68M07)

Uses Software

• CUDA

Cites Work

• Unnamed Item
• Unnamed Item
• Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6--9, 2016. Proceedings
• A conception for creating a system of parametric design of parallel algorithms and their software implementations

This page was built for publication: Modeling and verification methods for application design in heterogeneous architectures