Полное описание
> Царев, Р. Ю. Анализ параллельных процессов в информационно-управляющих системах / Р. Ю. Царев, С. В. Тынченко, С. Н. Гриценко. - Красноярск : Краснояр. гос. аграр. ун-т, 2015. - 166 с. : ил. - Библиогр.: с. 157-166 (111 назв.). - 500 экз. - ISBN 978-5-94617-371-1. - Текст : непосредственный.
ГРНТИ УДК 50.33.04 004.272.2
Рубрики: Параллельные вычисления
Доп. точки доступа: Тынченко, С.В.
Гриценко, С.Н.
Красноярский гос. аграрный ун-т
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-15/28112)>
Шифр в сводном ЭК: e3936688ecad085e1a076e53ef6d81ea
Царев Р.Ю. Технология синтеза и управления развитием кластерных структур автоматизированных систем управления / Р. Ю. Царев, Д. Н. Алдошкин, 2014. - 189 с. - Текст : непосредственный. Царев Р.Ю. Информатика : выставочные материалы / Р. Ю. Царев, 2013. - 128 с. - Текст : непосредственный. Царев Р.Ю. Алгоритмы и структуры данных : выставочные материалы / Р. Ю. Царев, 2013. - 157 с. - Текст : непосредственный. Кукарцев В.В. Надежность программно-аппаратного обеспечения сложных систем управления / В. В. Кукарцев, С. В. Литошик, Р. Ю. Царев, 2014. - 140 с. - Текст : непосредственный. Ковалев И.В. Архитектурная надежность программного обеспечения информационно-управляющих систем / И. В. Ковалев, Р. Ю. Царев, Д. В. Капулин, 2011. - 181 с. - Текст : непосредственный. Ковалев И.В. Информатика. Надежность и программно-информационные технологии : учебное пособие / И. В. Ковалев, М. А. Русаков, Р. Ю. Царев, 2010. - 102 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Царев Р.Ю. Проектирование, разработка и оценка надежности сложных программных систем : монография / Р. Ю. Царев, 2017. - 232 с. - Текст : непосредственный. Энгель Е.А. Распределенные информационно-управляющие системы: кластерная архитектура и мультиверсионное программное обеспечение / Е. А. Энгель, В. А. Морозов, Р. Ю. Царев, 2006. - 160 с. - Текст : непосредственный. Слободин М.Ю. Компьютерная поддержка многоатрибутивных методов выбора и принятия решения при проектировании корпоративных информационно-управляющих систем : Монография / М.Ю. Слободин, Р.Ю. Царев, 2004. - 222 с. - Текст : непосредственный. Царев Р.Ю. Алгоритмы и структуры данных (CDIO) : учебник / Р. Ю. Царев, А. В. Прокопенко, 2016. - 203 с. - Текст : непосредственный. Тынченко С.В. Модели и алгоритмы выбора надежных вариантов многопроцессорных вычислительных комплексов оперативного управления сложными техническими системами : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / С. В. Тынченко, 2000. - 19 с. - Текст : непосредственный. Царев Р.Ю. Система многоатрибутивного формирования мультиверсионных программных средств отказоустойчивых систем управления : автореф. дис. .. канд. техн. наук: 05.13.01 / Р. Ю. Царев, 2003. - 19 с. - Текст : непосредственный. Царев Р.Ю. Модели, методы и алгоритмы синтеза и управления развитием кластерных структур АСУ космических систем связи и навигации / Р. Ю. Царев, Л. К. Большаков, 2014. - 142 с. - Текст : непосредственный. Показать все результаты Экология пчеловодства: технология экологического производства пчелосырья и пчелопродукции / Г. В. Кашина, А. С. Кашин, В. В. Калинихин, А. М. Белых, 2008. - 230 с. - Текст : непосредственный. Новое оборудование для переработки зерновых культур в пищевые продукты / В. А. Самойлов, А. И. Ярум, В. Н. Невзоров, Д. В. Салыхов, 2017. - 197 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Царев Р.Ю. Проектирование, разработка и оценка надежности сложных программных систем : монография / Р. Ю. Царев, 2017. - 232 с. - Текст : непосредственный. Образ современного инженера: профессионально-личностное становление : монография / Л. А. Барановская, С. В. Богомазов, Д. Н. Девятловский [и др.], 2017. - 213 с. - Текст : непосредственный. Селиванов Н.И. Технологическая адаптация колесных тракторов : монография / Н. И. Селиванов, 2017. - 215 с. - Текст : непосредственный. Агроэкосистемы пригородной зоны города Красноярска / И. В. Боер [и др.]; под ред. Д. Е. Полонской, 2010. - 190 с. - Текст : непосредственный. Алгоритмы компьютерных вычислений в группах / А. А. Кузнецов [и др.], 2011. - 40 с. - Текст : непосредственный. Логистика - евразийский мост : материалы 12-й Междунар. науч.-практ. конф. (18-20 мая 2017 г., Красноярск). Ч. 2, 2017. - 350 с. - Текст : непосредственный. Группы с условием примарной минимальности / А. А. Кузнецов [и др.], 2011. - 97 с. - Текст : непосредственный. Селиванов Н.И. Технологические свойства мощных тракторов / Н. И. Селиванов, 2015. - 201 с. - Текст : непосредственный. Иптышева Г.Б. Современные аспекты формирования и реализации банковской политики кредитных организаций / Г. Б. Иптышева, 2015. - 95 с. - Текст : непосредственный. Колесняк И.А. Система продовольственного обеспечения региона: проблемы и перспективы развития / И. А. Колесняк, А. А. Колесняк, 2014. - 207 с. - Текст : непосредственный. Ветроэнергетика Красноярского края / А. В. Бастрон [и др.], 2015. - 251 с. - Текст : непосредственный. Оценка и диагностика финансово-экономической стабильности сельскохозяйственных организаций Красноярского края / Л. Н. Шорохов [и др.], 2016. - 242 с. - Текст : непосредственный. Логистика - евразийский мост : материалы VI Междунар. научно-практ. конф., 2-3 марта 2011 г., г. Красноярск : в 2-х ч. Ч. 2, 2011. - 576 с. - Текст : непосредственный. Пыжикова Н.И. Инструменты государственной поддержки малого и среднего бизнеса на примере Красноярского края / Н. И. Пыжикова, Е. В. Титова, М. А. Козлов, 2016. - 135 с. - Текст : непосредственный. Профессиональное самоопределение молодежи инновационного региона: проблемы и перспективы : сб. ст. по материалам Всерос. науч.-практ. конф. 23-27 нояб. 2015 г., [Красноярск] / Краснояр. гос. аграр. ун-т [идр.], 2016. - 419 с. - Текст : непосредственный. Логистика - евразийский мост : материалы 12-й Междунар. науч.-практ. конф., 18-20 мая 2017 г., Красноярск. Ч. 1, 2017. - 338 с. - Текст : непосредственный. Показать все результаты Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Instrumentation for future parallel computing systems / Ed. M. Simmons, 1989. - 260 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI / А. М. Сальников, Е. А. Ярошенко, О. С. Гребенник, С. В. Спиридонов, 2010. - 123 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Parallele Datenverarbeitung mit dem Transputer : сборник научных трудов / Hrsg.: R. Grebe, C. Ziemann, 1991. - 300 p. - Текст : непосредственный. Advances in Petri nets 1990 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - 515 p. - Текст : непосредственный. Показать все результаты Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Ачасова С.М. Корректность параллельных вычислительных процессов / С. М. Ачасова, О. Л. Бандман ; Ред. Н. Н. Миренков, 1990. - 252 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Schmitz H. Vergleichende Untersuchung von synchronen und asynchronen Algorithmen und deren Implementierung auf CRAY-Mehrprozessorsystemen / H. Schmitz, 1991. - 83 S. - Текст : непосредственный. Parallelisierung komplexer Probleme : материал технической информации / Сост.Hrsg. W. Meuer, 1991. - 204 S. - Текст : непосредственный. Кузнецов С.В. Проектирование универсальных и специализированных параллельных вычислителей / С. В. Кузнецов, 1995. - 63 c. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный. Everaars C.T.H. Restructuring sequential Fortran code into a parallel/distributed application / C. T.H. Everaars, F. Arbab, F. J. Burger, 1996. - 14 p. - Текст : непосредственный. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI / А. М. Сальников, Е. А. Ярошенко, О. С. Гребенник, С. В. Спиридонов, 2010. - 123 с. - Текст : непосредственный. Показать все результаты Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Левин И.И. Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / И. И. Левин, 2004. - 38 с. - Текст : непосредственный. Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Ачасова С.М. Корректность параллельных вычислительных процессов / С. М. Ачасова, О. Л. Бандман ; Ред. Н. Н. Миренков, 1990. - 252 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Schmitz H. Vergleichende Untersuchung von synchronen und asynchronen Algorithmen und deren Implementierung auf CRAY-Mehrprozessorsystemen / H. Schmitz, 1991. - 83 S. - Текст : непосредственный. Parallelisierung komplexer Probleme : материал технической информации / Сост.Hrsg. W. Meuer, 1991. - 204 S. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽