Приложение
для AndroidПолное описание
Holsheimer, M. Architectural support for data mining / M.Holsheimer,M.L.Kersten. - Amsterdam : [s. n.], 1994. - 12 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9429). - 100 р. - Текст : непосредственный.
Библиогр.:с.10-11
| ГРНТИ | УДК | |
| 20.53.19 | 004.657 | |
| 50.33.03 | 004.2 |
Рубрики:
Информационный поиск -- Автоматизация
Вычислительные машины -- Архитектура
Доп. точки доступа:
Kersten, M.L.
Имеются экземпляры в отделах: всего 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.16 / О. Е. Ткачева, 1991. - 16 с. - Текст : непосредственный.Болохов Ю.А. Организация вычислений на многопроцессорных вычислительных системах при решении задач с древовидными алгоритмами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Болохов, 1991. - 19 с. - Текст : непосредственный.Зайцев В.Б. Дезактивация фотовозбужденных молекул красителя на поверхностях твердых тел с зарядовой гетерогенностью : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.17 / В. Б. Зайцев, 1991. - 16 с. - Текст : непосредственный.Ченсизбаев Б.А. Разработка методов и средств обеспечения живучести распределенных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук: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. - 21 с. - Текст : непосредственный.Шишкин В.В. Организация и проектирование реконфигурируемых функционально распределенных систем обработки данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. В. Шишкин, 1991. - 16 с. - Текст : непосредственный.Корхмазов Г.С. Разработка специализированных вычислительных устройств и систем на основе учета особенностей разрядного представления информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Корхмазов, 1991. - 23 с. - Текст : непосредственный.Кекелидзе В.М. Разработка и исследование моделей и методов планирования параллельных вычислительных процессов на основе формального аппарата сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12;05.13.13 / В. М. Кекелидзе, 1991. - 20 с. - Текст : непосредственный.Юсупов К.М. Конвейерные мультигистограммные и разрядно-срезовые процессоры ранговой фильтрации изображений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / К. М. Юсупов, 1991. - 16 с. - Текст : непосредственный.Коваль А.И. Распространение уединенных волновых пакетов в периодических структурах с активной и реактивной нелинейностью : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.04.03 / А. И. Коваль, 1991. - 13 с. - Текст : непосредственный.
Показать все результатыБолохов Ю.А. Организация вычислений на многопроцессорных вычислительных системах при решении задач с древовидными алгоритмами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Болохов, 1991. - 19 с. - Текст : непосредственный.Вольперт А.Б. Взаимодействие последовательных алгоритмов:описание,моделирование и анализ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Б. Вольперт, 1991. - 20 с. - Текст : непосредственный.Хмадех Гассан.Управляющие пространства в параллельных вычислениях : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Хмадех Гассан, 1991. - 12 с. - Текст : непосредственный.Табаков В.З. Блочные методы решения задач моделирования динамических объектов для параллельных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. З. Табаков, 1991. - 16 с. - Текст : непосредственный.Корхмазов Г.С. Разработка специализированных вычислительных устройств и систем на основе учета особенностей разрядного представления информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Корхмазов, 1991. - 23 с. - Текст : непосредственный.Кекелидзе В.М. Разработка и исследование моделей и методов планирования параллельных вычислительных процессов на основе формального аппарата сетей Петри : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12;05.13.13 / В. М. Кекелидзе, 1991. - 20 с. - Текст : непосредственный.Фаязов Х.Ф. Теория,реализация и использование нелинейного представления информации в вычислительных системах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.25.05 / Х. Ф. Фаязов, 1991. - 47 с. - Текст : непосредственный.Морару В.А. Оценка производительности структур ЭВМ управляемых потоком данных статической архитектуры : Автореферат диссертации на соискание ученой степени канед.тезн.наук:05.13.13 / В. А. Морару, 1991. - 18 с. - Текст : непосредственный.Родина Н.В. Организация параллельных вычислений в распределенных управляющих системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. В. Родина, 1991. - 20 с. - Текст : непосредственный.Кузнецов И.Н. Организация двух систем команд в устройстве управления процессора ВК "Э1-КБ" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Н. Кузнецов, 1991. - 24 с. - Текст : непосредственный.Русанова О.В. Модели конвейерных вычислений и метод их структурной интерпретации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. В. Русанова, 1992. - 16 с. - Текст : непосредственный.Данько Ю.П. Методы и средства обеспечения эффективности механизмов отказоустойчивости многопроцессорного вычислительного комплекса : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. П. Данько, 1991. - 20 с. - Текст : непосредственный.Ле Тхай Хи.Теория и методы графической формулировки запросов к базам данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Ле Тхай Хи, 1992. - 15 с. - Текст : непосредственный.Лучин И.Н. Исследование отказоустойчивости параллельных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / И. Н. Лучин, 1991. - 16 с. - Текст : непосредственный.Панкратов С.А. Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. А. Панкратов, 1992. - 18 с. - Текст : непосредственный.Смирнов А.Ю. Операционная система для многопроцессорных вычислительных систем с разделяемой памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Ю. Смирнов, 1992. - 17 с. - Текст : непосредственный.Тепляков Л.В. Априорные оценки времени выполнения комплексов взаимосвязанных работ на параллельных вычислительных системах при сбоях и отказах их компонент : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13;05.13.16 / Л. В. Тепляков, 1992. - 21 с. - Текст : непосредственный.Голомидов Г.С. Методы анализа и синтеза высокопроизводительных вычислительных систем с векторно-конвейерной архитектурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Голомидов, 1992. - 20 с. - Текст : непосредственный.Прейдунов Ю.В. Разработка математических моделей и методов для прогнозирования выполнения сложных программных комплексов на параллельных вычислительных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13,05.13.16 / Ю. В. Прейдунов, 1992. - 16 с. - Текст : непосредственный.Рим Дек Сен .Графическое отображение и русская транскрипция библиографической и фактографической информации на японском и корейском языках : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / Рим Дек Сен , 1992. - 21 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽