Приложение
для AndroidПолное описание
| УДК | |
| 004 |
| ББК | |
| 3297 |
| РУБ | |
| 09.04.03 | |
| 09.04.01 |
Рубрики:
Информатика. Вычислительная техника
Аннотация: В монографии представлены современные алгоритмы голосования ис- пользуемые в мультиверсионном программном обеспечении при принятии ре- шения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсион- ном программном обеспечении. Показана модель оценки надёжности мульти- версионного программного обеспечения представлены результаты ее исследо- вания при имитировании поведения реальной мультиверсионной системы с рас- пределенной архитектурой. Результаты исследования служат теоретической базой для разработки вы- соконадёжного и отказоустойчивого программного обеспечения на основе муль- тиверсионной парадигмы. Предназначено специалистам работающим в области проектирования и разработки программного обеспечения а также аспирантам и докторантам. Ма- териалы монографии рекомендуются к использованию при проведении лекци- онных и практических занятий у магистрантов обучающихся по программе под- готовки магистров 230100.68 «Информатика и вычислительная техника».
Доп. точки доступа:
Штарик, Андрей Викторович
Штарик, Елена Николаевна
Нет сведений об экземплярах
Электронная библиотечная система ZNANIUM
https://znanium.com/cover/0492/492377.jpg
Кол-во выдач 0
Капулин, Денис Владимирович. Разработка высоконадежных интегрированных информационных систем управления предприятием. - 184 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Теория вычислительных процессов. - 184 с. - Текст : электронный.Царев, Роман Юрьевич. Информатика и программирование. - 132 с. - Текст : электронный.Царев, Роман Юрьевич. Теоретические основы информатики. - 176 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем. - 143 с. - Текст : электронный.Царев, Роман Юрьевич. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности. - 120 с. - Текст : электронный.Прокопенко, Александр Владимирович. Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов. - 92 с. - Текст : электронный.Пупков, Александр Николаевич. Управление хранением и обработкой информации в образовательных средах дистанционного обучения. - 132 с. - Текст : электронный.Царев, Роман Юрьевич. Программные и аппаратные средства информатики. - 160 с. - Текст : электронный.Царев, Роман Юрьевич. Программирование на языке Си. - 108 с. - Текст : электронный.Царев, Роман Юрьевич. Основы распределенной обработки информации. - 180 с. - Текст : электронный.Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий. - 176 с. - Текст : электронный.Капулин, Денис Владимирович. Планирование и управление дискретным производством. - 194 с. - Текст : электронный.Кукарцев, Владислав Викторович. Теория баз данных. - 180 с. - Текст : электронный.Царев, Роман Юрьевич. Алгоритмы и структуры данных (CDIO). - 204 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем. - 143 с. - Текст : электронный.
Моделирование систем и процессов. - Журнал, 2015г. № 2. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2014г. № 3. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2015г. 8 № 4. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2014г. № 4. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2015г. № 3. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2013г. № 3. - Текст : электронный.Проблеми iнформацiйних технологiй. - Журнал, 2013г. № 02 (014) груде. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2013г. № 4. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2015г. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2014г. № 1. - Текст : электронный.Моделирование систем и процессов. - Журнал, 2014г. № 2. - Текст : электронный.Программные продукты и системы. - Журнал, 2010г. № 1. - Текст : электронный.Программные продукты и системы. - Журнал, 2010г. № 2. - Текст : электронный.Программные продукты и системы. - Журнал, 2010г. № 3. - Текст : электронный.Программные продукты и системы. - Журнал, 2010г. № 4. - Текст : электронный.Программные продукты и системы. - Журнал, 2011г. № 1. - Текст : электронный.Программные продукты и системы. - Журнал, 2011г. № 2. - Текст : электронный.Программные продукты и системы. - Журнал, 2011г. № 3. - Текст : электронный.Программные продукты и системы. - Журнал, 2011г. № 4. - Текст : электронный.Программные продукты и системы. - Журнал, 2012г. № 1 (97). - Текст : электронный.
Показать все результатыБлиновская, Яна Юрьевна. Введение в геоинформационные системы. - 112 с. - Текст : электронный.Голицына, Ольга Леонидовна. Базы данных. - 400 с. - Текст : электронный.Костиков, Юрий Александрович. Введение в основы программирования на С. - 32 с. - Текст : электронный.Степанов, Владимир Иванович. Применение вычислительной техники в нормировании расхода материальных ресурсов при производстве средств связи. - 200 с. - Текст : электронный.Разин, Игорь Борисович. Лабораторный практикум по курсу "Геометрическое моделирование и машинная графика". - 100 с. - Текст : электронный.Зензин, Александр Степанович. Информационные и телекоммуникационные сети. - 80 с. - Текст : электронный.Ракитин, Валентин Иванович. Руководство по методам вычислений и приложения MATHCAD. - 264 с. - Текст : электронный.Гриф, Михаил Геннадьевич. Лексические и грамматические аспекты разработки компьютерного сурдопереводчика русского языка. - 292 с. - Текст : электронный.Помешкин, Андрей Александрович. Система защиты информации от несанкционированного доступа на основе программно-аппаратного комплекса "Secret Net 5.0". - 47 с. - Текст : электронный.Галушкин, Николай Ефимович. Высокоуровневые методы программирования. Язык программирования MatLab. Часть 1. - 182 с. - Текст : электронный.Васюткина, Ирина Александровна. Разработка приложений на С# с использованием СУБД PostgreSQL. - 143 с. - Текст : электронный.Телешева, Нина Федоровна. Лабораторный практикум по дисциплине "Компьютерные технологии в бухгалтерском учете". - 188 с. - Текст : электронный.Гриф, Михаил Геннадьевич. Методы и технологии компьютерного сурдоперевода. - 76 с. - Текст : электронный.Новиков, Евгений Александрович. Компьютерное моделирование жестких гибридных систем. - 451 с. - Текст : электронный.Федоров, Владимир Михайлович. Англо-русский словарь по электронным СМИ. - 1144 с. - Текст : электронный.Гриф, Михаил Геннадьевич. Разработка аватарных технологий для систем компьютерного сурдоперевода. - 70 с. - Текст : электронный.Бабаш, Александр Владимирович. Криптографические методы защиты информации. - 216 с. - Текст : электронный.Култыгин, Олег Петрович. Администрирование баз данных. СУБД MS SQL Server. - 232 с. - Текст : электронный.Шарипов, Ильдар Курбангалиевич. Информационные технологии в АПК. - 107 с. - Текст : электронный.Гурова, Елена Геннадьевна. Моделирование электротехнических систем. - 52 с. - Текст : электронный.
Показать все результатыПросмотр издания ЭБС ZNANIUM