Приложение
для AndroidПолное описание
Manegold, S. On optimal pipeline processing in parallel query execution / S.Manegold,F.Waas,M.L.Kersten. - Amsterdam : [s. n.], 1998. - 18 p. : ill. - (Report:Information systems / CWI, ISSN 1386-3681 ; INS-R9805). - 10.00 р. - Текст : непосредственный.
Библиогр.: с.18
| ГРНТИ | УДК | |
| 50.33.05 | 004.272.2 |
Рубрики:
Параллельные вычисления
Кл.слова (ненормированные): банк данных
Доп. точки доступа:
Waas, F.
Kersten, M.L.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Grunwald P.D. Causation,explanation and nonmonotonic temporal reasoning / P.D.Gr@:unwald, 1997. - 27 p. - Текст : непосредственный.Akker J.F.van der Designing active objects in DEGAS / J.F.van der Akker,A.P.J.M.Siebes, 1997. - 31 p. - Текст : непосредственный.Eijck D.J.N.van Typed logics with states / D.J.N.van Eijck, 1997. - 20 p. - Текст : непосредственный.Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems / D.J.Duke,I.Herman,T.Rist,M.Wilson, 1997. - 10 p. - Текст : непосредственный.Duke D.J. Programming paradigms in an object-oriented multimedia standard / D.J.Duke,I.Herman, 1997. - 15 p. - Текст : непосредственный.Francez N. On the direction of fibring feature logics with concatenation logics / N.Francez, 1997. - 9 p. - Текст : непосредственный.Francez N. Hypothetical-reasoning and radical non-constituent coordination in categorial logic / N.Francez, 1997. - 11 p. - Текст : непосредственный.PREMO: A case study in formal methods and multimedia system specification / D.A.Duce,D.J.Duke,G.Faconti и др., 1997. - 39 p. - Текст : непосредственный.Grunwald P.D. sufficient cause principle and reasoning about action / P.D.Gr@:unwald, 1997. - 52 p. - Текст : непосредственный. Karlsson J.S. Scalable storage for a DBMS using transparent distribution / J.S.Karlsson,M.L.Kersten, 1997. - 13 p. - Текст : непосредственный.Manegold S. Efficient resource utilization in shared-everything environments / S.Manegold,J.K.Obermaier, 1997. - 14 p. - Текст : непосредственный.Eijck D.J.N.van Dynamic reasoning without variables / D.J.N.van Eijck, 1998. - 27 p. - Текст : непосредственный.Struzik Z.R. Wavelet transform in similarity paradigm I / Z.R.Struzik,A.P.Siebes, 1998. - 23 p. - Текст : непосредственный.Struzik Z.R. Removing divergences in the negative moments of the multi-fractal partition function with the wavelet transformation / Z.R.Struzik, 1998. - 11 p. - Текст : непосредственный.Nivelle J.M.de Manual of the TYPO type checker / J.M.de Nivelle, 1998. - 23 p. - Текст : непосредственный.Manegold S. On optimal pipeline processing in parallel query execution / S.Manegold,F.Waas,M.L.Kersten, 1998. - 18 p. - Текст : непосредственный.Herman I. Tree visualisation and navigation clues for information visualisation / I.Herman,M.Delest,G.Melancon, 1998. - 15 p. - Текст : непосредственный.Kersten M.L. feature database for multimedia objects / M.L.Kersten,N.Nes,M.A.Windhouwer, 1998. - 10 p. - Текст : непосредственный.Waas F. Efficient enumeration of non-isomorphic processing trees / F.Waas, 1998. - 12 p. - Текст : непосредственный.Waas F. Exploiting cost distributions for query optimization / F.Waas,J.Pellenkoft, 1998. - 17 p. - Текст : непосредственный.
Показать все результатыДанг Конг Тьен.Моделирование взаимодействия конечных пользователей с ЭВМ : Автореферат диссертации на соискание ученой степени канд. экон. наук:08.00.13 / Данг Конг Тьен, 1993. - 19 с. - Текст : непосредственный.Павлова О.И. Анализ процесса инверсионного обслуживания с прерываниями в системе ограниченной емкости с распределениями фазового типа : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / О. И. Павлова, 1993. - 19 с. - Текст : непосредственный.Эль-Нимри Лина Савайя.Учебно-исследовательский комплекс программ для моделирования процессов и их взаимодействий : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / Эль-Нимри Лина Савайя, 1994. - 16 с. - Текст : непосредственный.Нальский А.А. Стабилизация микроклимата в корпусах ЭВС конструктивно-технологическими средствами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.05 / А. А. Нальский, 2000. - 23 с. - Текст : непосредственный.IEEE Transactions on Broadcasting / IEEE. - Журнал.Bordegoni M. Multimedia in views / M.Bordegoni, 1992. - 47 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. - Текст : непосредственный.IEEE Parallel <& >Distributed Technology / IEEE. - Журнал выходит с 1993г.Husberg N. High level distributed transition systems in categories : Diss. / N.Husberg, 1992. - 119 p. - Текст : непосредственный.Nguyen huu Cong.Explicit parallel two-step Runge-Kutta-Nystrom methods / Nguyen huu Cong, 1994. - 13 p. - Текст : непосредственный.Мультимедиа / Под ред. Петренко А.И., 1994. - 271 c. - Текст : непосредственный.Multimedia and supercomputing processors, 1992. - Pag var var. - Текст : непосредственный.Breugel F.van Generalizing finiteness conditions of labelled transition systems / F.van Breugel, 1993. - 25 p. - Текст : непосредственный.Alber A.F. Interactive computer systems : Videotex and multimedia / A.F.Alber, 1993. - XVIII,433 p. p. - Текст : непосредственный.Седякин В.П. Справочник по компакт-дискам CD-ROM и мультимедиа / В.П.Седякин,М.В.Левнер;Ред.В.П.Седякин, С.А.Христочевский, 1995. - 277 c. - Текст : непосредственный.Фролов А.В. Мультимедиа для Windows : Руководство для программиста / А.В.Фролов,Г.В.Фролов, 1994. - 284 с. - Текст : непосредственный.Hintum J.E.A.van A multimedia constraint system / J.E.A.van Hintum,G.J.Reynolds, 1995. - 12 p. - Текст : непосредственный.Herman I. PREMO:An emerging standard for multimedia presentation / I.Herman,G.J.Reynolds,J.van Loo, 1995. - 18 p. - Текст : непосредственный.Иванов В.Н. Мультимедиа для студентов-физиков : Учеб. пособие / В. Н. Иванов, И. В. Марусева, И. А. Серегин, 1995. - 50 c. - Текст : непосредственный.Комягин В.Б. Программирование мультимедиа-приложений / В.Б.Комягин, 1995. - 362 c. - Текст : непосредственный.
Показать все результаты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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽