Полное описание
Boer, F. S.de Перевод заглавия: Вложение как средство сравнения языка
ГРНТИ УДК 50.33.04 004.42.032.24
Рубрики: Программирование для ЭВМ параллельное
Кл.слова (ненормированные): ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа: Palamidessi, C.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9102)
Шифр в сводном ЭК: 5fe0de2854b66a7ca380959ef3dda23f
Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный. America P.H.M. proof theory for a sequential version of POOL / P. H.M. America, F. S.de Boer, 1991. - 110 p. - Текст : непосредственный. Boer F.S.de proof theory for the language POOL / F. S.de Boer, 1991. - 73 p. - Текст : непосредственный. failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный. Control flow versus logic: a denotational and a declarative model for quarded Horn clauses / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 15 p. - Текст : непосредственный. Semantic models for a version of Parlog / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 30 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный. CONCUR 2000 - Concurrency theory : 11th Intern. conf., University Park(Pa), Aug.22-25, 2000Proc. / Ed. C. Palamidessi, 2000. - XI,612 p. p. - Текст : непосредственный. America P.H.M. proof theory for process creation / P.H.M.America,F.S.de Boer, 1991. - 83 p. - Текст : непосредственный. Apt K.R. A declarative approach for first-order built-in's of Prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 45 p. - Текст : непосредственный. Boer F.S. de fully abstract model for concurrent logic languages / F.S. de Boer,C.Palamidessi, 1990. - 24 p. - Текст : непосредственный. channel-based coordination model for components / F.Arbab,F.S.deBoer,M.M.Bonsangue,J.V.Guillen Scholten, 2001. - 15 p. - Текст : непосредственный. MoCha: a framework for coordination using mobile channels / F.Arbab,F.S.deBoer,M.M.Bonsangue,J.V.Guillen Scholten, 2001. - 14 p. - Текст : непосредственный. Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный. Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 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. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. 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. - Текст : непосредственный. Показать все результаты Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 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. - Текст : непосредственный. Показать все результаты Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Параллельное программирование на OpenMPI Java с приложениями в Math Partner : учеб. пособие : в 2 ч. / Г. И. Малашонок [и др.] ; Тамбов. гос. ун-т им. Г. Р. Державина. Ч. 2, 2016. - 77 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. C-DVM - язык разработки мобильных параллельных программ / Н. А. Коновалов, В. А. Крюков, А. А. Погребцов, Ю. Л. Сазанов, 1997. - 37 с. - Текст : непосредственный. Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный. Мирзеабасов О.А. Программирование для вычислительных кластеров : учебное пособие / О. А. Мирзеабасов, 2007. - 79 с. - Текст : непосредственный. Лупин С.А. Технологии параллельного программирования : учебное пособие / С. А. Лупин, М. А. Посыпкин, 2008. - 205 с. - Текст : непосредственный. Kuchen H. Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berucksichtigung applikativer Datenstrukturen / H. Kuchen, 1989. - 252 S. - Текст : непосредственный. Эндрюс Г.Р. Основы многопоточного, параллельного и распределенного программирования : монография / Г. Р. Эндрюс, 2003. - 505 с. - Текст : непосредственный. Жуков Л.А. Параллельное программирование / Л. А. Жуков, 2004. - 115 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мирошниченко Е.А. Технология проектирования параллельного и распределенного программного обеспечения с использованием PS-сетей : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. техн. наук / Е. А. Мирошниченко, 1997. - 19 с. - Текст : непосредственный. Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Борзунов С.В. Практикум по параллельному программированию : выставочные материалы / С. В. Борзунов, С. Д. Кургалин, М. В. Куцов, 2016. - 78 с. - Текст : непосредственный. Параллельное программирование на OpenMPI Java с приложениями в Math Partner : учеб. пособие : в 2 ч. / Г. И. Малашонок [и др.] ; Тамбов. гос. ун-т им. Г. Р. Державина. Ч. 2, 2016. - 77 с. - Текст : непосредственный. Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. C-DVM - язык разработки мобильных параллельных программ / Н. А. Коновалов, В. А. Крюков, А. А. Погребцов, Ю. Л. Сазанов, 1997. - 37 с. - Текст : непосредственный. Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный. Мирзеабасов О.А. Программирование для вычислительных кластеров : учебное пособие / О. А. Мирзеабасов, 2007. - 79 с. - Текст : непосредственный. Лупин С.А. Технологии параллельного программирования : учебное пособие / С. А. Лупин, М. А. Посыпкин, 2008. - 205 с. - Текст : непосредственный. Kuchen H. Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berucksichtigung applikativer Datenstrukturen / H. Kuchen, 1989. - 252 S. - Текст : непосредственный. Ластовецкий А.Л. Язык и система параллельного программирования для разработки программ, эффективно переносимых в классе распределенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / А. Л. Ластовецкий, 1997. - 32 с. - Текст : непосредственный. Жуков Л.А. Параллельное программирование / Л. А. Жуков, 2004. - 115 с. - Текст : непосредственный. Воронов В.Ю. Методы разработки параллельных программ на основе машинного обучения / В. Ю. Воронов, 2009. - 16 с. - Текст : непосредственный. Shared memory parallel programming with openMP / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Шматок А.В. Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. В. Шматок, 2004. - 18 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
