Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 1 (2023) Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент Аннотация  похожие документы
Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ
"... process, particularly in Database Design (DB) Design. In this paper two controlled experiments ..."
 
Том 26, № 3 (2014) Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования Аннотация  PDF (Rus)  похожие документы
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов
"... , including tools for the 3D geometric design of the investigated object model; subject libraries subsystem ..."
 
Том 30, № 5 (2018) Численное моделирование качки судна с шахтным устройством на встречном волнении Аннотация  PDF (Rus)  похожие документы
К. Д. Овчинников
"... . The experiment was organized with a series 60 model, which was equipped with different moonpool shapes modules ..."
 
Том 27, № 6 (2015) Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Аннотация  PDF (Rus)  похожие документы
Н. Г. Кушик
"... The paper addresses the problem of deriving preset checking experiments for non-observable FSMs ..."
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... experiments in order to estimate how often parallel composition of nondeterministic TFSMs (with and without ..."
 
Том 36, № 4 (2024) Идентификация термокарстовых объектов по спутниковым графическим данным с помощью нейронной сети Аннотация  PDF (Rus)  похожие документы
Василий Васильевич ЖЕБСАИН, Айаал Федорович ПОСЕЛЬСКИЙ
"... The paper presents the results of a numerical experiment on the identification of thermokarst ..."
 
Том 31, № 6 (2019) Анализ полного сопротивления корпуса судна на различных скоростях хода Аннотация  PDF (Rus)  похожие документы
Кирилл Дмитриевич Овчинников
 
Том 31, № 5 (2019) Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid Аннотация  PDF (Rus)  похожие документы
Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко
"... forecasting of the completion time of a computational experiment in a Desktop Grid. We propose a statistical ..."
 
Том 37, № 3 (2025) Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач Аннотация  похожие документы
Ксения Aлександровна НАЙДЁНОВА, Елена Сергеевна БУЛЫКИНА, Татьяна Aлександровна МАРТИРОВА
 
Том 29, № 2 (2017) Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве Аннотация  похожие документы
Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес
"... . The experiments described here investigate high Prandtl number mixing using brine and fresh water in order to form ..."
 
Том 36, № 5 (2024) Оценка коэффициента вертикальной диффузии газа в уплотняемых грунтах средствами математического моделирования Аннотация  похожие документы
Елена Олеговна ТАРАСЕНКО
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... In this paper we experiment with two major types of query parallelization techniques - intra ..."
 
Том 33, № 4 (2021) Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... . To calibrate the turbulence model, an experiment is carried out in an inclined rectangular research tray ..."
 
Том 27, № 3 (2015) Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Аннотация  PDF (Rus)  похожие документы
И. . Мельниченко, А. . Камкин, С. . Смолов
"... Model-based test generation is widely spread in functional verification of hardware designs ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... . Automated model extraction from the hardware design’s source code is used. Supported HDLs include VHDL ..."
 
Том 29, № 4 (2017) Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Аннотация  похожие документы
С. М. Авдошин, Е. Н. Береснева
"... are provided, the computational scenario is presented. In the course of computational experiments ..."
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... concurrency) and provide extensive experiments. ..."
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
 
Том 28, № 2 (2016) Способ статической оценки времени работы компонентов AADL-моделей Аннотация  похожие документы
А. М. Троицкий, Д. В. Буздалов
"... on the development stage. For modelling of such systems, Architecture Analysis and Design Language (AADL) is widely ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
"... Security-by-Design is an important approach to ensure software security and reliability. It has ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
"... research studies that do not have a strict, pre-defined design of experiment or problem solving algorithm ..."
 
Том 35, № 1 (2023) Разработка адаптируемой информационной панели для умных городов Аннотация  похожие документы
Виктор КОНТРЕРАС-ФИГЕРОА, Луис Херардо МОНТАНЕ-ХИМЕНЕС, Мария СЕПЕРО-ГАРСИА, Эдгар БЕНИТЕС-ГЕРРЕРО, Кармен МЕЗУРА-ГОДОЙ
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
"... level of underlying virtualization components. The purpose of this paper is to propose a design ..."
 
Том 31, № 2 (2019) Конструирование и оптимизация сетей распространения контента Аннотация  PDF (Rus)  похожие документы
Сантьяго Дамиан Итурриага Фабра, Серджо Энрике Несмачнов Кановас, Херардо Гони Бофриско, Бернабе Дорронсоро Диаз, Андрей Николаевич Черных
 
Том 33, № 1 (2021) Путеводитель по проектированию удобных Web-API Аннотация  PDF (Rus)  похожие документы
Марибель ТЕЛЛО-РОДРИГЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Хуан Карлос ПЕРЕС-АРРИАГА, Ксавье ЛИМОН, Анхель Х. САНЧЕС-ГАРСИЯ
"... their productivity. Different studies state that the design phase within the development process of an API ..."
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... With the increment in software development complexity, approaches such as Domain-Driven Design ..."
 
Том 27, № 3 (2015) Удаленное обслуживание системных вызовов в микроядерном гипервизоре Аннотация  PDF (Rus)  похожие документы
К. Маллачиев, Н. Пакулин
"... design of Sevigator confines users’ applications in a separate virtual machine that has no network ..."
 
Том 18 (2010) Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... the resulted hardware design cannot be verified by means of module-level techniques due to its complexity ..."
 
Том 35, № 6 (2023) Язык программирования для обучения технологиям компиляции и трансформации Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич НЕДОРЯ
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
 
Том 30, № 1 (2018) Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Аннотация  похожие документы
Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез
"... , so-called homing and synchronizing experiments with FSMs are used whereas for the initial state ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
 
Том 34, № 2 (2022) Паттерны проектирования для аналитической платформы, основанной на знаниях Аннотация  похожие документы
Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ
"... extensibility. In this paper we introduce an ontological approach to information integration and propose design ..."
 
Том 34, № 4 (2022) Построение требований и архитектуры облачного оркестратора платформенных сервисов Аннотация  PDF (Rus)  похожие документы
Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО
 
Том 35, № 2 (2023) Разработка и реализация средства диагностики сетей Ethernet Аннотация  PDF (Rus)  похожие документы
Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ
 
Том 26, № 1 (2014) Инструментальные средства проектирования систем интегрированной модульной авионики Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов
"... Growth of modern avionics systems makes design of such systems impossible without involvement ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
 
1 - 39 из 297 результатов 1 2 3 4 5 6 7 8 > >> 

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

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