Zobrazeno 1 - 3
of 3
pro vyhledávání: '"декомпозиция программной системы"'
Autor:
I. S. Zakharov, E. M. Novikov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 6, Pp 25-48 (2018)
Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications. The given feature form a basis of the sug
Externí odkaz:
https://doaj.org/article/8ca3c360c1714259bf799ed4b16b7f40
Autor:
E. M. Novikov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 2, Pp 97-116 (2018)
The most of modern widely used operating systems have monolithic kernels since this architecture aims at reaching maximum performance. Usually monolithic kernels without various extensions like device drivers consist of several million lines of code
Externí odkaz:
https://doaj.org/article/9f4093ac999b497aab2a10e6b612d24a
Autor:
Evgeny Novikov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 2, Pp 97-116 (2018)
The most of modern widely used operating systems have monolithic kernels since this architecture aims at reaching maximum performance. Usually monolithic kernels without various extensions like device drivers consist of several million lines of code
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdf79a6d76764130bb9e4219fad4df92
https://doi.org/10.15514/ispras-2017-29(2)-4
https://doi.org/10.15514/ispras-2017-29(2)-4