Полное описание
> Гергель, В. П. Высокопроизводительные вычисления для многопроцессорных многоядерных систем : выставочные материалы / В. П. Гергель. - М. : Физматлит [и др.], 2010. - 543 с. : ил. - (Библиотека Нижегородского государственного университета им. Н. И. Лобачевского) (Суперкомпьютерное образование). - Библиогр.: с. 534-539. - 1750 экз. - ISBN 978-5-211-05937-5. - Текст : непосредственный.
ГРНТИ УДК 50.07.05 004.272.43 50.33.04 004.272.2
Рубрики: Вычислительные системы многопроцессорные
Параллельные вычисления
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-10/51529)>
Шифр в сводном ЭК: e076f91cdf2e633ed4a8cf79d8147232
Гергель В.П. Высокопроизводительные вычисления для многопроцессорных многоядерных систем : выставочные материалы / В. П. Гергель, 2010. - 543 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Гергель В.П. Математические модели,методы и программные средства информационного обеспечения процессов поиска рациональных вариантов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.12 / В. П. Гергель, 1994. - 32 с. - Текст : непосредственный. Гергель В.П. Основы параллельных вычислений для многопроцессорных вычислительных систем : Учеб. пособие / В.П.Гергель,Р.Г.Стронгин, 2003. - 184 с. - Текст : непосредственный. Гергель В.П. Современные языки и технологии параллельного программирования : учебник / В. П. Гергель, 2012. - 406 с. - Текст : непосредственный. Высокопроизводительные параллельные вычисления : 100 заданий для расширенного лабораторного практикума / В. П. Гергель [и др.], 2018. - 245 с. - Текст : непосредственный. Гергель В.П. Абсолют. Программная система для исследований и изучения методов глобальной оптимизации : Учеб.пособие / В.П.Гергель,Р.Г.Стронгин, 1998. - 141 с. - Текст : непосредственный. Параллельные вычисления. Технологии и численные методы : учеб. пособие в 4 т. / В. П. Гергель [и др.]. Т. 4 : Системы обыкновенных дифференциальных уравнений. Дифференциальные уравнения в частных производных. Методы Монте-Карло, 2013. - С. 1027-1393. - Текст : непосредственный. Параллельные вычисления. Технологии и численные методы : учеб. пособие в 4 т. / В. П. Гергель [и др.]. Т. 1 : Библиотека MPI. Матрично-векторное и матричное умножение. Решение СЛАУ. Поиск путей на графе / Нижегор. гос. ун-т им. Н. И. Лобачевского. Нац. исслед. ун-т, 2013. - 239 с. - Текст : непосредственный. Параллельные вычисления. Технологии и численные методы : учеб. пособие в 4 т. / В. П. Гергель [и др.]. Т. 3 : Элементы компьютерной арифметики. Прямые и итерационные методы решения СЛАУ / Нижегор. гос. ун-т им. Н. И. Лобачевского. Нац. исслед. ун-т, 2013. - С. 611-1023. - Текст : непосредственный. Параллельные вычисления. Технологии и численные методы : учеб. пособие в 4 т. / В. П. Гергель [и др.]. Т. 2 : Технология OpenMP. Технология Clik Plus. Библиотека Intel ArBB. Библиотека TBB. Технология CUDA. Технология OpenCL / Нижегор. гос. ун-т им. Н. И. Лобачевского. Нац. исслед. ун-т, 2013. - С. 243-607. - Текст : непосредственный. Показать все результаты Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 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. - Текст : электронный. Computational science and high performance computing III / SpringerLink (Online service), 2008 r=on-line Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI / А. М. Сальников, Е. А. Ярошенко, О. С. Гребенник, С. В. Спиридонов, 2010. - 123 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. 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 с. - Текст : непосредственный. Стецюра Г.Г. Методы совмещения вычислений и передачи данных в многопроцессорных системах и локальных сетях / Г. Г. Стецюра, 2005. - 86 с. - Текст : непосредственный. Ачасова С.М. Корректность параллельных вычислительных процессов / С. М. Ачасова, О. Л. Бандман ; Ред. Н. Н. Миренков, 1990. - 252 с. - Текст : непосредственный. Гуз Д.С. Некоторые алгоритмы анализа многопроцессорных систем реального времени / Д. С. Гуз, Д. В. Красовский, М. Г. Фуругян, 2005. - 41 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Косоруков Е.О. Некоторые алгоритмы распределения ресурсов в системах с нефиксированными длительностями работ / Е. О. Косоруков, М. Г. Фуругян, 2009. - 15 с. - Текст : непосредственный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Niemann K.-H. Ein hochsprachprogrammierbares Multiprozessorsystem fur den Einsatz in der Echtzeitdatenverarbeitung / K.-H. Niemann, 1989. - VI,186 S. S. - Текст : непосредственный. Schmitz H. Vergleichende Untersuchung von synchronen und asynchronen Algorithmen und deren Implementierung auf CRAY-Mehrprozessorsystemen / H. Schmitz, 1991. - 83 S. - Текст : непосредственный. Rodder S. Aufbau und Eigenschaften von Hypercube-Rechnern und Untersuchung von Datentransferalgorithmen / S. Rodder, 1991. - X,166 S. S. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный. 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. - Текст : непосредственный. Abts D. Toward complexity-effective verification : сборник научных трудов / D. Abts, D. J. Lilja, S. Scott, 2000. - 13 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Стецюра Г.Г. Методы совмещения вычислений и передачи данных в многопроцессорных системах и локальных сетях / Г. Г. Стецюра, 2005. - 86 с. - Текст : непосредственный. Ачасова С.М. Корректность параллельных вычислительных процессов / С. М. Ачасова, О. Л. Бандман ; Ред. Н. Н. Миренков, 1990. - 252 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽