Zobrazeno 1 - 3
of 3
pro vyhledávání: '"спецификация правила корректного использования программного интерфейса"'
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://doaj.org/article/c6ce8def99fd4d52824de9d3f77563c9
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d959e66dd8c3e223fdcadc18cff7434e
https://doi.org/10.15514/ispras-2014-26(2)-1
https://doi.org/10.15514/ispras-2014-26(2)-1
Publikováno v:
Труды Института системного программирования РАН.
Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и производительности программную систему. Качество
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::d9c78a7ac3356a35edcd6232f8a19539
http://cyberleninka.ru/article/n/konfiguriruemaya-sistema-staticheskoy-verifikatsii-moduley-yadra-operatsionnyh-sistem
http://cyberleninka.ru/article/n/konfiguriruemaya-sistema-staticheskoy-verifikatsii-moduley-yadra-operatsionnyh-sistem