Программные продукты и системы

Статьи журнала №4 2008

1. Эвристические и точные методы программной конвейеризации циклов [№4 за 2008 год]
Авторы: Вьюкова Н.И. (niva@niisi.msk.ru) - НИИСИ РАН, г. Москва; Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Самборский С.В. (sambor@niisi.msk.ru) - НИИСИ РАН, г. Москва;
Аннотация:
Ключевое слово:
Keyword:
Просмотров: 14238

2. Многомерная конвейеризация циклов [№4 за 2008 год]
Авторы: Вьюкова Н.И. (niva@niisi.msk.ru) - НИИСИ РАН, г. Москва; Самборский С.В. (sambor@niisi.msk.ru) - НИИСИ РАН, г. Москва;
Аннотация:
Ключевое слово:
Keyword:
Просмотров: 10616

3. Моделирование и верификация программ как элемент контролируемого выполнения [№4 за 2008 год]
Авторы: Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук; Малиновский А.С.;Шмырев Н.В. () - ;
Аннотация:
Ключевое слово:
Keyword:
Просмотров: 8372

4. Организация профилирования сложных систем в условиях дефицита ресурсов [№4 за 2008 год]
Авторы: Малиновский А.С. () - ; Шмырев Н.В. (shmyrev@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН), г. Москва, кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук;
Аннотация:
Ключевое слово:
Keyword:
Просмотров: 10294

5. Методы повышения быстродействия и надежности многопортовых коммутаторов Ethernet для ЭВМ кластерного типа [№4 за 2008 год]
Авторы: Бобков С.Г. (bobkov@cs.niisi.ras.ru) - Научно-исследовательский институт системных исследований РАН, г. Москва (директор);
Аннотация:
Ключевые слова: кольцевая технология, сеть, локальная сеть, ethernet, вычислительная система
Keywords: , network, local network, ethernet, computational system
Просмотров: 15054

6. Формальные методы верификации RTL-моделей сверхбольших интегральных схем [№4 за 2008 год]
Автор: Новожилов Е.Е. () - ;
Аннотация:
Ключевые слова: программирование устройств, rtl-модель, микросхемы, устройства, сбис
Keywords: , RTL model, microchips, , vlsi
Просмотров: 17225

7. Исследование методов сегментации изображений [№4 за 2008 год]
Авторы: Грибков И.В. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Захаров А.В. (zaharov@niisi.msk.ru) - НИИСИ РАН, г. Москва; Кольцов П.П. (koltsov@niisi.msk.ru) - НИИСИ РАН, г. Москва, доктор технических наук; Котович Н.В. (kotovich@niisi.msk.ru) - НИИСИ РАН, г. Москва; Кравченко А.А. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Куцаев А.С. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Осипов А.С. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация:
Ключевые слова: обработка изображений, методы сегментации, сегментация изображения
Keywords: image processing, ,
Просмотров: 23654

8. Алгоритмы восстановления функции через ее усреднения по подмножествам [№4 за 2008 год]
Авторы: Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Граев М.И. (akoganov@yandex.ru) - НИИСИ РАН, Москва, доктор физико-математических наук;
Аннотация:
Ключевые слова: алгоритм, математика, восстановление функции
Keywords: algorithm, ,
Просмотров: 12988

9. Фазовый переход наработки на отказ в растущих вычислительных сетях [№4 за 2008 год]
Авторы: Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Сазонов А.Н. (sazonov@rg.ru) - ООО «Дойчебанк», г. Москва;
Аннотация:
Ключевые слова: надежность, вычислительная среда, граф, отказоустойчивость
Keywords: reliability, computational environment, graph, fail-safety
Просмотров: 11545

10. Иерархический подход при тепловом проектировании электронных изделий [№4 за 2008 год]
Авторы: Мадера А.Г. (alexmadera@mail.ru) - НИИСИ РАН (профессор, зав. отделом), доктор технических наук;
Аннотация:
Ключевые слова: тепловое проектирование, моделирование, иерархия, электронные изделия
Keywords: thermal design, modeling, ,
Просмотров: 10959

| 1 | 2 | 3 | 4 | 5 | 6 | Следующая → ►