Бесплатная операционная система Linux

Συνεισφορές: Болгарина, Е. В.

Θεματικοί όροι: ОПЕРАЦИОННАЯ СИСТЕМА LINUX, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elar.uspu.ru/handle/ru-uspu/43200

Бесплатная операционная система Linux

Συγγραφείς: Андреевских, В. Э.

Συνεισφορές: Болгарина, Е. В.

Θεματικοί όροι: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX

Περιγραφή αρχείου: application/pdf

Relation: Проблемы применения современных информационных технологий : материалы V региональной научно-практической конференции студентов и аспирантов. — Екатеринбург, 2012

Διαθεσιμότητα: https://elar.uspu.ru/handle/ru-uspu/43200

Операционные системы : учебное пособие

Συνεισφορές: Доросинский, Л. Г.

Θεματικοί όροι: ОПЕРАЦИОННАЯ СИСТЕМА LINUX, ВРЕДОНОСНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ИСТОРИЯ ПОЯВЛЕНИЯ ОПЕРАЦИОННЫХ СИСТЕМ, ПРОГРАММНАЯ ИНЖЕНЕРИЯ, СЕТЕВЫЕ ОПЕРАЦИОННЫЕ СИСТЕМЫ, ПОДСИСТЕМА УПРАВЛЕНИЯ ПРОЦЕССАМИ, ОПЕРАЦИОННАЯ СИСТЕМА, УЧЕБНЫЕ ПОСОБИЯ, ТРЕБОВАНИЯ К ОПЕРАЦИОННЫМ СИСТЕМАМ, УПРАВЛЕНИЯ ПРОЦЕССАМИ В ОС LINUX, АРХИТЕКТУРА ОПЕРАЦИОННОЙ СИСТЕМЫ, ФАЙЛОВЫЕ СИСТЕМЫ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://elar.urfu.ru/handle/10995/94359

Параллельные вычисления

Συγγραφείς: Столов Евгений Львович, Латыпов Рустам Хафизович, Рубцова Рамиля Гакилевна, Мубараков Булат Газинурович

Συνεισφορές: Институт вычислительной математики и информационных технологий, Казанский федеральный университет

Θεματικοί όροι: Вычислительный кластер, аппаратура, поддерживающая параллельные вычисления, операционная система LINUX, интерфейс MPI, интерфейс PVM, Математика

Relation: http://rour.neicon.ru:80/xmlui/bitstream/rour/192918/1/nora.pdf; https://openrepository.ru/article?id=192918

Διαθεσιμότητα: https://openrepository.ru/article?id=192918

Параллельные вычисления

Συνεισφορές: Институт вычислительной математики и информационных технологий, Казанский федеральный университет

Θεματικοί όροι: аппаратура, поддерживающая параллельные вычисления, операционная система LINUX, Математика, Вычислительный кластер, интерфейс MPI, интерфейс PVM

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=192918

О безопасности программ с открытым кодом

Συνεισφορές: Бакланов, В. В.

Θεματικοί όροι: ОПЕРАЦИОННАЯ СИСТЕМА LINUX, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ С ОТКРЫТЫМ КОДОМ, СЕТЕВОЙ ПРОТОКОЛ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://elar.urfu.ru/handle/10995/65579

Static Verification Tools for C Programs and Linux Device Drivers: A Survey

Συγγραφείς: M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov

Πηγή: Труды Института системного программирования РАН, Vol 22, Iss 0 (2018)

Θεματικοί όροι: верификация, статический анализ, драйвер устройства, операционная система linux, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1015; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/3f36f1c8121d4dbbbc5a1ef48f7a881c

Static Verification Tools for C Programs and Linux Device Drivers: A Survey

Συγγραφείς: Vadim Mutilin, Mikhail Mandrykin, Alexey Khoroshilov, Evgeny Novikov

Πηγή: Труды Института системного программирования РАН, Vol 22, Iss 0 (2018)

Θεματικοί όροι: драйвер устройства, статический анализ, Electronic computers. Computer science, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, операционная система linux, 02 engineering and technology, QA75.5-76.95, 01 natural sciences, верификация

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2012/22/isp_22_2012_293.pdf
https://doaj.org/article/3f36f1c8121d4dbbbc5a1ef48f7a881c

ПОЧЕМУ LINUX И СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ?

Συγγραφείς: ТРУБАЧЕВА СВЕТЛАНА ИВАНОВНА

Θεματικοί όροι: КЛЮЧЕВЫЕ СЛОВ: ОПЕРАЦИОННАЯ СИСТЕМА LINUX, СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ, МЯГКИЕ И ЖЕСТКИЕ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ, КВАНТОВАНИЕ, ПРИОРИТЕТЫ, ПРЕРЫВАНИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/pochemu-linux-i-sistemy-realnogo-vremeni
http://cyberleninka.ru/article_covers/15899379.png

Операционные системы : учебное пособие

Συγγραφείς: Зверева, О. М.

Συνεισφορές: Доросинский, Л. Г.

Θεματικοί όροι: УЧЕБНЫЕ ПОСОБИЯ, ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ОПЕРАЦИОННАЯ СИСТЕМА, ИСТОРИЯ ПОЯВЛЕНИЯ ОПЕРАЦИОННЫХ СИСТЕМ, СЕТЕВЫЕ ОПЕРАЦИОННЫЕ СИСТЕМЫ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX, ТРЕБОВАНИЯ К ОПЕРАЦИОННЫМ СИСТЕМАМ, ПОДСИСТЕМА УПРАВЛЕНИЯ ПРОЦЕССАМИ, УПРАВЛЕНИЯ ПРОЦЕССАМИ В ОС LINUX, ФАЙЛОВЫЕ СИСТЕМЫ, АРХИТЕКТУРА ОПЕРАЦИОННОЙ СИСТЕМЫ, ВРЕДОНОСНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

Περιγραφή αρχείου: application/pdf

Relation: http://elar.urfu.ru/handle/10995/94359

Διαθεσιμότητα: http://elar.urfu.ru/handle/10995/94359

АДМИНИСТРИРОВАНИЕ СИСТЕМЫ В РАМКАХ МАНДАТНОЙ СУЩНОСТНО-РОЛЕВОЙ ДП-МОДЕЛИ УПРАВЛЕНИЯ ДОСТУПОМ И ИНФОРМАЦИОННЫМИ ПОТОКАМИ В ОС СЕМЕЙСТВА LINUX

Συγγραφείς: Девянин, Петр

Θεματικοί όροι: МАНДАТНАЯ СУЩНОСТНО-РОЛЕВАЯ ДП-МОДЕЛЬ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/administrirovanie-sistemy-v-ramkah-mandatnoy-suschnostno-rolevoy-dp-modeli-upravleniya-dostupom-i-informatsionnymi-potokami-v-os
http://cyberleninka.ru/article_covers/14987343.png

РОЛЕВАЯ ДП-МОДЕЛЬ УПРАВЛЕНИЯ ДОСТУПОМ И ИНФОРМАЦИОННЫМИ ПОТОКАМИ В ОПЕРАЦИОННЫХ СИСТЕМАХ СЕМЕЙСТВА LINUX

Συγγραφείς: Девянин, Петр

Θεματικοί όροι: КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ, РОЛЕВАЯ ДП-МОДЕЛЬ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/rolevaya-dp-model-upravleniya-dostupom-i-informatsionnymi-potokami-v-operatsionnyh-sistemah-semeystva-linux
http://cyberleninka.ru/article_covers/14035472.png

ОБЗОР ИНСТРУМЕНТОВ СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ СИ ПРОГРАММ В ПРИМЕНЕНИИ К ДРАЙВЕРАМ УСТРОЙСТВ ОПЕРАЦИОННОЙ СИСТЕМЫ LINUX

Συγγραφείς: Мандрыкин, М., Мутилин, В., Новиков, Е., Хорошилов, А.

Θεματικοί όροι: ВЕРИФИКАЦИЯ,СТАТИЧЕСКИЙ АНАЛИЗ,ДРАЙВЕР УСТРОЙСТВА,ОПЕРАЦИОННАЯ СИСТЕМА LINUX

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/obzor-instrumentov-staticheskoy-verifikatsii-si-programm-v-primenenii-k-drayveram-ustroystv-operatsionnoy-sistemy-linux
http://cyberleninka.ru/article_covers/14475671.png

Бесплатная операционная система Linux

Συνεισφορές: Болгарина, Е. В.

Θεματικοί όροι: ОПЕРАЦИОННАЯ СИСТЕМА LINUX, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elar.uspu.ru/handle/ru-uspu/43200

Почему Linux и системы реального времени?

Πηγή: Вестник Волжского университета им. В.Н. Татищева.

Θεματικοί όροι: КЛЮЧЕВЫЕ СЛОВ: ОПЕРАЦИОННАЯ СИСТЕМА LINUX, СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ, МЯГКИЕ И ЖЕСТКИЕ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ, КВАНТОВАНИЕ, ПРИОРИТЕТЫ, ПРЕРЫВАНИЯ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15899379.png
http://cyberleninka.ru/article/n/pochemu-linux-i-sistemy-realnogo-vremeni

О безопасности программ с открытым кодом

Συγγραφείς: Соколов, И. П.

Συνεισφορές: Бакланов, В. В.

Θεματικοί όροι: ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ С ОТКРЫТЫМ КОДОМ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX, СЕТЕВОЙ ПРОТОКОЛ

Περιγραφή αρχείου: application/pdf

Relation: Безопасность информационного пространства — 2017. — Екатеринбург, 2018; http://elar.urfu.ru/handle/10995/65579; https://elibrary.ru/item.asp?id=36801000

Διαθεσιμότητα: http://elar.urfu.ru/handle/10995/65579
https://elibrary.ru/item.asp?id=36801000

Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в оС семейства Linux

Πηγή: Прикладная дискретная математика.

Θεματικοί όροι: МАНДАТНАЯ СУЩНОСТНО-РОЛЕВАЯ ДП-МОДЕЛЬ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/administrirovanie-sistemy-v-ramkah-mandatnoy-suschnostno-rolevoy-dp-modeli-upravleniya-dostupom-i-informatsionnymi-potokami-v-os
http://cyberleninka.ru/article_covers/14987343.png

Ролевая ДП-модель управления доступом и информационными потоками в операционных системах семейства Linux

Πηγή: Прикладная дискретная математика.

Θεματικοί όροι: КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ, РОЛЕВАЯ ДП-МОДЕЛЬ, ОПЕРАЦИОННАЯ СИСТЕМА LINUX

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14035472.png
http://cyberleninka.ru/article/n/rolevaya-dp-model-upravleniya-dostupom-i-informatsionnymi-potokami-v-operatsionnyh-sistemah-semeystva-linux

Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: ВЕРИФИКАЦИЯ,СТАТИЧЕСКИЙ АНАЛИЗ,ДРАЙВЕР УСТРОЙСТВА,ОПЕРАЦИОННАЯ СИСТЕМА LINUX, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/obzor-instrumentov-staticheskoy-verifikatsii-si-programm-v-primenenii-k-drayveram-ustroystv-operatsionnoy-sistemy-linux
http://cyberleninka.ru/article_covers/14475671.png

Информатика. Компьютер и его устройство : учебно-методический комплекс

Συγγραφείς: Беликов, Дмитрий Анатольевич, Каминская, Елена Владимировна

Συνεισφορές: Томский государственный университет Институт дистанционного образования

Θεματικοί όροι: персональные компьютеры, программное обеспечение, операционные системы Windows, операционная система Linux

Περιγραφή αρχείου: text/html

Relation: vtls:000467048; https://openrepository.ru/article?id=323754

Διαθεσιμότητα: https://openrepository.ru/article?id=323754