Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2004

  1. Grinev M., Lizorkin D. XQuery Function Inlining for Optimizing XQuery Queries. ADBIS, 2004.
  2. Fomichev A., Grinev M., Kuznetsov S. Descriptive Schema Driven XML Storage. Technical Report, 2004.
  3. Grinev M., Fomichev A., Kuznetsov S. Sedna: Technical Features and Use-cases (in Russian). Open Systems Magazine, #08/2004.
  4. Pleshachkov P., Novak L. Transaction Isolation In the Sedna Native XML DBMS. SYRCoDIS 2004.
  5. Rekouts M. Application Programming Interface for XML DBMS: design and implementation proposal. SYRCoDIS 2004.
  6. Fomichev A. XML Storing and Processing Techniques. SYRCoDIS 2004.
  7. 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.
  8. 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.
  9. 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.
  10. V. Semenov, E. Alekseeva, O.Tarlapan Virtual Construction Using Map-Based Approach. Proceedings of X International Conference on Computing in Civil and Building Engineering, ICCCBE, 2004.06.02-04, Weimar, Germany. Publisher: Bauhaus-Universität, VDG Weimar, 2004. Pp. 254-255 (full paper 12 p.p. published online and on CD).
  11. V. Semenov, A. Bazhan, S. Morozov Distributed STEP-compliant Platform for Multi-modal Collaboration in Architecture, Engineering and Construction. Proceedings of X International Conference on Computing in Civil and Building Engineering, ICCCBE, 2004.06.02-04, Weimar, Germany. Publisher: Bauhaus-Universität, VDG Weimar, 2004. Pp. 318-319 (full paper 12 p.p. published online and on CD).
  12. Vitaly Semenov, Elena Alekseeva, Sergey Morozov, Oleg Tarlapan STEP-Compliant Application Framework for Virtual Prototyping. Proceedings of GraphiCon 2004. Publisher: Dialog-MSU, 2004. Pp. 192-195.
  13. А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 269-280.
  14. Н.Н. Кузюрин, С.А. Фомин. Покрытие графов циклами и быстрое восстановление оптоволоконных сетей. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 249-268.
  15. Н.Н. Мансуров. Архитектурно-управляемая модернизация существующего программного обеспечения. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 227-248.
  16. А.А. Жданов. О роли аппарата эмоций как системообразующего фактора в адаптивных системах управления. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 215-226.
  17. В.А. Семенов, Е.В. Алексеева, С.В. Морозов, О.А. Тарлапан. Композиционный подход к построению программных приложений визуализации. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 175-214.
  18. К.В. Антипин, А.В. Фомичев, М.Н. Гринев, С.Д. Кузнецов, Л.Г. Новак, П.О. Плешачков, М.П. Рекуц, Д.Р. Ширяев. Оперативная интеграция данных на основе XML: системная архитектура BizQuery. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 157-174.
  19. A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов. Подход UniTesK к разработке тестов: достижения и перспективы. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 121-156.
  20. В.В. Кулямин, В. А. Омельченко, О. Л. Петренко. Обучение передовым технологиям разработки ПО: проблемы и методы их решения. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 101-120.
  21. А.Я. Калинов, К.А. Карганов, К.В. Хоренко. Команда "шаг" в параллельных отладчиках. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 89-100.
  22. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев, М.А. Миткевич. Динамическая поддержка расширений процессора в кросс-системе. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 63-88.
  23. В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 41-62.
  24. С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 7-40.
  25. Об Институте системного программирования. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 5-6
  26. I.M. Zakharyaschev, V.A. Zakharov. On the equivalence-checking problem for polysemantic models of sequential programs. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 179-198.
  27. A.V. Shokurov. An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 157-178.
  28. K.S. Ivanov, V.A. Zakharov. Program obfuscation as obstruction of program static analysis. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 137-156.
  29. N.P. Varnovsky. A note on the concept of obfuscation. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 127-136.
  30. Н.Н. Кузюрин, С.А. Мартишин, М.В. Храпченко. Генетические алгоритмы в задаче поиска часто встречающихся комбинаций. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 109-126.
  31. N.N. Kuzjurin. Probabilistic analysis of the greedy algorithm. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 101-108.
  32. Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 85-100.
  33. Т.В. Андреева. Об унимодальности декартовой степени звезд. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 65-84.
  34. М.Н. Вялый. Алгоритмические задачи с таблицами значений булевых полиномов. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 51-64.
  35. Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 41-50
  36. С.А. Фомин. Быстрый приближенный алгоритм для задачи положительного линейного программирования. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 27-40.
  37. С.Н. Жук. Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 13-26.
  38. А.И. Поспелов. Анализ одного алгоритма упаковки прямоугольников, связанного с построением расписаний для кластеров. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 7-12.
  39. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 6 (in Russian), 2004 . Стр. 5-6
  40. А.Е. Антипов. Применение метода ААУ к прогнозированию временных рядов. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 161-170.
  41. А.А. Жданов, Д.Б. Липкевич. AdCAS - система автономного адаптивного управления активной подвеской автомобиля. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 119-160.
  42. А.Е. Устюжанин, А.А. Жданов. Совмещение подходов адаптивного управления и детерминированного хаоса для построения эффективных автономных управляющих систем. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 111-118.
  43. А.В. Сыцко. Система управления автономным мобильным роботом на основе адаптивного резонанса. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 105-110.
  44. Л.В. Земских, Е.К. Самаров, А.А.Жданов, В.В. Бабкова. Применение генетических алгоритмов для оптимизации адаптивной системы управления мобильного робота на параллельном вычислительном комплексе. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 79-104.
  45. В.Г. Редько. Анализ геометрического метода формирования модульной структуры нейронных сетей. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 71-78.
  46. C.А. Бондаренко, А.А. Жданов, Б.М. Магомедов. Принятие решений в автономных адаптивных системах управления, основанное на выявлении закономерных последовательностей действий. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 61-70.
  47. В.Б. Новосельцев, Е.А. Романчук. О манипулировании знаниями с использованием нечетких множеств. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 55-60.
  48. М.В. Караваев. Применение нечеткой логики в имитационной системе автономного адаптивного управления. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 41-54.
  49. А.А. Жданов, Г.Я. Кантор, А.Б. Эфрон. Логический адаптивный управляющий автомат с конечным числом входов. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 27-40.
  50. А.Л. Микаэлян, Б.В. Крыжановский. Биологический алгоритм распознавания сильно скоррелированных образов. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 17-26.
  51. А.А. Жданов. Предисловие. Proceedings of the Institute for System Programming. Volume 7 (in Russian), 2004 . Стр. 5-16.
  52. М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 211-228.
  53. К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 199-210.
  54. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман. Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 167-198.
  55. Ю.Н. Фонин, С. Грассман. Архитектура и принципы построения операционной среды «мини-ОС». Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 159-166.
  56. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 137-158.
  57. Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 117-136.
  58. А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 99-116.
  59. А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 77-98.
  60. М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 59-76.
  61. С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 41-58.
  62. В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 25-40.
  63. А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 9-24.
  64. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 5-6.
  65. А.В. Инюхин. Открытая Т–система: распределённые вычисления в Internet. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 201-214.
  66. С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 181-200.
  67. Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 169-180.
  68. М.П. Рекуц. Виды ограничений целостности в базах XML-данных. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 155-168.
  69. Д.А. Лизоркин. Язык запросов к совокупности XML-документов, соединенных при помощи ссылок языка XLink. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 121-154.
  70. Д.А. Лизоркин. Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 93-120.
  71. В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 53-92.
  72. В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 21-52.
  73. П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 15-21.
  74. П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 7-14.
  75. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 5-6.

Back to the list of publications of ISP RAS