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


Что искать

Искать в:

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

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

Монографии

  1. В.В. Кулямин. Технологии программирования. Компонентный подход. М. Интернет-университет информационных технологий - БИНОМ. Лаборатория знаний, 2007.

Другие публикации

  1. Кристиансен Х., Рекуц М. Проверка и поддержание целостности в XML базах данных с помощью активных правил. In Proc. of BNCODwebim, BNCOD Workshop on Web Information management, Glasgow, UK, 2-3 July, 2007.
  2. Гринёва М.П., Гринёв М.Н. Триггеры на выборку данных в XML-ориентированных СУБД: эффективная реализация с использованием теневого механизма. Программирование, 2007, N 4, стр. 32-45.
  3. Плешачков П., Кузнецов С. SXDGL: Протокол Управления Согласованностью Основанный на Моментальных Снимках для XML данных. VLDB Symposium XSym 2007.
  4. Турдаков Д. Рекомендательная система основанная на создаваемом пользователем содержимом. SYRCoDIS, 2007.
  5. Пастухов Р. Метод выполнения полнотекстовых запросов в прирождённых XML базах данных. SYRCoDIS, 2007.
  6. К.В. Ребриков, В.З. Шнитман Протоколы автоматического установления контекстов безопасности и управления ключами в Интернет. Препринт ИСП РАН, 19. М., 2007, стр. 72.
  7. Н.В. Пакулин Применение формальных методов для тестирования реализаций сложных современных протоколов. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 11-18.
  8. А.В. Хорошилов О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 19-25.
  9. В.В. Кулямин Подходы к организации сложных тестовых наборов". Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 4-11.
  10. Н.В. Пакулин, А.В. Хорошилов Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов. Журнал "Программирование" № 5, 2007 г., стр. 1-29.
  11. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. Современные методы обфускации программ: классификация и сравнительный анализ. Известия Южного федерального университета. Технические науки, 2007, том 76, № 1, с. 93-99.
  12. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Шокуров А.В., Щербина В.Л. О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов. Известия Южного федерального университета. Технические науки, том 2, № 7, с. 18-27.
  13. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Формализация тестового эксперимента. Программирование, №5, 2007, стр. 3-32.
  14. В.П.Иванников, А.С.Камкин, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. Программирование, №5, 2007, стр. 47-61.
  15. А.В.Демаков. Объектно-ориентированное описание графовых структур данных. Программирование, Вып.33, №5, 2007.
  16. В.В.Кулямин. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой. Программирование, Вып.33, №3, 2007, стр. 44-72.
  17. А.В.Хорошилов. Формальное описание интерфейсов как средство улучшения интероперабельности. Сборник докладов международной конференции "Стандартизация информационных технологий и интероперабельность", стр. 61-67, Москва, 2-3 октября 2007 г.
  18. В.В.Кулямин, А.К.Петренко, В.В.Рубанов, А.В.Хорошилов. Формализация интерфейсных стандартов и автоматическое построение тестов соответствия. Информационные технологии, 8:2-7, М. Новые технологии, 2007.
  19. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Безопасность, верификация и теория конформности. "Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.
  20. S.Zelenov, S.Zelenova. Model-Based Testing of Optimizing Compilers. Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007), LNCS 4581, Springer-Verlag, Berlin, 2007, 365-377.
  21. М.Д. Калугин Разработка параллельного алгоритма компьютерного моделирования теплового движения молекул воды в среде ParJava. IV Российско-Германская школа по параллельному программированию и высокопроизводительным вычислительным системам, Новосибирск, Академгородок, 9-20 июля 2007 года, Аннотации докладов научной сессии. Вычислительные технологии. 2007. Т. 12. № 6. С. 138-142
  22. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 5-6.
  23. С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 7-16.
  24. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 17-26.
  25. Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 27-36.
  26. I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 37-58.
  27. P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 59-76.
  28. N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 77-94.
  29. И.А. Лавров. Сложность вычислений на абстрактных машинах. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 95-122.
  30. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 3-4.
  31. Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 7-30.
  32. Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 31-46.
  33. С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 47-64.
  34. В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 65-78.
  35. Д.Ю. Кичигин. Об одном методе сокращения набора тестов. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 79-92.
  36. К.А. Власов, А.С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 93-102.
  37. В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 103-122.
  38. А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 123-142.
  39. Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 143-170.
  40. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 5-6
  41. Е.Д. Волкова, А.Д. Страбыкин. Методы композиции и декомпозиции исполняемых UML моделей. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 7-36.
  42. Л.Е. Карпов, В.Н. Юдин. Адаптивное управление по прецедентам, основанное на классификации состояний управляемых объектов. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 37-58.
  43. Г.Т. Маракаева. Система классификации химических проб. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 59-76.
  44. Б.Б. Костенко, С.Д. Кузнецов. История и актуальные проблемы темпоральных баз данных. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 77-114.
  45. С.Д. Кузнецов. Объектно-реляционные базы данных: прошедший этап или недооцененные возможности? Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 115-140.
  46. В.А. Семенов, С.Г. Ерошкин, А.А. Караулов, И.В. Энкович. Семантическая реконсиляция прикладных данных на основе моделей. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 141-164.
  47. В.В. Рубанов, К.А. Власов. Разработка ОС реального времени для цифрового сигнального процессора. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 165-178.

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