- Гринёв М., Лизоркин Д. Подстановка вызовов функций XQuery для оптимизации XQuery-запросов. ADBIS, 2004.
- Фомичёв А., Гринёв М., Кузнецов С. Организация хранения XML на основе описательных схем. Technical Report, 2004.
- Гринёв М., Фомичёв А., Кузнецов С. СУБД Sedna: технические особенности и варианты использования. «Открытые системы», № 08, 2004.
- Плешачков П., Новак Л. Изоляция транзакций в прирождённой XML СУБД Sedna. SYRCoDIS 2004.
- Рекуц М. Интерфейс Программирования Приложений для XML СУБД: предложение по проектированию и реализации. SYRCoDIS 2004.
- Фомичёв А. Методы хранения и работы с XML. SYRCoDIS 2004.
- Ключников Г.В., Косачев А.С., Пакулин Н.В., Петренко А.К., Никешин А.В., Мишин Д.С., Москалев Д.В., Шнитман В.З. Исследования IPv6 в ИСП РАН. Международная конференция "Интернет нового поколения - IPv6", Москва 2004, стр. 9- 14.
- Пакулин Н.В. Формальная спецификация протокола IPsec. Международная конференция "Интернет нового поколения - IPv6", Москва 2004, стр. 14-23.
- Захаров В.А., Захарьящев И.М. О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 105-109.
- Захаров В.А., Захарьящев И.М. О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 131-134.
- Захаров В.А. Об одной алгебраической модели программ, связанной с обработкой прерываний. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 129-131.
- Захаров В.А., Костылев Е.В. Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 134-137.
- Захаров В.А., Иванов К.С. Об одной модели последовательных программ с динамической памятью. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 112-116.
- И.Б.Бурдонов. Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. Программирование, №6, 2004.
- И.Б.Бурдонов. Обход неизвестного ориентированного графа конечным роботом. Программирование, №4, 2004.
- А.С.Косачев, Ф.Куттер, М.А.Посыпкин. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования. Программирование, №4, 2004, стр. 52-67.
- И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированнный случай. Программирование, №1, 2004,стр. 4-24.
- V.Kuliamin. Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. Proc of ISOLA 2004, Cyprus, October 2004, pp. 311-316.
- V.Kuliamin, A.K.Petrenko. Applying Model Based Testing in Different Contexts. Proc. of Seminar on Perspectives on Model Based Testing, Dagstuhl, Germany, September 2004.
- V.Kuliamin. Multi-paradigm Models as Source for Automated Test Construction. Proc. of Workshop on Model Based Testing, Barcelona, Spain, March 2004. Electronic Notes in Theoretical Computer Science 111:137-160, 2005, Elseveir.
- Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Информационная инфраструктура и программная платформа для поддержки междисциплинарных проектов в науке и промышленности. Приложение №1 к журналу «Успехи современного естествознания» №5, 2004 г. Материалы XXXI международной конференции и дискуссионного научного клуба “Информационные технологии в науке, образовании, телекоммуникации и бизнесе” IT+SE’2004. Издательство: РАЕ, 2004. Стр. 309-312.
- В.А. Семенов, С.В. Морозов, С.А. Порох, О.А. Тарлапан Междисциплинарная интеграция на основе информационных стандартов и моделей. Информационные технологии в образовании, технике и медицине: Материалы международной конференции в 3-х т.т. Том: 1. Издательство: ВолгГТУ, 2004. Стр. 263-268.
- Семенов В.А., Бажан А.А., Морозов С.В., Порох С.А., Тарлапан О.А. Комплексные информационные решения на основе платформы OpenSTEP для междисциплинарной интеграции в области архитектуры и строительства. Сборник научных трудов международного российско-германского симпозиума “Применение информационных технологий в строительстве и учебном процессе” Москва, Санкт-Петербург, 12-18 сентября 2004 г. Издательство: МГСУ, 2004. Стр. 161-166.
- Об Институте системного программирования.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 5-6
- С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 7-40.
- В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 41-62.
- В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев, М.А. Миткевич. Динамическая поддержка расширений процессора в кросс-системе.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 63-88.
- А.Я. Калинов, К.А. Карганов, К.В. Хоренко. Команда "шаг" в параллельных отладчиках.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 89-100.
- В.В. Кулямин, В. А. Омельченко, О. Л. Петренко. Обучение передовым технологиям разработки ПО: проблемы и методы их решения.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 101-120.
- A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов. Подход UniTesK к разработке тестов: достижения и перспективы.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 121-156.
- К.В. Антипин, А.В. Фомичев, М.Н. Гринев, С.Д. Кузнецов, Л.Г. Новак, П.О. Плешачков, М.П. Рекуц, Д.Р. Ширяев. Оперативная интеграция данных на основе XML: системная архитектура BizQuery.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 157-174.
- В.А. Семенов, Е.В. Алексеева, С.В. Морозов, О.А. Тарлапан. Композиционный подход к построению программных приложений визуализации.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 175-214.
- А.А. Жданов. О роли аппарата эмоций как системообразующего фактора в адаптивных системах управления.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 215-226.
- Н.Н. Мансуров. Архитектурно-управляемая модернизация существующего программного обеспечения.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 227-248.
- Н.Н. Кузюрин, С.А. Фомин. Покрытие графов циклами и быстрое восстановление оптоволоконных сетей.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 249-268.
- А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid.
Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 269-280.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 5-6
- А.И. Поспелов. Анализ одного алгоритма упаковки прямоугольников, связанного с построением расписаний для кластеров.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 7-12.
- С.Н. Жук. Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 13-26.
- С.А. Фомин. Быстрый приближенный алгоритм для задачи положительного линейного программирования.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 27-40.
- Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 41-50
- М.Н. Вялый. Алгоритмические задачи с таблицами значений булевых полиномов.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 51-64.
- Т.В. Андреева. Об унимодальности декартовой степени звезд.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 65-84.
- Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 85-100.
- N.N. Kuzjurin. Probabilistic analysis of the greedy algorithm.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 101-108.
- Н.Н. Кузюрин, С.А. Мартишин, М.В. Храпченко. Генетические алгоритмы в задаче поиска часто встречающихся комбинаций.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 109-126.
- N.P. Varnovsky. A note on the concept of obfuscation.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 127-136.
- K.S. Ivanov, V.A. Zakharov. Program obfuscation as obstruction of program static analysis.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 137-156.
- A.V. Shokurov. An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 157-178.
- I.M. Zakharyaschev, V.A. Zakharov. On the equivalence-checking problem for polysemantic models of sequential programs.
Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 179-198.
- А.А. Жданов. Предисловие.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 5-16.
- А.Л. Микаэлян, Б.В. Крыжановский. Биологический алгоритм распознавания сильно скоррелированных образов.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 17-26.
- А.А. Жданов, Г.Я. Кантор, А.Б. Эфрон. Логический адаптивный управляющий автомат с конечным числом входов.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 27-40.
- М.В. Караваев. Применение нечеткой логики в имитационной системе автономного адаптивного управления.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 41-54.
- В.Б. Новосельцев, Е.А. Романчук. О манипулировании знаниями с использованием нечетких множеств.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 55-60.
- C.А. Бондаренко, А.А. Жданов, Б.М. Магомедов. Принятие решений в автономных адаптивных системах управления, основанное на выявлении закономерных последовательностей действий.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 61-70.
- В.Г. Редько. Анализ геометрического метода формирования модульной структуры нейронных сетей.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 71-78.
- Л.В. Земских, Е.К. Самаров, А.А.Жданов, В.В. Бабкова. Применение генетических алгоритмов для оптимизации адаптивной системы управления мобильного робота на параллельном вычислительном комплексе.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 79-104.
- А.В. Сыцко. Система управления автономным мобильным роботом на основе адаптивного резонанса.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 105-110.
- А.Е. Устюжанин, А.А. Жданов. Совмещение подходов адаптивного управления и детерминированного хаоса для построения эффективных автономных управляющих систем.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 111-118.
- А.А. Жданов, Д.Б. Липкевич. AdCAS - система автономного адаптивного управления активной подвеской автомобиля.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 119-160.
- А.Е. Антипов. Применение метода ААУ к прогнозированию временных рядов.
Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 161-170.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 5-6.
- А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 9-24.
- В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 25-40.
- С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 41-58.
- М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 59-76.
- А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 77-98.
- А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 99-116.
- Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 117-136.
- В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 137-158.
- Ю.Н. Фонин, С. Грассман. Архитектура и принципы построения операционной среды «мини-ОС».
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 159-166.
- Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман. Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 167-198.
- К.В. Буздин. Исполнение моделей при помощи виртуальной машины.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 199-210.
- М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев.
Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 211-228.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 5-6.
- П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 7-14.
- П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 15-21.
- В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 21-52.
- В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 53-92.
- Д.А. Лизоркин. Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 93-120.
- Д.А. Лизоркин. Язык запросов к совокупности XML-документов, соединенных при помощи ссылок языка XLink.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 121-154.
- М.П. Рекуц. Виды ограничений целостности в базах XML-данных.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 155-168.
- Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 169-180.
- С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 181-200.
- А.В. Инюхин. Открытая Т–система: распределённые вычисления в Internet.
Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 201-214.
Вернуться к списку всех публикаций