Приложение
для AndroidПолное описание
A transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten. - Amsterdam : [s. n.], 1998. - 38 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9829). - Библиогр.: с. 34-37. - Текст : непосредственный.
Библиогр.:с.34-37
| ГРНТИ | УДК | |
| 50.05.05 | 004.272.2 |
Рубрики:
Параллельные вычисления
Кл.слова (ненормированные): ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ -- ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ -- ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа:
Bonsangue, M.M.
Arbab, F.
Bakker, Jacobus Willem de
Ritten, J.J.M.M.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9829)
Шифр в сводном ЭК: 7c0a7b882679c79effa8063bb27d1858
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. - Текст : непосредственный.Veltkamp R.C. Geometric constraint satisfaction / R. C. Veltkamp, F. Arbab, 1991. - 24 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. - Текст : непосредственный.Arbab F. Examples in Manifold / F. Arbab, I. Herman, 1990. - 25 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. - Текст : непосредственный.Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: proceedings / ed. M. M. Bonsangue, 2007 r=on-line. - Текст : электронный.Bonsangue M.M. Comparing coordination models and architectures using embeddings / M.M.Bonsangue,J.N.Kok,G.Zavattaro, 2000. - 33 p. - Текст : непосредственный.Boer F.S. de compositional model for confluent dynamic data-flow networks / F.S. de Boer,M.M.Bonsangue, 2000. - 15 p. - Текст : непосредственный.Arbab F. logical interface description language for components / F.Arbab,M.M.Bonsangue,F.S. de Boer, 2000. - 17 p. - Текст : непосредственный.Fundamentals of software engineering : 3rd IPM International conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009: revised selected papers / eds. F. Arbab, M. Sirjani, 2010 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
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. - Текст : непосредственный.
Показать все результаты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. A calculus of transition systems(towards universal coalgebra) / J.J.M.M.Rutten, 1995. - 25 p. - Текст : непосредственный.
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. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽