Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... The paper presents a unified model for testing tools for object-oriented application development ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
"... The paper presents an overview of the type system, which supports the convergence of procedural ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... present an innovative object-oriented Scheduling Application Framework (SAF) designed to simplify ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... объектно-ориентированной парадигме происходит передача свойств родителя к потомку класса; в статье ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... , приводящая к разбиению множества классов распределенной объектно-ориентированной системы на слабосвязанные ..."
 
Том 27, № 3 (2015) Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Аннотация  PDF (Rus)  похожие документы
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов
"... Рассматривается формальный метод, обеспечивающий поддержку критически важного шага в объектно ..."
 
Том 35, № 2 (2023) Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ
"... избыточного добавочного кода. Результатом работы является дружественный пользователю объектно-ориентированный ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... проектов на основе объектно-ориентированного каркаса. Используемый каркас представляет собой систему ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
 
Том 26, № 2 (2014) Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, А. О. Избышев, И. А. Дудина
"... статический межпроцедурный котекстно-потоковый объектно-чувствительный алгоритм, производится оценка ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... Объектно-ориентированные СУБД - одно из наиболее перспективных направлений развития современной ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... The article presents the ontology of the "Software usability" domain. Authors provides the review ..."
 
Том 34, № 3 (2022) Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов Аннотация  PDF (Rus)  похожие документы
Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ
"... This article presents the design of the modified error detection and localization algorithm ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... Принято считать, что объектно-ориентированные (ОО) языки программирования обеспечивают более слабую ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... .0 (объектная модель ODMG) и SQL:2003 (модель данных SQL) и убедительно (как мне тогда казалось) доказывал, что ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... объектно-ориентированного каркаса обеспечивает развитие, адаптацию и гибкое конфигурирование разработанных ..."
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
"... объектно-ориентированный язык моделирования EXPRESS, предназначенный для формального описания схем данных ..."
 
Том 26, № 2 (2014) О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти Аннотация  PDF (Rus)  похожие документы
Д. А. Носов
"... recognizable by such programs and proved that this class is a subclass of NL. In the present paper, we slightly ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... близкой функциональности представляется использование объектно-ориентированных каркасов. В статье ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
 
Том 36, № 5 (2024) Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников Аннотация  PDF (Rus)  похожие документы
Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ
"... . The authors of the work present the structure of the software complex and show the place of the simulation ..."
 
Том 36, № 6 (2024) Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения Аннотация  похожие документы
Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА
"... challenge in ML-based software defect prediction is the issue of data imbalance. In this paper, we present ..."
 
Том 34, № 2 (2022) Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition Аннотация  похожие документы
Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ
"... состояния в среде Kubernetes, в частности объектными системами хранения данных. Произведён обзор ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но ..."
 
Том 36, № 1 (2024) Применение энтропии для обнаружения ошибок модулярного кода в системах надежного распределенного хранения Аннотация  PDF (Rus)  похожие документы
Виктор Андреевич КУЧУКОВ
"... применение энтропии для обнаружения ошибок полиномиальной системы классов вычетов, исправление ошибок в ..."
 
Том 35, № 6 (2023) Настоящее время на (–)ЧАР в младописьменном шорском языке Аннотация  PDF (Rus)  похожие документы
Алиса Васильевна ЕСИПОВА
"... of the present tense, combining analytical (kӧlep char-ï ‘bestows'), hyphenated, transitional to synthetic ..."
 
Том 27, № 3 (2015) Проблемы обобщений C# и способы их решения с помощью концептов Аннотация  PDF (Rus)  похожие документы
Ю. В. Белякова, С. С. Михалкович
"... По сравнению с классами типов Haskell и концептами C++ такие объектно-ориентированные языки как C ..."
 
Том 33, № 4 (2021) Автоматизация проверки UML диаграмм, созданных студентами Аннотация  похожие документы
Татьяна Сергеевна ГАШЕВА, Дмитрий Игоревич ВЛАСОВ, Андрей Валерьевич ОТИНОВ, Наталья Николаевна ДАЦУН
"... presents software for validation activity, class and use-case diagrams by XMI representation. To achieve ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... The article presents models and algorithms to support end-to-end quality control of complex ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
"... В статье проводится анализ спецификаций индустриально значимого семейства объектно-ориентированных ..."
 
Том 30, № 4 (2018) Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Аннотация  похожие документы
И. А. Адамович, Анд. В. Климов
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
"... В статье приводится обзор средств, используемых в объектной СУБД нового типа для повышения ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных ..."
 
Том 20 (2011) Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... The paper presents an overview of features and challenges of efficient creation in 70s ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... модели. В этой общей модели зависимость между ошибками может возникать, когда в качестве класса ..."
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... используются классы языка Си++, реализующие работу с такими объектами, как вершина графа, ребро ..."
 
Том 37, № 3 (2025) Исследование специальных наборов модулей системы остаточных классов Аннотация  PDF (Rus)  похожие документы
Владислав Вячеславович ЛУЦЕНКО, Михаил Дмитриевич КРАВЦОВ, Дмитрий Евгеньевич ГОРЛАЧЕВ, Никита Михайлович МИРНЫЙ
"... на основе системы остаточных классов. Цель исследования – анализ специальных наборов модулей системы ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... обработки текста на естественном языке в диалоговых системах. Применение в препроцессоре ассоциаций ..."
 
Том 31, № 2 (2019) Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики Аннотация  PDF (Rus)  похожие документы
Михаил Григорьевич Бабенко, Андрей Николаевич Черных, Николай Иванович Червяков, Виктор Андреевич Кучуков, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду
"... . Реализация алгоритма сравнения чисел в системе остаточных классов (СОК) состоит из двух этапов. Первый этап ..."
 
1 - 39 из 420 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)