Приложение
для AndroidПолное описание
Moran, S. A lower bound on wait-free counting / S.Moran,G.Taubenfeld. - Amsterdam : [s. n.], 1993. - 9 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9307). - 5 р. - Текст : непосредственный.
Библиогр.:с.9
| ГРНТИ | УДК | |
| 50.33.03 | 004.272.2 |
Рубрики:
Параллельные вычисления
Доп. точки доступа:
Taubenfeld, G.
Имеются экземпляры в отделах: всего 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. - Текст : непосредственный.
Показать все результатыОсновы компьютерной архитектуры / ВЦП. - 8 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.13 / В. З. Табаков, 1991. - 16 с. - Текст : непосредственный.Ашневиц А.А. Разработка моделей для выбора КТС распределенных систем обработки данных минимальной стоимости с заданными характеристиками временных задержек и надежности : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / А. А. Ашневиц, 1990. - 18 с. - Текст : непосредственный.Каргина Л.А. Модели и процедуры управления распределенными вычислительными процессами : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.13 / Л. А. Каргина, 1990. - 19 с. - Текст : непосредственный.Корхмазов Г.С. Разработка специализированных вычислительных устройств и систем на основе учета особенностей разрядного представления информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Корхмазов, 1991. - 23 с. - Текст : непосредственный.Кекелидзе В.М. Разработка и исследование моделей и методов планирования параллельных вычислительных процессов на основе формального аппарата сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12;05.13.13 / В. М. Кекелидзе, 1991. - 20 с. - Текст : непосредственный.Юсупов К.М. Конвейерные мультигистограммные и разрядно-срезовые процессоры ранговой фильтрации изображений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / К. М. Юсупов, 1991. - 16 с. - Текст : непосредственный.Шарафиддин Мухамед Абдул-Рауф.Обобщенное преобразование Уолша-Адамара и некоторые вопросы его применения для решения задач обработки и распознавания изображения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Шарафиддин Мухамед Абдул-Рауф, 1991. - 16 с. - Текст : непосредственный.Шабля А.Н. Структуры форминвариантных обнаружений малоразмерных объектов заданной формы : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05:05.12.17 / А. Н. Шабля, 1991. - 19 с. - Текст : непосредственный.Фаязов Х.Ф. Теория,реализация и использование нелинейного представления информации в вычислительных системах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.25.05 / Х. Ф. Фаязов, 1991. - 47 с. - Текст : непосредственный.Морару В.А. Оценка производительности структур ЭВМ управляемых потоком данных статической архитектуры : Автореферат диссертации на соискание ученой степени канед.тезн.наук:05.13.13 / В. А. Морару, 1991. - 18 с. - Текст : непосредственный.Морозов С.И. Организация управления вычислениями в распределенных многопроцессорных системах с макроконвейерной обработкой данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. И. Морозов, 1991. - 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. - Текст : непосредственный.
Показать все результатыВольперт А.Б. Взаимодействие последовательных алгоритмов:описание,моделирование и анализ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Б. Вольперт, 1991. - 20 с. - Текст : непосредственный.Хмадех Гассан.Управляющие пространства в параллельных вычислениях : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Хмадех Гассан, 1991. - 12 с. - Текст : непосредственный.Табаков В.З. Блочные методы решения задач моделирования динамических объектов для параллельных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. З. Табаков, 1991. - 16 с. - Текст : непосредственный.Кекелидзе В.М. Разработка и исследование моделей и методов планирования параллельных вычислительных процессов на основе формального аппарата сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12;05.13.13 / В. М. Кекелидзе, 1991. - 20 с. - Текст : непосредственный.Родина Н.В. Организация параллельных вычислений в распределенных управляющих системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. В. Родина, 1991. - 20 с. - Текст : непосредственный.Русанова О.В. Модели конвейерных вычислений и метод их структурной интерпретации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. В. Русанова, 1992. - 16 с. - Текст : непосредственный.Тепляков Л.В. Априорные оценки времени выполнения комплексов взаимосвязанных работ на параллельных вычислительных системах при сбоях и отказах их компонент : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13;05.13.16 / Л. В. Тепляков, 1992. - 21 с. - Текст : непосредственный.Голомидов Г.С. Методы анализа и синтеза высокопроизводительных вычислительных систем с векторно-конвейерной архитектурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Голомидов, 1992. - 20 с. - Текст : непосредственный.Прейдунов Ю.В. Разработка математических моделей и методов для прогнозирования выполнения сложных программных комплексов на параллельных вычислительных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13,05.13.16 / Ю. В. Прейдунов, 1992. - 16 с. - Текст : непосредственный.Важенин А.П. Методы и средства параллельной высокоточной арифметики на базе систем вертикальной обработки : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. П. Важенин, 1992. - 18 с. - Текст : непосредственный.Карапетян Г.З. Проектирование и анализ высокопараллельных вычислительных структур для умножения матриц : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:05.13.11 / Г. З. Карапетян, 1992. - 14 с. - Текст : непосредственный.Вартазарян А.Э. Параллельная реализация математических функций для архитектур с динамически изменяемой длиной операндов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Э. Вартазарян, 1993. - 16 с. - Текст : непосредственный.Дильман М.И. Разработка и исследование консервативных алгоритмов синхронизации параллельных процессов при распределенном моделировании дискретных систем на транспьютерных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / М. И. Дильман, 1993. - 24 с. - Текст : непосредственный.Танев И.Т. Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев, 1993. - 12 с. - Текст : непосредственный.АльМассри Мухаммад Исмаил.Разрядно-параллельные процессоры обработки вещественных чисел в непозиционных системах счисления : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / АльМассри Мухаммад Исмаил, 1993. - 17 с. - Текст : непосредственный.Саак А.Э. Анализ функционирования параллельно-конвейерных систем в условиях неопределенности : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / А. Э. Саак, 1993. - 18 с. - Текст : непосредственный.Родионов В.М. Организация локальной и удаленной обработки в операционной системе модульного конвейерного процессора : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / В. М. Родионов, 1993. - 21 с. - Текст : непосредственный.Эль-Нимри Лина Савайя.Учебно-исследовательский комплекс программ для моделирования процессов и их взаимодействий : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / Эль-Нимри Лина Савайя, 1994. - 16 с. - Текст : непосредственный.Малышкин В.Э. Организация параллельных вычислений в крупноблочных иерархических МВС : Автореферат диссертации на соискание ученой степени д-ра техн.наук в форме науч.докл. / В. Э. Малышкин, 1993. - 58 с. - Текст : непосредственный.Калмыкова И.А. Планирование параллельных вычислительных процессов на базе клеточных алгоритмов преобразования ордеревьев : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. А. Калмыкова, 1994. - 21 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽