Полное описание
Вотинцева, А. В.
ГРНТИ УДК 50.33.03 004.272.2(04) 50.39.29 004.75(04)
Рубрики: Параллельные вычисления
Вычислительные системы распределенные
Кл.слова (ненормированные): МОДЕЛИРОВАНИЕ -- ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ -- РАСПРЕДЕЛЕННАЯ ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА -- моделирование
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/41)
Шифр в сводном ЭК: 9e117d799f4750290bd0357f62981756
Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный. Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный. Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный. Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 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 с. - Текст : непосредственный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный. Захарова Ю. Ф. Архитектура ЭВМ : Учеб. пособие. Ч. 2,3, 2007. - 112 с. - Текст : непосредственный. Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный. Арестова О.Н. Специфика психологических методов в условиях использования компьютера / О. Н. Арестова, Л. Н. Бабанин, А. Е. Войскунский, 1995. - 109 c. - Текст : непосредственный. Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 169 c. - Текст : непосредственный. Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 160 c. - Текст : непосредственный. Показать все результаты Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный. Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный. Hamidzadeh B. Centralized scheduling strategies for shared-memory multiprocessors / B. Hamidzadeh, D. J. Lilja, 1994. - 26 p. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. 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 с. - Текст : непосредственный. Коваленко В.Н. Управление заданиями в распределенной среде и протокол резервирования ресурсов / В. Н. Коваленко, А. В. Орлов, 2002. - 25 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Показать все результаты Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный. Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Коваленко В.Н. Управление заданиями в распределенной среде и протокол резервирования ресурсов / В. Н. Коваленко, А. В. Орлов, 2002. - 25 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Поляков А.С. О распределенной реализации алгоритмов в вычислительных сетях / А. С. Поляков, 1991. - 15 с. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Метадиспетчер: реализация средствами метакомпьютерной системы Globus / С. А. Богданов, В. Н. Коваленко, Е. В. Хухлаев, О. Н. Шорин, 2001. - 21 с. - Текст : непосредственный. Черненок С.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри / С. А. Черненок, В. А. Непомнящий, 2013. - 61 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
