Open Access

Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems

Victor Nikiforov

Nikiforov, Victor

and

Baranov, Sergey

Jun 22, 2016

Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems's Cover Image

Cybernetics and Information Technologies

Volume 16 (2016): Issue 2 (June 2016)

About this article

Previous Article

Cite

Share

Download Cover

Published Online: Jun 22, 2016

Page range: 85 - 96

DOI: https://doi.org/10.1515/cait-2016-0022

Keywords
Real-time systems, multi-task software applications, multi-core processors, feasibility analysis, shared resources, blocking factor

© by Victor Nikiforov

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Nikiforov, Victor

Baranov, Sergey

Language:: English

Publication timeframe:: 4 times per year
Journal Subjects:: Computer Sciences, Information Technology

Journal RSS Feed