Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 2 (2024) Подход к исследованию учебных планов, основанный на данных Аннотация  похожие документы
Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН
"... the algorithm to data-driven curriculum analysis based on natural language processing of course names ..."
 
Том 28, № 4 (2016) Масштабируемые учебно-экспериментальные среды для современных предприятий Аннотация  похожие документы
А. Р. Топчян
"... of collaborative Data-Driven projects. With the amount of data, number of departments and the development ..."
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... With the increment in software development complexity, approaches such as Domain-Driven Design ..."
 
Том 36, № 2 (2024) Четырёхмерный ACC анализ Аннотация  похожие документы
Назгуль Ибрагимовна МУСТАФИНА, Михаил Александрович ПЛАКСИН, Полина Алексеевна МИКИШЕВА
 
Том 28, № 3 (2016) Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
"... Data Driven projects, is not only how to technically collect, cleanse, integrate, access, but even more ..."
 
Том 34, № 2 (2022) Паттерны проектирования для аналитической платформы, основанной на знаниях Аннотация  похожие документы
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ
 
Том 36, № 6 (2024) Тематический синтез разработки, ориентированной на поведение: аналитический подход Аннотация  похожие документы
Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... Behavior-driven development (BDD) focuses on specifying system behavior through examples ..."
 
Том 33, № 3 (2021) Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода Аннотация  похожие документы
Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА
"... through appropriate abstraction. Model-driven system engineering identifies and integrates appropriate ..."
 
Том 21 (2011) Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
"... driven by these schemas. These are clear text encoding format SPF and STEP-XML. Nowadays ..."
 
Том 28, № 4 (2016) Извлечение и анализ информации в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
 
Том 33, № 2 (2021) Разработка Web-приложений с учетом элементов качества данных – DQAWA Аннотация  PDF (Rus)  похожие документы
Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС
"... application development. Considering the benefits offered in the field of Model Driven Web Engineering ..."
 
Том 36, № 6 (2024) Технические и социальные навыки, необходимые для квантовых вычислений Аннотация  PDF (Rus)  похожие документы
Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Кристиан Ксавьер НАВАРРО-КОТА, Сезар ГУЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Хавьер ОРТИС-ЭРНАНДЕС, Карина КАНСИНО
"... вычислений, и помогая учебным заведениям разрабатывать соответствующие курсы и учебные планы. ..."
 
Том 33, № 4 (2021) Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки Аннотация  похожие документы
Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА
"... in their model driven, low-code style. The new DSLs are made available in DIME and Pyro as collections ..."
 
Том 34, № 3 (2022) Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор Аннотация  похожие документы
Педро Омар СИЛЬВА-ВАСКЕС, Вивиана Ярель РОЗАЛЕС-МОРАЛЕС, Эдгар БЕНИТЕС-ГЕРРЕРО
"... decided to break the study in two parts: one study about serious games with model driven engineering ..."
 
Том 29, № 1 (2017) Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева
"... The work is devoted to the study of the two-mass vibration-driven system motion in the viscous ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... avoid issues with the copied code, we enhance it with the verification of the code usage. Goal-driven ..."
 
Том 36, № 2 (2024) Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей Аннотация  похожие документы
Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА
"... in the neuroscience and signal processing to boot. In the paper, we propose an ontology-driven solution for facing ..."
 
Том 34, № 4 (2022) Настройка критериев планировщика СУБД с учётом динамической компиляции Аннотация  PDF (Rus)  похожие документы
Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК
"... performance, but not be considered during optimal query plan selection by DBMS planner due to lack ..."
 
Том 36, № 6 (2024) Учебная аналитика в высшей школе: десятилетие в систематическом обзоре литературы Аннотация  похожие документы
Ангел САЛАС-МАРТИНЕС, Альберто РАМИРЕС-МАРТИНЕЛЬ, Самюэль МАРТИНЕС-РАМОС
"... Термин учебная аналитика (LA) был введен Обществом исследований в области аналитики обучения ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... -исследовательских работ. По этой причине разработки ведутся с распределением задач внутри учебных заведений и с ..."
 
Том 30, № 3 (2018) Применение методов системного анализа к оцениванию работы учебных ассистентов Аннотация  похожие документы
Е. Н. Береснева, М. К. Горденко
"... Picture, AHP, Fuzzy AHP) для оценки учебных ассистентов для преподавателей. В статье рассмотрено ..."
 
Том 36, № 1 (2024) Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов Аннотация  похожие документы
София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС
"... . The physicians are assisted in their decision-making on the execution of the treatment plan by evaluating how ..."
 
Том 35, № 1 (2023) Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент Аннотация  похожие документы
Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ
"... ; these results are consistent with previous studies identified in the literature. We plan to continue ..."
 
Том 32, № 2 (2020) Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации Аннотация  похожие документы
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ
"... ” and “SPARC-V9” architectures developed by MCST. The results and further plan of the test system development ..."
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... plan interpretation. The overhead comes from indirect calls to handler functions, runtime checks ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... controllers and further plan of the test system enhancement are considered. ..."
 
Том 33, № 5 (2021) Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. Аннотация  похожие документы
Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО
"... engineering support for the development of a data-driven platform in the various phases of contingency ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... of verified device is provided. Further plan of the test system enhancement is presented. ..."
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
"... Hand motion driven human-computer interface based on novel time-invariant gesture description ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... of multi-task test applications to be executed in a data-driven manner. The paper features a special ..."
 
Том 28, № 3 (2016) Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Аннотация  похожие документы
Д. И. Самохвалов, Л. В. Дворянский
"... in the form of the executable code for event-driven systems based on the Telegram platform. We augment the NP ..."
 
Том 29, № 2 (2017) Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве Аннотация  похожие документы
Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес
"... , the combination of internal waves and buoyancy driven turbulence is much more complicated if the Rayleigh ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... development has been driven by the need of integrating CPN with other formal methods. Prosega/CPN is intended ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... such a technique with Model-driven engineering to a demo system that runs on real hardware and contains a flight ..."
 
Том 35, № 5 (2023) Моделирование динамики электризованного потока частиц при ветровом выносе средствами OpenFoam Аннотация  PDF (Rus)  похожие документы
Елена Александровна МАЛИНОВСКАЯ, Геннадий Ильич ГОРЧАКОВ, Алексей Владимирович КАРПОВ, Леонид Олегович МАКСИМЕНКОВ, Олег Игоревич ДАЦЕНКО
"... We study the generation of dust aerosol in the wind-driven cascading motion of charged particles ..."
 
Том 36, № 3 (2024) Автоматизация подготовки ответов на требования налоговых органов с использованием обучения со слабым контролем Аннотация  PDF (Rus)  похожие документы
Артур Дмитриевич СОСНОВИКОВ, Денис Юрьевич ТУРДАКОВ
"... intelligence techniques in the financial sector has grown significantly in recent years, driven by the desire ..."
 
Том 37, № 2 (2025) Численное исследование турбулентного диффузионного пламени на поверхности полиметилметакрилата на основе открытого пакета FDS Аннотация  PDF (Rus)  похожие документы
Габриела МОРАР, Александр Иванович КАРПОВ, Артем Андреевич ШАКЛЕИН
"... mechanisms. Furthermore, our simulations highlight the role of buoyancy-driven flow in shaping the overall ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
"... ввода-вывода на второй план. Одним из наиболее эффективных способов повышения эффективности ..."
 
1 - 39 из 54 результатов 1 2 > >> 

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

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