Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2007

Monographs

  1. Kulyamin, V.V. Programming technology. The component approach. Internet University of Information Technologies - BINOM. Knowledge Laboratory, 2007.

Other publications

  1. Christiansen H., Rekouts M. Integrity Checking and Maintenance with Active Rules in XML Databases. In Proc. of BNCODwebim, BNCOD Workshop on Web Information management, Glasgow, UK, 2-3 July, 2007.
  2. Grineva M.P., Grinev M.N. Query triggers for XML DBMS: Efficient implementation based on shadow mechanism. Programming and Computer Software, Volume 33, Number 4, July, 2007.
  3. Pleshachkov P., Kuznetcov S. SXDGL: Snapshot Based Concurrency Control Protocol for XML Data. VLDB Symposium XSym 2007.
  4. Turdakov D. Recommender system based on user-generated content. SYRCoDIS, 2007.
  5. Pastukhov R. A Method for Evaluating Full-text Search Queries in Native XML Databases. SYRCoDIS, 2007.
  6. Konnov I.V., Zakharov V.A. An invariant-based approach to the verification of asynchronous parameterized networks. Proceedings of the 1-st International Workshop on Invariant Generation, June 25-26, 2007, Hagenberg, Austria, 2007, Hagenberg, Austria, pp. 41-55.
  7. Kuzurin N.N., Shokurov A.V., Varnovskij N.P., Zakharov V.A. On the concept of software obfuscation in computer security. Proceedings of the 7-th Information Security Conference (ISC'07), Valparaiso, Chile, серия Lecture Notes in Computer Science, 2007, vol. 4779, pp. 281-298.
  8. 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.
  9. Vitaly Semenov Collaborative Software Engineering Using Metamodel-Driven Approach Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007). Publisher: IEEE Computer Society Conference Publishing Services, 2007. Pp. 178-179.
  10. Vitaly Semenov Semantics-based Reconciliation of Divergent Replicas in Advanced Concurrent Engineering Environments. Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability. Publisher: Springer-Verlag, 2007. Pp. 557-564.
  11. M.D. Kalugin Development of a parallel algorithm for numerical simulation of a thermal motion of water molecules done in ParJava environment. IV Russian-German School on Parallel Programming using High Performance Computation Systems, July 9-20, 2007.
  12. С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 7-16.
  13. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 17-26.
  14. Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 27-36.
  15. I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 37-58.
  16. P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 59-76.
  17. N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 77-94.
  18. И.А. Лавров. Сложность вычислений на абстрактных машинах. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 95-122.
  19. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 5-6.
  20. Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 143-170.
  21. А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 123-142.
  22. В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 103-122.
  23. К. А. Власов, А. С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 93-102.
  24. Д.Ю. Кичигин. Об одном методе сокращения набора тестов. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 79-92.
  25. В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 65-78.
  26. С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 47-64.
  27. Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 31-46.
  28. Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 7-30.
  29. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 3-4.
  30. В.В. Рубанов, К.А. Власов. Разработка ОС реального времени для цифрового сигнального процессора. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 165-178.
  31. В.А. Семенов, С.Г. Ерошкин, А.А. Караулов, И.В. Энкович. Семантическая реконсиляция прикладных данных на основе моделей. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 141-164.
  32. С.Д. Кузнецов. Объектно-реляционные базы данных: прошедший этап или недооцененные возможности? Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 115-140.
  33. Б.Б. Костенко, С.Д. Кузнецов. История и актуальные проблемы темпоральных баз данных. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 77-114.
  34. Г.Т. Маракаева. Система классификации химических проб. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 59-76.
  35. Л.Е. Карпов, В.Н. Юдин. Адаптивное управление по прецедентам, основанное на классификации состояний управляемых объектов. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 37-58.
  36. Е.Д. Волкова, А.Д. Страбыкин. Методы композиции и декомпозиции исполняемых UML моделей. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 7-36.
  37. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 5-6

Back to the list of publications of ISP RAS