Полное описание
> Janicki, R. Specification and analysis of concurrent systems : the COSY approach / R.Janicki,P.E.Lauer. - Berlin [etc.] : Springer , 1992. - 480 p. : ill. - (EATCS monographs on theoretical computer science ; vol.26). - ISBN 3-540-55204-9. - Текст : непосредственный. Библиогр.:с.407-421
ГРНТИ УДК 50.33.03 004.272.3
Рубрики: Вычислительные системы многопроцессорные
Доп. точки доступа: Lauer, P.E.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/12478/26)>
Шифр в сводном ЭК: 9c1c4786f8ed5e297e5be0c7d6bde06b
Ehrig H. Fundamentals of algebraic specification. Vol. 2 : Module specifications and constraints, 1990. - XI,427 p. p. - Текст : непосредственный. Balcazar J.L. Structural complexity. Pt. 2, 1990. - IX,283 p. p. - Текст : непосредственный. Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный. Janicki R. Specification and analysis of concurrent systems : The COSY approach / R.Janicki,P.E.Lauer, 1992. - 480 p. - Текст : непосредственный. Sippu S. Parsing theory. Vol. 2 : LR(k) and LL(k) parsing, 1990. - 426 p. - Текст : непосредственный. Bloom S.L. Iteration theories : The equational logic of iterative processes / S.L.Bloom,Z.@wEsik, 1993. - XV,630 p. p. - Текст : непосредственный. Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный. Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный. Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Захарова Ю. Ф. Архитектура ЭВМ : Учеб. пособие. Ч. 2,3, 2007. - 112 с. - Текст : непосредственный. Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный. Digital image processing: techniques and applications, 1994. - XI,386 p. p. - Текст : непосредственный. Мищенко В.К. Архитектура высокопроизводительных вычислительных систем : учеб. пособие. Ч. 1, 2013. - 39 с. - Текст : непосредственный. MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный. Таненбаум Э. Архитектура компьютера / Э. Таненбаум, Т. Остин ; Пер. Е. Матвеев, 2015. - 811 с. - Текст : непосредственный. Коуги П.М. Архитектура конвейерных ЭВМ / П. М. Коуги ; Пер. Ф. В. Широков ; Ред. Б. А. Головкин, 1985. - 356 с. - Текст : непосредственный. Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный. Левин И.И. Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / И. И. Левин, 2004. - 38 с. - Текст : непосредственный. IBM Systems Journal / IBM. - Журнал выходит с 1962г. - Текст : непосредственный. Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный. Архитектура ЭВМ и организация вычислительных процессов : сборник / Ред. С. В. Емельянов, 1991. - 135 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Седухин С.Г. Проектирование оптимальных систолических систем для произведения матриц различной структуры / С. Г. Седухин, Г. З. Карапетян, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Стецюра Г.Г. Методы совмещения вычислений и передачи данных в многопроцессорных системах и локальных сетях / Г. Г. Стецюра, 2005. - 86 с. - Текст : непосредственный. Гуз Д.С. Некоторые алгоритмы анализа многопроцессорных систем реального времени / Д. С. Гуз, Д. В. Красовский, М. Г. Фуругян, 2005. - 41 с. - Текст : непосредственный. Косоруков Е.О. Некоторые алгоритмы распределения ресурсов в системах с нефиксированными длительностями работ / Е. О. Косоруков, М. Г. Фуругян, 2009. - 15 с. - Текст : непосредственный. Niemann K.-H. Ein hochsprachprogrammierbares Multiprozessorsystem fur den Einsatz in der Echtzeitdatenverarbeitung / K.-H. Niemann, 1989. - VI,186 S. S. - Текст : непосредственный. Rodder S. Aufbau und Eigenschaften von Hypercube-Rechnern und Untersuchung von Datentransferalgorithmen / S. Rodder, 1991. - X,166 S. S. - Текст : непосредственный. Abts D. balanced approach to high-level verification: performance tradeoffs in verifying large-scale multiprocessors / D. Abts, M. Roberts, D. J. Lilja, 1999. - 3 l. - Текст : непосредственный. Karavas A. Random search Optimierungsverfahren fur Parallelprozessorsysteme / A. Karavas, 1989. - Pag.var. - Текст : непосредственный. Michael W.F.M. Untersuchung uber Multiprozessor-Busnetzwerke / W. F.M. Michael, 1990. - 137 S. - Текст : непосредственный. Wise M. J. Prolog multiprocessors / M. J. Wise, 1986. - XII, 168 p. - Текст : непосредственный. Микропроцессорные системы и их применение : сборник научных трудов / Институт кибернетики им. В. М. Глушкова (Киев), 1990. - 83 с. - Текст : непосредственный. Kazi I.H. comprehensive dynamic processor allocation scheme for multiprogrammed multiprocessor systems / I. H. Kazi, D. J. Lilja, 2000. - 25 p. - Текст : непосредственный. Пульсирующие информационные решетки / В. И. Шмойлов, Б. П. Русын, М. Н. Кузьо, И. А. Заяц, 1999. - 68 с. - Текст : непосредственный. Гончар Д.Р. Мультиоценочный алгоритм решения минимаксной задачи составления расписания / Д. Р. Гончар, М. Г. Фуругян, 2008. - 16 с. - Текст : непосредственный. Гергель В.П. Высокопроизводительные вычисления для многопроцессорных многоядерных систем : выставочные материалы / В. П. Гергель, 2010. - 543 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Организация параллельных структур БИС на основе базовых матричных кристаллов / А. И. Стасюк, В. С. Мазурчук, Ф. Е. Лисник, 1989. - 49 c. - Текст : непосредственный. Parallel architectures and neural networks : сборник / Сост. E. R. Caianiello, 1989. - VIII, 203 p. 203 p. - Текст : непосредственный. Пухов Г.Е. Вычислительные устройства на таймерных скаляторах / Г. Е. Пухов, В. Ф. Бардаченко, Ю. В. Королев, 1991. - 216 с. - Текст : непосредственный. Boxma O.J. Queueing-theoretic solution methods for models of parallel and distributed systems / O. J. Boxma, G. Koole, Z. Liu, 1994. - 24 p. - Текст : непосредственный. Parallel architectures and languages Europe : материалы временных коллективов / Ed.: D. Etiemble, J. C. Syre, 1992. - XVII,984 p. p. - Текст : непосредственный. Karavas A. Random search Optimierungsverfahren fur Parallelprozessorsysteme / A. Karavas, 1989. - Pag.var. - Текст : непосредственный. DeCegama A.L. Parallel processing architectures and VLSI hardware / A. L. DeCegama, 1989. - XIII,478 p. p. - Текст : непосредственный. Harada K. Efficiency of a parallel computer with 3-dimensional skew matrices / K. Harada, T. Iwamiya, 1993. - 47 p. - Текст : непосредственный. Zhao Q. Using hyperprediction to compensate for delayed updates in value predictors / Q. Zhao, S. J. Lee, D. J. Lilja, 2001. - 27 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽