Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 33, № 3 (2021) Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода Аннотация  похожие документы
Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА
"... . In this paper, we show how we used a model-driven approach to design and improve a Digital Humanities dynamic ..."
 
Том 33, № 2 (2021) Разработка Web-приложений с учетом элементов качества данных – DQAWA Аннотация  PDF (Rus)  похожие документы
Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС
"... application development. Considering the benefits offered in the field of Model Driven Web Engineering ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... In this article, an approach of detailing verified test scenarios for developed software system ..."
 
Том 34, № 2 (2022) Паттерны проектирования для аналитической платформы, основанной на знаниях Аннотация  похожие документы
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ
"... extensibility. In this paper we introduce an ontological approach to information integration and propose design ..."
 
Том 36, № 2 (2024) Подход к исследованию учебных планов, основанный на данных Аннотация  похожие документы
Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН
"... the algorithm to data-driven curriculum analysis based on natural language processing of course names ..."
 
Том 36, № 2 (2024) Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей Аннотация  похожие документы
Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА
"... is driven by a managing ontology. The proposed formal model and the system's implementation are described ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... The article describes two approaches for control access rights based on role approach (RBAC ..."
 
Том 33, № 4 (2021) Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки Аннотация  похожие документы
Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА
"... in their model driven, low-code style. The new DSLs are made available in DIME and Pyro as collections ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... systems. By using a model-based approach it is possible to build an architecture model from the existing ..."
 
Том 36, № 6 (2024) Тематический синтез разработки, ориентированной на поведение: аналитический подход Аннотация  похожие документы
Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... Behavior-driven development (BDD) focuses on specifying system behavior through examples ..."
 
Том 27, № 3 (2015) Iskra: Инструмент починки моделей процессов Аннотация  PDF (Rus)  похожие документы
И. Шугуров, А. Мицюк
"... event logs. The particular approach of enhancement considered in the paper is called decomposed model ..."
 
Том 21 (2011) Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий Аннотация  PDF (Rus)  похожие документы
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун
 
Том 29, № 1 (2017) Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева
"... The work is devoted to the study of the two-mass vibration-driven system motion in the viscous ..."
 
Том 27, № 6 (2015) Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний Аннотация  PDF (Rus)  похожие документы
Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов
"... propose an optimization model and present new approach to resource allocation with job concentration ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... automatic approach to dynamic analysis of program graphical interfaces. Our approach is based on the open ..."
 
Том 36, № 4 (2024) Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов Аннотация  похожие документы
Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК
"... models, while Sankey diagrams are used to represent flows of any kind. Our approach, based on flow ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... coordinates and fixed-point coordinates. With this end in view, fuzzy logic approach is used to develop Routes ..."
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
"... driven by these schemas. These are clear text encoding format SPF and STEP-XML. Nowadays ..."
 
Том 31, № 4 (2019) Применение подхода Fuzzy-DEMATEL при анализе проблем мобильных приложений Аннотация  PDF (Rus)  похожие документы
Мамта Панди, Ратнеш Литория, Пратик Панди
"... Растущая популярность смартфонов привела к появлению большого количества мобильных приложений ..."
 
Том 28, № 2 (2016) Способ статической оценки времени работы компонентов AADL-моделей Аннотация  похожие документы
А. М. Троицкий, Д. В. Буздалов
"... a static approach allowing to work with standard specification of components behaviour in AADL-models ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... application functionality. We present a hybrid approach that combines commonly used GUI test automation ..."
 
Том 34, № 3 (2022) Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор Аннотация  похожие документы
Педро Омар СИЛЬВА-ВАСКЕС, Вивиана Ярель РОЗАЛЕС-МОРАЛЕС, Эдгар БЕНИТЕС-ГЕРРЕРО
"... decided to break the study in two parts: one study about serious games with model driven engineering ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... The paper presents a unified model for testing tools for object-oriented application development ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... verification overhead. The model of imitator has been included into the functional machine simulator ..."
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
"... used post-link instrumentation and optimization tool Syzygy. The former approach requires program ..."
 
Том 29, № 5 (2017) Техника плоских схем для тестирования встроенных операционных систем Аннотация  похожие документы
В. В. Никифоров, С. Н. Баранов
"... of multi-task test applications to be executed in a data-driven manner. The paper features a special ..."
 
Том 35, № 2 (2023) Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия Аннотация  похожие документы
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ
"... -to-end tests written in Python. The approach involves a comprehensive evaluation of the system from ..."
 
Том 31, № 2 (2019) Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP Аннотация  PDF (Rus)  похожие документы
Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас
"... -automatic approach for solving problems applying parallel algorithms using the Multi-BSP model. First ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... Randomized testing (fuzzing) is a well-known approach for finding bugs in programs. Fuzzing ..."
 
Том 31, № 3 (2019) Графический DSL для разработки мобильных приложений Аннотация  похожие документы
Артур Владимирович Гудиев, Александра Сергеевна Гражевская
"... domain abstractions. In this approach the mobile application structure will be presented in the form ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... avoid issues with the copied code, we enhance it with the verification of the code usage. Goal-driven ..."
 
Том 26, № 1 (2014) Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища Аннотация  PDF (Rus)  похожие документы
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян
"... The paper describes two-stage compilation approach for C/C++ languages that allows deploying ..."
 
Том 28, № 4 (2016) Масштабируемые учебно-экспериментальные среды для современных предприятий Аннотация  похожие документы
А. Р. Топчян
"... of collaborative Data-Driven projects. With the amount of data, number of departments and the development ..."
 
Том 23 (2012) Web-приложения и данные: проблемы абстракции и масштабируемости Аннотация  PDF (Rus)  похожие документы
Андрей Посконин
"... prevalent for several decades though this approach leads to serious issues in modern high scalability ..."
 
Том 33, № 1 (2021) Размышление о дизайне и восприятии пользователями приложения Tamil talk Аннотация  похожие документы
Радж РАМАЧАНДРАН СУБРАМАНЬЯН, Эммануэль Кайоде Акиншола ОГУНШИЛЕ
"... and philosophy. This paper takes an indigenous approach in reflecting on the design and user acceptance of Tamil ..."
 
Том 28, № 2 (2016) Технология создания семейства приложений на основе анализа предметной области Аннотация  похожие документы
А. А. Гудошникова, Ю. В. Литвинов
"... domain analysis) approach for domain analysis and use feature diagrams for describing of variability ..."
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... of equations supplemented with appropriate auxiliary models for the accurate assessment of process-specific ..."
 
Том 29, № 6 (2017) Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... . However, configuring an MPI cluster can be a difficult task. Containers are a new approach ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... intended for development of models, methods and applications of motion planning theory. Developed within ..."
 
1 - 39 из 847 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 > >> 

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

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