Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№2
Ожидается:
16 Июня 2024
Статьи журнала №4 2008
1. Эвристические и точные методы программной конвейеризации циклов
[№4 за 2008 год]Авторы: Вьюкова Н.И. (niva@niisi.msk.ru) - НИИСИ РАН, г. Москва; Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Самборский С.В. (sambor@niisi.msk.ru) - НИИСИ РАН, г. Москва;
Аннотация:
Abstract:
Ключевое слово: Keyword:
Просмотров: 21113
1. Эвристические и точные методы программной конвейеризации циклов
[№4 за 2008 год]
Просмотров: 21113
Вьюкова Н.И. (niva@niisi.msk.ru) - НИИСИ РАН, г. Москва; Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Самборский С.В. (sambor@niisi.msk.ru) - НИИСИ РАН, г. Москва;
2. Многомерная конвейеризация циклов
[№4 за 2008 год]Авторы: Вьюкова Н.И. (niva@niisi.msk.ru) - НИИСИ РАН, г. Москва; Самборский С.В. (sambor@niisi.msk.ru) - НИИСИ РАН, г. Москва;
Аннотация:
Abstract:
Ключевое слово: Keyword:
Просмотров: 15136
2. Многомерная конвейеризация циклов
[№4 за 2008 год]
Просмотров: 15136
Вьюкова Н.И. (niva@niisi.msk.ru) - НИИСИ РАН, г. Москва; Самборский С.В. (sambor@niisi.msk.ru) - НИИСИ РАН, г. Москва;
3. Моделирование и верификация программ как элемент контролируемого выполнения
[№4 за 2008 год]Авторы: Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук; Малиновский А.С.;Шмырев Н.В. () - ;
Аннотация:
Abstract:
Ключевое слово: Keyword:
Просмотров: 12905
3. Моделирование и верификация программ как элемент контролируемого выполнения
[№4 за 2008 год]
Просмотров: 12905
Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук; Малиновский А.С.;Шмырев Н.В. () - ;
4. Организация профилирования сложных систем в условиях дефицита ресурсов
[№4 за 2008 год]Авторы: Малиновский А.С. () - ; Шмырев Н.В. (shmyrev@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН), г. Москва, кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук;
Аннотация:
Abstract:
Ключевое слово: Keyword:
Просмотров: 14585
4. Организация профилирования сложных систем в условиях дефицита ресурсов
[№4 за 2008 год]
Просмотров: 14585
Малиновский А.С. () - ; Шмырев Н.В. (shmyrev@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН), г. Москва, кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук;
[№4 за 2008 год]
Авторы: Бобков С.Г. (bobkov@cs.niisi.ras.ru) - Научно-исследовательский институт системных исследований РАН, г. Москва (директор);
Аннотация:
Keywords: , network, local network, ethernet, computational system
Просмотров: 21202
Авторы: Бобков С.Г. (bobkov@cs.niisi.ras.ru) - Научно-исследовательский институт системных исследований РАН, г. Москва (директор);
Аннотация:
Abstract:
Ключевые слова: кольцевая технология, сеть, локальная сеть, ethernet, вычислительная системаKeywords: , network, local network, ethernet, computational system
Просмотров: 21202
[№4 за 2008 год]
Просмотров: 21202
Бобков С.Г. (bobkov@cs.niisi.ras.ru) - Научно-исследовательский институт системных исследований РАН, г. Москва (директор);
6. Формальные методы верификации RTL-моделей сверхбольших интегральных схем
[№4 за 2008 год]Автор: Новожилов Е.Е. () - ;
Аннотация:
Abstract:
Ключевые слова: программирование устройств, rtl-модель, микросхемы, устройства, сбисKeywords: , RTL model, microchips, , vlsi
Просмотров: 23264
6. Формальные методы верификации RTL-моделей сверхбольших интегральных схем
[№4 за 2008 год]
Просмотров: 23264
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) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация:
Abstract:
Ключевые слова: обработка изображений, методы сегментации, сегментация изображенияKeywords: image processing, ,
Просмотров: 29311
7. Исследование методов сегментации изображений
[№4 за 2008 год]
Просмотров: 29311
Грибков И.В. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Захаров А.В. (zaharov@niisi.msk.ru) - НИИСИ РАН, г. Москва; Кольцов П.П. (koltsov@niisi.msk.ru) - НИИСИ РАН, г. Москва, доктор технических наук; Котович Н.В. (kotovich@niisi.msk.ru) - НИИСИ РАН, г. Москва; Кравченко А.А. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Куцаев А.С. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Осипов А.С. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
8. Алгоритмы восстановления функции через ее усреднения по подмножествам
[№4 за 2008 год]Авторы: Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Граев М.И. (akoganov@yandex.ru) - НИИСИ РАН, Москва, доктор физико-математических наук;
Аннотация:
Abstract:
Ключевые слова: алгоритм, математика, восстановление функцииKeywords: algorithm, ,
Просмотров: 18941
8. Алгоритмы восстановления функции через ее усреднения по подмножествам
[№4 за 2008 год]
Просмотров: 18941
Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Граев М.И. (akoganov@yandex.ru) - НИИСИ РАН, Москва, доктор физико-математических наук;
9. Фазовый переход наработки на отказ в растущих вычислительных сетях
[№4 за 2008 год]Авторы: Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Сазонов А.Н. (sazonov@rg.ru) - ООО «Дойчебанк», г. Москва;
Аннотация:
Abstract:
Ключевые слова: надежность, вычислительная среда, граф, отказоустойчивостьKeywords: reliability, computational environment, graph, fail-safety
Просмотров: 17422
9. Фазовый переход наработки на отказ в растущих вычислительных сетях
[№4 за 2008 год]
Просмотров: 17422
Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Сазонов А.Н. (sazonov@rg.ru) - ООО «Дойчебанк», г. Москва;
10. Иерархический подход при тепловом проектировании электронных изделий
[№4 за 2008 год]Авторы: Мадера А.Г. (alexmadera@mail.ru) - НИИСИ РАН (профессор, зав. отделом), доктор технических наук;
Аннотация:
Abstract:
Ключевые слова: тепловое проектирование, моделирование, иерархия, электронные изделияKeywords: thermal design, modeling, ,
Просмотров: 16190
10. Иерархический подход при тепловом проектировании электронных изделий
[№4 за 2008 год]
Просмотров: 16190
Мадера А.Г. (alexmadera@mail.ru) - НИИСИ РАН (профессор, зав. отделом), доктор технических наук;
