Полное описание
Прокопенко, Александр Владимирович .
Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов / А. В. Прокопенко, М. А. Русаков, Р. Ю. Царев. - Красноярск : СФУ, 2013. - 91 с. - Библиогр.: с. 88-91. - 100 экз. -
ISBN 978-5-7638-2748-4. - Текст : непосредственный.
Содержание:
ГРНТИ УДК 50.39.29 004.031.43
Рубрики: Вычислительные системы реального времени
Аннотация: Рассмотрена проблема формирования систем реального времени с гаран- тированной доступностью ресурсов. Предложены модели использования про- граммно-информационных ресурсов с учетом ресурсной базы и ограничений на время исполнения. Описаны методика и алгоритмы формирования вектора вре- менной развертки для кластерных структур распределенных архитектур систем реального времени, учитывающие занятость ресурсов. Предназначается магистрантам направления 230100.68 «Информатика и вычислительная техника», а также специалистам в области проектирования систем управления и обработки информации, аспирантам и докторантам.
Доп. точки доступа: Русаков, Михаил Александрович
Царев, Роман Юрьевич
Электронная библиотечная система ZNANIUM
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-13/97744)
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\492781)
Шифр в сводном ЭК: 9ee0956609b808fb1db691ff616c8380
Царев, Роман Юрьевич. Программирование на языке СИ : учеб. пособие / Р. Ю. Царев, 2014. - 106 с. (Введено оглавление). - Текст : непосредственный. Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2013. - 142 с. (Введено оглавление). - Текст : электронный. Прокопенко, Александр Владимирович. Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов / А. В. Прокопенко, М. А. Русаков, Р. Ю. Царев, 2013. - 91 с. (Введено оглавление). - Текст : непосредственный. Царев, Роман Юрьевич. Основы распределенной обработки информации : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Ю. Никифоров, 2015. - 179 с. (Введено оглавление). - Текст : непосредственный. Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков, 2015. - 172 с. (Введено оглавление). - Текст : непосредственный. Пупков, Александр Николаевич. Управление хранением и обработкой информации в образовательных средах дистанционного обучения / А. Н. Пупков, Р. Ю. Царев, Д. В. Капулин, 2012. - 129 с. (Введено оглавление). - Текст : непосредственный. Кукарцев, Владислав Викторович. Теория баз данных : Учебник / В.В. Кукарцев, 2017. - 180 с. (Введено оглавление). - Текст : электронный. Царев, Роман Юрьевич. Программные и аппаратные средства информатики : Учебник / Царев Р. Ю., 2015. - 160 с. - Текст : электронный. Царев, Роман Юрьевич. Теоретические основы информатики : Учебник / Царев Р. Ю., 2015. - 176 с. - Текст : электронный. Кузнецов, Александр Сергеевич. Теория вычислительных процессов : Учебник / Кузнецов А. С., 2015. - 184 с. - Текст : электронный. Царев, Роман Юрьевич. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности : Монография / Сибирский федеральный университет, 2013. - 120 с. - Текст : электронный. Царев, Роман Юрьевич. Алгоритмы и структуры данных (CDIO) : Учебник / Сибирский федеральный университет, 2016. - 204 с. - Текст : электронный. Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : Монография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2020. - 143 с. - Текст : электронный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный. Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный. Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный. Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный. Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный. Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный. Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный. Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный. Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный. Арестова О.Н. Специфика психологических методов в условиях использования компьютера / О. Н. Арестова, Л. Н. Бабанин, А. Е. Войскунский, 1995. - 109 c. - Текст : непосредственный. Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 169 c. - Текст : непосредственный. Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 160 c. - Текст : непосредственный. Фролов А.В. Локальные сети персональных компьютеров : методический материал / А. В. Фролов, Г. В. Фролов, 1995. - 168 c. - Текст : непосредственный. Погребной В.К. Автоматизированное проектирование распределенных систем реального времени : выставочные материалы / В. К. Погребной, 2011. - 311 с. - Текст : непосредственный. Fifth generation computer systems:Success or failure? : материалы временных коллективов / Ed. R. P. Van de Riet, 1993. - 79-162 p. p. - Текст : непосредственный. Крюков Ю.А. Разработка проблемно-ориентированной многоцелевой сети распределенных вычислений масштаба малого города : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Ю. А. Крюков, 2004. - 22 с. - Текст : непосредственный. Designing embedded processors / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Локальные сети и микропроцессорные системы / А. К. Баумс, У. Я. Грунде, П. А. Тисс, 1991. - 246 с. - Текст : непосредственный. Пархоменко С.С. Нейросетевое моделирование и эволюционное планирование процессов в сетях добровольных вычислений / С. С. Пархоменко, 2015. - 20 с. - Текст : непосредственный. Показать все результаты Зыль С. Проектирование, разработка и анализ программного обеспечения систем реального времени / С. Зыль, 2010. - 328 с. - Текст : непосредственный. Бекишев А.Т. Проектирование программного обеспечения вычислительных систем реального времени / А. Т. Бекишев, А. К. Красников, 2009. - 210 с. - Текст : непосредственный. Hard real-time systems / Ed.: J. A. Stankovic, K. Ramamritham, 1988. - VI,618 p. p. - Текст : непосредственный. System-Engineering fur Realzeitsysteme : материал технической информации / Hrsg.: H. Steusloff, T. Batz, 1991. - 421 S. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Soft real-time systems : predictability vs. efficiency / G. Buttazzo [et al.], 2005 r=on-line. - Текст : электронный. Сулейманова А.М. Системы реального времени : учеб. пособие / А. М. Сулейманова, Я. А. Олейник, 2014. - 267 с. - Текст : непосредственный. Данилов А.Д. Математическое обеспечение распределенных вычислений гетерогенных динамических параметров систем в режиме реального времени : [монография] / А. Д. Данилов, А. В. Пилеич, 2015. - 160 с. - Текст : непосредственный. Just-in-time scheduling : models and algorithms for computer and manufacturing systems / ed. J. Jozefowska, 2007 r=on-line. - Текст : электронный. Теория и реализация вычислительных систем реального времени / Рос.АН.ВЦ, 1999. - 36 с. - Текст : непосредственный. Manolache S. Real-time applications with stochastic task execution times : analysis and optimisation / S. Manolache, P. Eles, Z. Peng, 2007 r=on-line. - Текст : электронный. Фатуев В.А. Системы реального времени : учеб. пособие / В. А. Фатуев, К. М. Щепакин, 2012. - 94 с. - Текст : непосредственный. Weise C. Entscheidungsalgorithmen fur Aquivelenzen in Echtzeit-Prozesskalkulen mit dichtem Zeitbereich : Diss. / C.Weise, 1995. - 278 S. - Текст : непосредственный. Hard real-time computing systems : predictable scheduling algorithms and applications / ed. G. Buttazzo, 2005 r=on-line. - Текст : электронный. Леонтьев А.Е. Системы реального времени : учеб. пособие / А. Е. Леонтьев, М. Д. Поляк, А. В. Яковлев, 2011. - 175 с. - Текст : непосредственный. Кобылянский В.Г. Системы реального времени : учеб. пособие / В. Г. Кобылянский, 2015. - 87 с. - Текст : непосредственный. Показать все результаты Зыль С. Проектирование, разработка и анализ программного обеспечения систем реального времени / С. Зыль, 2010. - 328 с. - Текст : непосредственный. Hard real-time systems / Ed.: J. A. Stankovic, K. Ramamritham, 1988. - VI,618 p. p. - Текст : непосредственный. System-Engineering fur Realzeitsysteme : материал технической информации / Hrsg.: H. Steusloff, T. Batz, 1991. - 421 S. - Текст : непосредственный. Скородумов Ю.М. Назначение и планирование заданий в распределенных системах реального времени / Ю. М. Скородумов, 2016. - 17 с. - Текст : непосредственный. Мочалов В.П. Системы реального времени : выставочные материалы / В. П. Мочалов, С. В. Яковлев, 2014. - 277 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Embedded and Real Time System Development: A Software Engineering Perspective. Concepts, Methods and Principles / Ed. Mohammad Ayoub Khan, 2014 r=on-line. - Текст : электронный. Сарамуд М.В. Модельно-алгоритмическое обеспечение анализа отказоустойчивости программных комплексов встраиваемых систем управления реального времени / М. В. Сарамуд, 2018. - 21 с. - Текст : непосредственный. Soft real-time systems : predictability vs. efficiency / G. Buttazzo [et al.], 2005 r=on-line. - Текст : электронный. Сулейманова А.М. Системы реального времени : учеб. пособие / А. М. Сулейманова, Я. А. Олейник, 2014. - 267 с. - Текст : непосредственный. Пилеич А.В. Математическое обеспечение распределенных вычислений гетерогенных динамических параметров систем в режиме реального времени : автореф. дис. .. канд. техн. наук: 05.13.11 / А. В. Пилеич, 2015. - 18 с. - Текст : непосредственный. Шалимов А.В. Исследование методов компактного представления для программ реального времени : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / А. В. Шалимов, 2011. - 24 с. - Текст : непосредственный. Данилов А.Д. Математическое обеспечение распределенных вычислений гетерогенных динамических параметров систем в режиме реального времени : [монография] / А. Д. Данилов, А. В. Пилеич, 2015. - 160 с. - Текст : непосредственный. Just-in-time scheduling : models and algorithms for computer and manufacturing systems / ed. J. Jozefowska, 2007 r=on-line. - Текст : электронный. Гуз Д.С. Разработка точных и приближенных алгоритмов составления расписаний и синтеза систем жесткого реального времени : автореф. дис. .. канд. физ.-мат. наук: 05.13.18 / Д.С. Гуз, 2005. - 23 с. - Текст : непосредственный. Теория и реализация вычислительных систем реального времени / Рос.АН.ВЦ, 1999. - 36 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Просмотр издания ЭБС ZNANIUM
Приложение
для Android
