Публикации за 2004 год


Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2004 год

  1. Гринёв М., Лизоркин Д. Подстановка вызовов функций XQuery для оптимизации XQuery-запросов. ADBIS, 2004.
  2. Фомичёв А., Гринёв М., Кузнецов С. Организация хранения XML на основе описательных схем. Technical Report, 2004.
  3. Гринёв М., Фомичёв А., Кузнецов С. СУБД Sedna: технические особенности и варианты использования. «Открытые системы», № 08, 2004.
  4. Плешачков П., Новак Л. Изоляция транзакций в прирождённой XML СУБД Sedna. SYRCoDIS 2004.
  5. Рекуц М. Интерфейс Программирования Приложений для XML СУБД: предложение по проектированию и реализации. SYRCoDIS 2004.
  6. Фомичёв А. Методы хранения и работы с XML. SYRCoDIS 2004.
  7. Ключников Г.В., Косачев А.С., Пакулин Н.В., Петренко А.К., Никешин А.В., Мишин Д.С., Москалев Д.В., Шнитман В.З. Исследования IPv6 в ИСП РАН. Международная конференция "Интернет нового поколения - IPv6", Москва 2004, стр. 9- 14.
  8. Пакулин Н.В. Формальная спецификация протокола IPsec. Международная конференция "Интернет нового поколения - IPv6", Москва 2004, стр. 14-23.
  9. Захаров В.А., Захарьящев И.М. О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 105-109.
  10. Захаров В.А., Захарьящев И.М. О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 131-134.
  11. Захаров В.А. Об одной алгебраической модели программ, связанной с обработкой прерываний. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 129-131.
  12. Захаров В.А., Костылев Е.В. Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 134-137.
  13. Захаров В.А., Иванов К.С. Об одной модели последовательных программ с динамической памятью. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 112-116.
  14. И.Б.Бурдонов. Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. Программирование, №6, 2004.
  15. И.Б.Бурдонов. Обход неизвестного ориентированного графа конечным роботом. Программирование, №4, 2004.
  16. А.С.Косачев, Ф.Куттер, М.А.Посыпкин. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования. Программирование, №4, 2004, стр. 52-67.
  17. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированнный случай. Программирование, №1, 2004,стр. 4-24.
  18. 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.
  19. 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.
  20. 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.
  21. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Информационная инфраструктура и программная платформа для поддержки междисциплинарных проектов в науке и промышленности. Приложение №1 к журналу «Успехи современного естествознания» №5, 2004 г. Материалы XXXI международной конференции и дискуссионного научного клуба “Информационные технологии в науке, образовании, телекоммуникации и бизнесе” IT+SE’2004. Издательство: РАЕ, 2004. Стр. 309-312.
  22. В.А. Семенов, С.В. Морозов, С.А. Порох, О.А. Тарлапан Междисциплинарная интеграция на основе информационных стандартов и моделей. Информационные технологии в образовании, технике и медицине: Материалы международной конференции в 3-х т.т. Том: 1. Издательство: ВолгГТУ, 2004. Стр. 263-268.
  23. Семенов В.А., Бажан А.А., Морозов С.В., Порох С.А., Тарлапан О.А. Комплексные информационные решения на основе платформы OpenSTEP для междисциплинарной интеграции в области архитектуры и строительства. Сборник научных трудов международного российско-германского симпозиума “Применение информационных технологий в строительстве и учебном процессе” Москва, Санкт-Петербург, 12-18 сентября 2004 г. Издательство: МГСУ, 2004. Стр. 161-166.
  24. Об Институте системного программирования. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 5-6
  25. С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 7-40.
  26. В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 41-62.
  27. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев, М.А. Миткевич. Динамическая поддержка расширений процессора в кросс-системе. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 63-88.
  28. А.Я. Калинов, К.А. Карганов, К.В. Хоренко. Команда "шаг" в параллельных отладчиках. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 89-100.
  29. В.В. Кулямин, В. А. Омельченко, О. Л. Петренко. Обучение передовым технологиям разработки ПО: проблемы и методы их решения. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 101-120.
  30. A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов. Подход UniTesK к разработке тестов: достижения и перспективы. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 121-156.
  31. К.В. Антипин, А.В. Фомичев, М.Н. Гринев, С.Д. Кузнецов, Л.Г. Новак, П.О. Плешачков, М.П. Рекуц, Д.Р. Ширяев. Оперативная интеграция данных на основе XML: системная архитектура BizQuery. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 157-174.
  32. В.А. Семенов, Е.В. Алексеева, С.В. Морозов, О.А. Тарлапан. Композиционный подход к построению программных приложений визуализации. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 175-214.
  33. А.А. Жданов. О роли аппарата эмоций как системообразующего фактора в адаптивных системах управления. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 215-226.
  34. Н.Н. Мансуров. Архитектурно-управляемая модернизация существующего программного обеспечения. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 227-248.
  35. Н.Н. Кузюрин, С.А. Фомин. Покрытие графов циклами и быстрое восстановление оптоволоконных сетей. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 249-268.
  36. А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 269-280.
  37. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 5-6
  38. А.И. Поспелов. Анализ одного алгоритма упаковки прямоугольников, связанного с построением расписаний для кластеров. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 7-12.
  39. С.Н. Жук. Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 13-26.
  40. С.А. Фомин. Быстрый приближенный алгоритм для задачи положительного линейного программирования. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 27-40.
  41. Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 41-50
  42. М.Н. Вялый. Алгоритмические задачи с таблицами значений булевых полиномов. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 51-64.
  43. Т.В. Андреева. Об унимодальности декартовой степени звезд. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 65-84.
  44. Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 85-100.
  45. N.N. Kuzjurin. Probabilistic analysis of the greedy algorithm. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 101-108.
  46. Н.Н. Кузюрин, С.А. Мартишин, М.В. Храпченко. Генетические алгоритмы в задаче поиска часто встречающихся комбинаций. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 109-126.
  47. N.P. Varnovsky. A note on the concept of obfuscation. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 127-136.
  48. K.S. Ivanov, V.A. Zakharov. Program obfuscation as obstruction of program static analysis. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 137-156.
  49. A.V. Shokurov. An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 157-178.
  50. I.M. Zakharyaschev, V.A. Zakharov. On the equivalence-checking problem for polysemantic models of sequential programs. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 179-198.
  51. А.А. Жданов. Предисловие. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 5-16.
  52. А.Л. Микаэлян, Б.В. Крыжановский. Биологический алгоритм распознавания сильно скоррелированных образов. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 17-26.
  53. А.А. Жданов, Г.Я. Кантор, А.Б. Эфрон. Логический адаптивный управляющий автомат с конечным числом входов. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 27-40.
  54. М.В. Караваев. Применение нечеткой логики в имитационной системе автономного адаптивного управления. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 41-54.
  55. В.Б. Новосельцев, Е.А. Романчук. О манипулировании знаниями с использованием нечетких множеств. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 55-60.
  56. C.А. Бондаренко, А.А. Жданов, Б.М. Магомедов. Принятие решений в автономных адаптивных системах управления, основанное на выявлении закономерных последовательностей действий. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 61-70.
  57. В.Г. Редько. Анализ геометрического метода формирования модульной структуры нейронных сетей. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 71-78.
  58. Л.В. Земских, Е.К. Самаров, А.А.Жданов, В.В. Бабкова. Применение генетических алгоритмов для оптимизации адаптивной системы управления мобильного робота на параллельном вычислительном комплексе. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 79-104.
  59. А.В. Сыцко. Система управления автономным мобильным роботом на основе адаптивного резонанса. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 105-110.
  60. А.Е. Устюжанин, А.А. Жданов. Совмещение подходов адаптивного управления и детерминированного хаоса для построения эффективных автономных управляющих систем. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 111-118.
  61. А.А. Жданов, Д.Б. Липкевич. AdCAS - система автономного адаптивного управления активной подвеской автомобиля. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 119-160.
  62. А.Е. Антипов. Применение метода ААУ к прогнозированию временных рядов. Труды Института системного программирования РАН. Том 7, 2004 г. Стр. 161-170.
  63. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 5-6.
  64. А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 9-24.
  65. В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 25-40.
  66. С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 41-58.
  67. М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 59-76.
  68. А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 77-98.
  69. А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 99-116.
  70. Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 117-136.
  71. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 137-158.
  72. Ю.Н. Фонин, С. Грассман. Архитектура и принципы построения операционной среды «мини-ОС». Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 159-166.
  73. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман. Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 167-198.
  74. К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 199-210.
  75. М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 211-228.
  76. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 5-6.
  77. П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 7-14.
  78. П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 15-21.
  79. В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 21-52.
  80. В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 53-92.
  81. Д.А. Лизоркин. Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 93-120.
  82. Д.А. Лизоркин. Язык запросов к совокупности XML-документов, соединенных при помощи ссылок языка XLink. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 121-154.
  83. М.П. Рекуц. Виды ограничений целостности в базах XML-данных. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 155-168.
  84. Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 169-180.
  85. С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 181-200.
  86. А.В. Инюхин. Открытая Т–система: распределённые вычисления в Internet. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 201-214.

Вернуться к списку всех публикаций