Приложение
для AndroidПолное описание
Штейнберг, Р. Б. Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Р. Б. Штейнберг. - М. : [б. и.], 2012. - 22 с. : ил. - Библиогр.: с. 20-22 (18 назв.). - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.33.04 | 004.272.22(043) |
Кл.слова (ненормированные): параллельные вычисления -- конвейерные архитектуры
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Раджаб Моханнад.Модель взаимодействующих сетей Петри : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Раджаб Моханнад, 1991. - 16 с. - Текст : непосредственный.Дильман М.И. Разработка и исследование консервативных алгоритмов синхронизации параллельных процессов при распределенном моделировании дискретных систем на транспьютерных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / М. И. Дильман, 1993. - 24 с. - Текст : непосредственный.Иванов Н.Н. Методология анализа временных стохастических сетей Петри и ее использование при исследовании и моделировании дискретных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / Н. Н. Иванов, 1997. - 44 с. - Текст : непосредственный.Сидорова Н.С. Преобразования сетей Петри : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.17 / Н. С. Сидорова, 1998. - 15 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры и сети Петри: взаимосвязь и сравнительный анализ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. П. Устименко, 1997. - 19 с. - Текст : непосредственный.Григорьев А.В. Представление генетических алгоритмов сетями Петри в задаче размещения : автореф. дис. .. канд. техн. наук : 05.13.18 / А. В. Григорьев, 2002. - 19 с. - Текст : непосредственный.Шакирова Н.Ф. Исследование последовательно-параллельных сценариев в сетях Петри и разработка методов их поиска : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Н. Ф. Шакирова, 2003. - 31 с. - Текст : непосредственный.Башкин В.А. Бисимуляция ресурсов в сетях Петри : автореф. дис. .. канд. физ.-мат. наук : 05.13.17 / В. А. Башкин, 2003. - 22 с. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Journal Parallel Distributed Computing. - Журнал. Parallel Computing. - Журнал.Vaandrager F.W. Expressiveness results for process algebras / F.W.Vaandrager, 1993. - 30 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Breugel F.van Relating state transformation semantics and predicate transformer semantics for parallel programs / F.van Breugel, 1993. - 20 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 с. - Текст : непосредственный.Hatcher P.J. Data-parallel programming on MIMD computers / P.J.Hatcher,M.J.Quinn, 1991. - 231 p. - Текст : непосредственный.
Показать все результатыРусанова О.В. Модели конвейерных вычислений и метод их структурной интерпретации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. В. Русанова, 1992. - 16 с. - Текст : непосредственный.Голомидов Г.С. Методы анализа и синтеза высокопроизводительных вычислительных систем с векторно-конвейерной архитектурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. С. Голомидов, 1992. - 20 с. - Текст : непосредственный.Саак А.Э. Анализ функционирования параллельно-конвейерных систем в условиях неопределенности : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / А. Э. Саак, 1993. - 18 с. - Текст : непосредственный.Родионов В.М. Организация локальной и удаленной обработки в операционной системе модульного конвейерного процессора : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / В. М. Родионов, 1993. - 21 с. - Текст : непосредственный.Кульков Г.Б. Разработка методов синтеза временных диаграмм конвейерных структур ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. Б. Кульков, 1994. - 17 с. - Текст : непосредственный.Копейкин Ю.А. Методы и алгоритмы автоматизированного синтеза архитектур многофункциональных конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Копейкин, 1994. - 16 с. - Текст : непосредственный.Чефранов А.Г. Методы и средства адаптивного управления ресурсами параллельно-конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.13, 05.13.16 / А. Г. Чефранов, 1998. - 32 с. - Текст : непосредственный.Хашковский В.В. Разработка и исследование методов организации параллельно-конвейерных систем массового ввода : автореф. дис. .. канд. техн. наук : 05.13.17, 05.13.15 / В. В. Хашковский, 2002. - 19 с. - Текст : непосредственный.Исследование разреженной модели базовых блоков для оптимизации потока команд вычислительного конвейера : автореф. дис. .. канд. техн. наук : 05.13.18 / П. М. Довгалюк, 2007. - 20 с. - Текст : непосредственный.Моделирование и анализ иерархических многопроцессорных систем баз данных : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / П. С. Костенецкий, 2010. - 16 с. - Текст : непосредственный.Исследование методов реализации алгоритмов обработки больших потоков данных за счет конвейерного распараллеливания : автореф. дис. .. канд. техн. наук : 05.13.18 / К. Ф. Лысаков, 2010. - 18 с. - Текст : непосредственный.Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Р. Б. Штейнберг, 2012. - 22 с. - Текст : непосредственный.Осинин И.П. Организация параллельно-конвейерных СБИС-структур с реконфигурируемой микроядерной архитектурой на основе арифметики разрядных срезов : автореф. дис. .. канд. техн. наук : 05.13.15, 05.13.05 / И. П. Осинин, 2013. - 19 с.
Заказ фрагмента документа ₽