Ар10-24611 Булычев, П. Е. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М., 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Кл.слова (ненормированные): программы для эвм -- верификация -- реструктуризация -- математические методы -- алгоритмы -- формальный язык -- структуры крипке -- проверка симуляций -- обнаружение клонов Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар10-24726 Дроздов, А. Ю. Компонентный подход к построению оптимизирующих компиляторов [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.11 / А. Ю. Дроздов. - М., 2010. - 50 с. : ил. - Библиогр.: с. 45-50 (36 назв.)
Кл.слова (ненормированные): оптимизирующая компиляция -- программы для эвм -- статический анализ -- внутрипроцедурные трансформации -- планирование -- разбиение на потоки Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар11-6695 Моряков, А. В. Разработка методик и программ для решения уравнения переноса излучения на основе параллельных вычислений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / А. В. Моряков. - М., 2011. - 22 с. - Библиогр.: с. 22 (8 назв.) В надзаг.: Нац. исслед. центр "Курчатовский ин-т", Ин-т ядерных реакторов
Кл.слова (ненормированные): ядерные энергетические установки -- перенос излучения -- программы для эвм -- многопроцессорные компьютеры -- параллельные вычисления Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР10-29867 Ключников, И. Г. Выявление и доказательство свойств функциональных программ методами суперкомпиляции [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05/13/11 / И. Г. Ключников. - М., 2010. - 20 с. - Библиогр.: с. 20 (10 назв.)
Кл.слова (ненормированные): программы для эвм -- верификация -- программирования язык Haskell Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар11-23183 Макошенко, Д. В. Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Д. В. Макошенко. - Новосибирск, 2011. - 23 с. - Библиогр.: с. 22 (7 назв.)
Кл.слова (ненормированные): программы для эвм -- оптимизация Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-4482 Щербаков, А. А. Расчет рассеяния света в плоско-слоистых диэлектрических средах, содержащих микро- и наночастицы [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.04.03 / А. А. Щербаков. - Долгопрудный, 2012. - 22 с. : ил. - Библиогр.: с. 20-22
Кл.слова (ненормированные): органические светодиоды -- многослойные структуры -- рассеивающие слои -- методы расчета -- программы для эвм Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-10501 Марьясов, И. В. Верификация C-программ с помощью смешанной аксиоматической семантики [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Марьясов. - Новосибирск, 2012. - 18 с. - Библиогр.: с. 15-17 (11 назв.)
Кл.слова (ненормированные): программы для эвм -- верификация Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар11-31074 Захаров, В. А. Проблема эквивалентности программ: модели, алгоритмы, сложность [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.09 / В. А. Захаров. - М., 2011. - 42 с. - Библиогр.: с. 35-42 (60 назв.)
Кл.слова (ненормированные): программы для эвм -- эквивалентность -- теоретическое исследование Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-17330 Шеенок, Д. А. Многокритериальная оптимизация отказоустойчивой программной архитектуры специализированными эволюционными алгоритмами [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / Д. А. Шеенок. - Красноярск, 2013. - 22 с. : ил. - Библиогр.: с. 20-22 (20 назв.)
Кл.слова (ненормированные): программы для эвм -- оптимизация Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-4520 Исходжанов, Т. Р. Автоматический поиск ошибок в компьютерных программах с применением динамического анализа [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Т. Р. Исходжанов. - М., 2013. - 21 с. - Библиогр.: с. 21 (5 назв.). - 100 экз.
Кл.слова (ненормированные): программы для эвм -- ошибки -- динамическое тестирование Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар14-6315 Бирюкова, А. А. Методы и алгоритмы поддержки процессов жизненного цикла программного продукта с большим количеством профессиональных пользователей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. А. Бирюкова. - М., 2014. - 22 с. : ил. - Библиогр.: с. 20-22 916 назв.). - 100 экз.
Кл.слова (ненормированные): программы для эвм -- жизненный цикл Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар15-3282 Подымов, В. В. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Подымов. - М., 2015. - 24 с. : ил. - Библиогр.: с. 24 (7 назв.). - 100 экз.
Кл.слова (ненормированные): программы для ЭВМ -- эквивалентность Экземпляры всего 1: ХР (1) Свободны: ХР (1) |