Полное описание
Arbab, F.
ГРНТИ УДК 50.33.03 004.272.2
Рубрики: Параллельные вычисления
Кл.слова (ненормированные): ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ -- ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ
Доп. точки доступа: Rutten, J.J.M.M.
Centrum voor wiskunde en informatica (Amsterdam)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0216)
Шифр в сводном ЭК: e9a90141eeeca3ac570fc7d16fefad7f
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. - Текст : непосредственный. Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Veltkamp R.C. Geometric constraint satisfaction / R. C. Veltkamp, F. Arbab, 1991. - 24 p. - Текст : непосредственный. Rutten J.J.M.M. Processes as terms: Non-wellfounded models for bisimulation / J. J.M.M. Rutten, 1992. - 19 p. - Текст : непосредственный. Rutten E.P.B.M. Formal specification of Manifold : сборник научных трудов / E. P.B.M. Rutten, F. Arbab, I. Herman, 1992. - 34 p. - Текст : непосредственный. Arbab F. MANIFOLD: a language for specification of inter-process communication / F. Arbab, I. Herman, 1990. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Reusability of coordination programs / F. Arbab, C. L. Blom, F. J. Burger, C. T.H. Everaars, 1996. - 14 p. - Текст : непосредственный. Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный. transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Arbab F. Examples in Manifold / F. Arbab, I. Herman, 1990. - 25 p. - Текст : непосредственный. Rutten J.J.M.M. Initial algebra and final coalgebra semantics for concurrency / J. J.M.M. Rutten, D. Turi, 1994. - 57 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
GKS input model in Manifold / D.Soede,F.Arbab,I.Herman,P.J.W. ten Hagen, 1991. - 20 p. - Текст : непосредственный. Papadopoulos G.A. Coordination models and languages / G.A.Papadopoulos,F.Arbab, 1998. - 55 p. - Текст : непосредственный. Показать все результаты Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный. Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный. Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный. Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный. Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный. transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный. Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный. Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный. Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный. Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный. Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный. Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный. Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный. Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный. Показать все результаты Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный. Hemker P.W. Fourier two-level analysis for discontinuous Galerkin discretization with linear elements / P. W. Hemker, W. Hoffmann, M.H. van Raalte, 2002. - 19 p. - Текст : непосредственный. Hunt G.W. Cylindrical shell buckling: a characterization of localization and periodicity / G. W. Hunt, G. J. Lord, M. A. Peletier, 2002. - 18 p. - Текст : непосредственный. Williams H.C. New computations concerning the Cohen-Lenstra heuristics / H. C. Williams, H.J.J. te Riele, 2002. - 20 p. - Текст : непосредственный. Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R8957 : Strong completeness for Hoare logics of recursive processes: an infinitary approach / A.Ponse,F.J.de Vries, 1989. - 36 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R8947 : Components,frameworks and GKS input / D.A.Duce,R.van Liere,P.J.W.ten Hagen, 1989. - 16 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R9028 : Process algebra with a zero object / J.C.M.Baeten,J.A.Bergstra, 1990. - 14 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 с. - Текст : непосредственный. Показать все результаты 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. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
