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