Skip to main content

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

.blurhash-client-img { display: none !important; }

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

Cybernetics and Information Technologies

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

By: Victor Nikiforov and Sergey Baranov

Open Access

|Jun 2016

Authors

Victor Nikiforov

nik@iias.spb.su

Sergey Baranov

SNBaranov@gmail.com

Articles in this issue

DOI: https://doi.org/10.1515/cait-2016-0022 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702

Journal RSS Feed

Language: English

Page range: 85 - 96

Published on: Jun 22, 2016

Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies

In partnership with: Paradigm Publishing Services

Publication frequency: 4 issues per year

Keywords:

Real-time systems,

multi-task software applications,

multi-core processors,

feasibility analysis,

shared resources,

blocking factor

Related subjects:

Computer sciences,

Information technology

© 2016 Victor Nikiforov, Sergey Baranov, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

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

Previous article