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