Приложение
для AndroidПолное описание
Spilling, P. Manray-a replicated workers program in Manifold / P.Spilling,F.Arbab. - Amsterdam : [s. n.], 1993. - 26 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9337). - 10 р. - Текст : непосредственный.
Библиогр.:с.17-18
| ГРНТИ | УДК | |
| 50.33.03 | 004.438 | |
| 50.05.09 |
Рубрики:
Программирования языки -- Manifold
Параллельные вычисления
Доп. точки доступа:
Arbab, F.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыВзгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Основы компьютерной архитектуры / ВЦП. - 8 c. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Система вычислительных машин серии 400 : Справочник по основному курсу эксплуатации / ВЦП. - 87 c. - Текст : непосредственный.Вычислительный комплекс серии 400 : Руководство по базовому курсу технической эксплуатации / ВЦП. - 57 c. - Текст : непосредственный.Модем М 212 Секьюрити плас 11 / ВЦП. - 14 c. - Текст : непосредственный.Мультипроцессорный компьютер MARA 2286 C - модульная структура для приложения реального времени / ВЦП. - 62 c. - Текст : непосредственный.Болохов Ю.А. Организация вычислений на многопроцессорных вычислительных системах при решении задач с древовидными алгоритмами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Болохов, 1991. - 19 с. - Текст : непосредственный.Ченсизбаев Б.А. Разработка методов и средств обеспечения живучести распределенных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Б. А. Ченсизбаев, 1991. - 19 с. - Текст : непосредственный.Вольперт А.Б. Взаимодействие последовательных алгоритмов:описание,моделирование и анализ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Б. Вольперт, 1991. - 20 с. - Текст : непосредственный.Хмадех Гассан.Управляющие пространства в параллельных вычислениях : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Хмадех Гассан, 1991. - 12 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Табаков В.З. Блочные методы решения задач моделирования динамических объектов для параллельных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. З. Табаков, 1991. - 16 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Ашневиц А.А. Разработка моделей для выбора КТС распределенных систем обработки данных минимальной стоимости с заданными характеристиками временных задержек и надежности : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / А. А. Ашневиц, 1990. - 18 с. - Текст : непосредственный.
Показать все результатыPonse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Fich F.E. The complexity of computation on the parallel random access machine / F.E.Fich, 1992. - 38,20 p. p. - Текст : непосредственный.Tromp J.T. On update-last schemes / J.T.Tromp, 1992. - 3 p. - Текст : непосредственный.Lioen W.M. Parallelizing a highly vectorized multigrid code with zebra relaxation / W.M.Lioen, 1992. - 16 p. - Текст : непосредственный.Louter-Nool M. Numerical multigrid software:MGD5M, a parallel multigrid code with a twisted ILLU-relaxation / M.Louter-Nool, 1992. - 11 p. - Текст : непосредственный.Moran S. A lower bound on wait-free counting / S.Moran,G.Taubenfeld, 1993. - 9 p. - Текст : непосредственный.Vaandrager F.W. Expressiveness results for process algebras / F.W.Vaandrager, 1993. - 30 p. - Текст : непосредственный.Lynch N.A. Forward and backward simulations. Pt. 1 : Untimed systems, 1993. - 35 p. - Текст : непосредственный.Lynch N.A. Forward and backward simulations. Pt. 2 : Timing-based systems, 1993. - 36 p. - Текст : непосредственный.Spilling P. Manray-a replicated workers program in Manifold / P.Spilling,F.Arbab, 1993. - 26 p. - Текст : непосредственный.Bakker, Jacobus Willem de. Comparative semantics for linear arrays of communicating processes / Bakker J. W. de, Breugel F. van, Bruin A. de, 1993. - 14 p. - Текст : непосредственный.Breugel F.van Three metric domains of processes for bisimulation / F.van Breugel, 1993. - 17 p. - Текст : непосредственный.Fernando R.T.P. Bisimulations and predicate logic / R.T.P.Fernando, 1993. - 15 p. - Текст : непосредственный.Fernando R.T.P. Operational semantics,bisimulations and logical complexity / R.T.P.Fernando, 1993. - 12 с. - Текст : непосредственный.Natural and artificial parallel computation / ed. M. A. Arbib, ed. J. A. Robinson, 1990. - 345 p. - Текст : непосредственный.Green S. Parallel processing for computer graphics / S.Green, 1991. - 233 p. - Текст : непосредственный.Nguyen huu Cong.Explicit parallel two-step Runge-Kutta-Nystrom methods / Nguyen huu Cong, 1994. - 13 p. - Текст : непосредственный.
Показать все результатыИванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Лютый В.Г. Язык модуля -90К и его реализация : Автореферат диссертации на соискание ученой степени кканд.физ.-мат.наук:05.13.11 / В. Г. Лютый, 1993. - 16 с. - Текст : непосредственный.Перекрытия .Турбо Паскаль изнутри. Гл.13- гл.15. / ВЦП. - 65 c. - Текст : непосредственный.Турбо-Паскаль : Справочное руководство пользователя. Гл.1-17 / ВЦП. - 277 c. - Текст : непосредственный.Турбо-Паскаль : Справочное руководство пользователя. Гл.18-27 / ВЦП. - 290 c. - Текст : непосредственный.Соловьев И.П. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка Пролог : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. П. Соловьев, 1995. - 15 с. - Текст : непосредственный.Климов А.А. Разработка и экспериментальная реализация интеграции переборных средств языков ПРОЛОГ и РЕФАЛ в синтаксическую среду языка ТУРБО ПАСКАЛЬ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Климов, 1996. - 14 с. - Текст : непосредственный.Аксенов К.Е. Разработка переносимого программного обеспечения средствами ЛИСП : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов, 1998. - 17 с. - Текст : непосредственный.Абдрахимов И.С. Процедурная семантика и стратегия поиска решения в системе Флэнг : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов, 1998. - 15 с. - Текст : непосредственный.Саввин К.О. Исследование возможности применения Constraint-пролога с вероятностью для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. О. Саввин, 1999. - 16 с. - Текст : непосредственный.Белов М.А. Базовый язык программирования МКП и его реализация : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. А. Белов, 1991. - 20 с. - Текст : непосредственный.Кротов А.Н. Принципы реализации семантики языка Си++ в системе 3C++ : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Кротов, 2002. - 24 с. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Arnson R. The Waite group's MS-DOS QBasis programmer's reference : монография / R.Arnson,C.Gemmell,H.Henderson, 1991. - XII,619 p. p. - Текст : непосредственный.Turbo C user's guide : Version 2.0, 1988. - XV,412 p. мкф.Turbo C reference guide : Version 2.0, 1988. - XIX,608 p. мкф.Classen L. UNIX und C : Ein Anwenderhandbuch / L.Classen,U.Oefler, 1990. - 234 S. - Текст : непосредственный.Werner D. BASIC fur Mikrorechner : Programmentwicklung,Sprachelemente,Anwendungen / D.Werner, 1988. - 240 S. - Текст : непосредственный.Hopfer R. Informationsverarbeitung mit PASCAL / R.Hopfer, 1989. - 331 S. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽