Институт системного программирования им. В.П. Иванникова РАН


Что искать

Искать в:

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

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

  1. Шнитман В.З. Проблемы организации взаимодействия сетей, построенных на базе протоколов IPv4 и IPv6. Сб. тезисов докладов Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", г.Новороссийск, 2000г., стр. 16-17.
  2. Захаров В.А., Незнанов И.В. Операторные модели взаимодействующих процессов. Математические вопросы кибернетики, М: Физматлит, выпуск 9, 2000, с. 127-160.
  3. Захаров В.А. Общие методы построения разрешающих алгоритмов для эквивалентности пропозициональных операторных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 25-28.
  4. Захаров В.А., Соколова К.А. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 29-31.
  5. Захаров В.А. О проблеме эквивалентности для схем программ с операторами засылки констант. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 153-154.
  6. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Использование конечных автоматов для тестирования программ. Программирование, №2, 2000, стр.12-28.
  7. В.А. Семенов, П.Б. Крылов, С.В. Морозов, О.А. Тарлапан Объектно-ориентированная архитектура для приложений математического моделирования и научной визуализации. Журнал «Программирование». Том: 26. Номер: 2. Издательство: МАИК «Наука/Интерпериодика», 2000. Стр. 29-40.
  8. А.Л. Ластовецкий, А.Я. Калинов, И.Н. Ледовских, Д.М. Арапов, М.А. Посыпкин. Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 5-25.
  9. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 4.
  10. С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 26-38.
  11. И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 39-54.
  12. Н.Н. Мансуров. Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 55-76.
  13. А. А. Жданов, С. В. Арсеньев, В.А. Половников. Об одной методологии автономного адаптивного управления. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 77-99.
  14. В.П. Иванников, К.В. Дышлевой, С.Г. Манжелей, Л.Б. Соловская, А.Б. Шебуняев. Распределенные объектно-ориентированные системы. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 100-121.
  15. В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 122-137.
  16. Н.Н. Кузюрин, В.А. Захаров, А.Н. Холодов, Л.В. Шабанов, А.В. Шокуров. Эффективные алгоритмы и их программные реализации. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 138-148.

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