Полное описание
>
Fich, F. E. The complexity of computation on the parallel random access machine / F.E.Fich. - Toronto : [s. n.], 1992. - 38,20 p. p. : ill. - (Technical report / Univ. of Toronto ; n265/92). - 10 р. - Текст : непосредственный.
Библиогр.:с.33-38
| ГРНТИ | УДК | |
| 50.33.03 | 004.272.2 |
Рубрики:
Параллельные вычисления
>
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:
Gibbons P.B. The use of hill-climbing to construct orthogonal Steiner trimple systems : отчет / P.B.Gibbons,R.Mathon, 1992. - 20 p. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Fich F.E. The complexity of computation on the parallel random access machine / F.E.Fich, 1992. - 38,20 p. p. - Текст : непосредственный.Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D.G.Corneil,S.Olariu,L.Stewart, 1995. - 21 p. - Текст : непосредственный.Giesbrecht M.W. Nearly optimal algorithms for canonical matrix forms / M.W.Giesbrecht, 1993. - 192 p. - Текст : непосредственный.Pruesse G. Efficient generation of linear extensions and other restricted permutations : Diss. / G.Pruesse, 1993. - 82 p. - Текст : непосредственный.Moorhouse T.B. Characterizing hereditary graph classes by subgraph intersections : Diss. / T.B.Moorhouse, 1994. - 87 p. - Текст : непосредственный.survey of the explicit Runge-Kutta method / W.H.Enright,D.J.Higham,B.Owren,P.Sharp, 1994. - 33 p. - Текст : непосредственный.Enright W.H. Interpolating Runge-Kutta methods for vanishing delay differential equations / W.H.Enright,M.Hu, 1994. - 34 p. - Текст : непосредственный.Urquhart A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu, 1995. - 21 p. - Текст : непосредственный.Nguyen A.P. A formal system for linear space reasoning : Diss. / A.P.Nguyen, 1996. - 62,21 p. p. - Текст : непосредственный.Ma K. The recognition of permutation functions : Diss. / K.Ma, 1995. - 95 p. - Текст : непосредственный.Gao S. Gauss periods,primitive normal bases, and fast exponentiation in finite fields / S.Gao,J.vonZur Gathen,D.Panario, 1995. - 26 p. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods : Diss. / H.Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Nguyen H. Interpolation and error control schemes for algebraic differential equations using continuous implicit Runge-Kutta methods : Diss. / H.Nguyen, 1995. - III,97 p. p. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M.Molloy,B.Reed, 1996. - 36 p. - Текст : непосредственный.Riedel M.R. Applications of the Melin-Perron formula in number theory : Diss. / M.R.Riedel, 1996. - IX,138,21 p. p. - Текст : непосредственный.Rupport E. Determining consensus number / E.Rupport, 1996. - 21 p.ill. - Текст : непосредственный.Kearney P.E. The relationship between a phylogeny and its ordinal assertions / P.E.Kearney, 1997. - VI,107,6 p. p. - Текст : непосредственный.Muir P. Order barriers and characterizations for continuous mono-implicit rungekutta schemes / P.Muir,B.Owren, 1991. - 22 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽