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


Что искать

Искать в:

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

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

  1. Гринёв М., Кузнецов С. К исчерпывающему множеству правил перезаписи для оптимизации XQuery: опыт BizQuery. 6th East-European Conference on Advances in Databases and Information Systems (ADBIS) LNCS 2435, 2002, p. 340-345.
  2. Гринёв М., Кузнецов С. UQL: Язык запросов к интегрированным данным в терминах UML. Программирование, N6, 2002, стр. 9-19.
  3. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Механизмы перехода с IPv4 на IPv6. Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 23-28.
  4. И. Агамирзян, С.Г. Грошев, А.В. Хорошилов, Г.В. Ключников, А.С. Косачев, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Применение формальных методов для тестирования MSR IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 29-33.
  5. Шнитман В.З. Основные концепции и особенности семейства протоколов IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 34-36.
  6. Захаров В.А., Костылев Е.В. Быстрые алгоритмы антиунификации и их применение при анализе программ. Материалы XIII Международной школы-семинара «Синтез и сложность управляющих систем", 2002, Пенза, с. 76-81.
  7. I.Bourdonov, A.Kossatchev, V.Kuliamin, and A.Petrenko. UniTesK Test Suite Architecture. Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.
  8. Семенов В.А., Морозов С.В., Тарлапан О.А., Николаенко М.Н. CASE технология для построения корпоративных систем в промышленности на основе стандартов STEP. Сборник докладов IV международной научно-практической конференции "Компьютерные технологии сопровождения и поддержки наукоемкой продукции на всех этапах жизненного цикла", г. Королев, 28-29 ноября 2002 г. Издательство: НИЦ CALS-технологий «Прикладная логистика», 2002. Стр. 96-99.
  9. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 3-5.
  10. А.В. Чернов. Анализ запутывающих преобразований программ. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 7-38.
  11. А.И. Аветисян, Д. А. Грушин, А.Г. Рыжов. Системы управления кластерами. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 39-62.
  12. П.Н. Яковенко. Средства анализа параллельных SPMD программ. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 63-85.
  13. О.И. Самоваров, И.В. Арапов, В.В. Бабкова. Объектная модель JSCALA. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 87-102.
  14. В.Н. Юдин. Система информационной поддержки врачебных решений, основанная на модифицированном методе динамического кластерного анализа. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 103-119.
  15. А.А. Жданов, М.В. Караваев. Применение нечеткой логики в имитационной системе автономного адаптивного управления. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 121-137.
  16. В.В. Рубанов. Способы отображения объектов в реляционных базах данных. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 139-164.
  17. В.В. Рубанов, М.А. Миткевич, Д.А. Марковцев, А.И. Гриневич. Ядро объектно-реляционной системы ODESTOR. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 165-179.

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