Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Cybernetics and Information Technologies
Édition 16 (2016): Edition 2 (June 2016)
Accès libre
Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems
Victor Nikiforov
Victor Nikiforov
et
Sergey Baranov
Sergey Baranov
| 22 juin 2016
Cybernetics and Information Technologies
Édition 16 (2016): Edition 2 (June 2016)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
22 juin 2016
Pages:
85 - 96
DOI:
https://doi.org/10.1515/cait-2016-0022
Mots clés
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.