Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=статический анализ<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
Вид документа : Однотомное издание
Шифр издания : Ар10-24726
Автор(ы) : Дроздов А.Ю.
Заглавие : Компонентный подход к построению оптимизирующих компиляторов : автореф. дис. ... д-ра техн. наук : 05.13.11
Выходные данные : М., 2010
Колич.характеристики :50 с.: ил
Примечания : Библиогр.: с. 45-50 (36 назв.)
ГРНТИ : 50.41
УДК : 004.422.8'422(043)
Ключевые слова (''Своб.индексиров.''): оптимизирующая компиляция--программы для эвм--статический анализ--внутрипроцедурные трансформации--планирование--разбиение на потоки
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : Ар10-28109
Автор(ы) : Прокопенко А.С.
Заглавие : Статический анализ условий гонки в параллельных программах на разделяемой памяти : автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Выходные данные : М., 2010
Колич.характеристики :23 с.
Примечания : Библиогр.: с. 22-23 (11 назв.)
ГРНТИ : 50.33.04
УДК : 004.42.032.24(043)
Ключевые слова (''Своб.индексиров.''): программирование параллельное--многопроцессорные системы--многопоточные алгоритмы--верификация--статический анализ--вычислительные эксперименты
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : Ар12-9071
Автор(ы) : Бабичев С.Л.
Заглавие : Статический анализ проблем синхронизации параллельных алгоритмов в вычислительных системах с общей памятью : автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Выходные данные : М., 2012
Колич.характеристики :24 с.: ил
Примечания : Библиогр.: с. 22-23 (9 назв.)
ГРНТИ : 50.33.04
УДК : 004.272.2(043)
Ключевые слова (''Своб.индексиров.''): параллельные вычисления--параллельные алгоритмы--статический анализ
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)