Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... or to a specific Scrum team to estimate the amount of work with story points. The proposed approach involves ..."
 
Том 33, № 2 (2021) Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей Аннотация  PDF (Rus)  похожие документы
Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА
"... Currently, in Scrum, there are different methods to estimate user stories in terms of effort ..."
 
Том 35, № 1 (2023) Scrumility: фреймворк для оценки качества пользовательских историй Аннотация  похожие документы
Клаудия ТОНА, Саманта ХИМЕНЕС, Рейес ХУАРЕС-РАМИРЕС, Рафаэль ГОНСАЛЕС ПАЧЕКО ЛОПЕС, Анхелес КЕСАДА, Сезар Артуро ГЕРРА ГАРСИА
"... the importance of executing a User Story Quality Assessment and that Scrum Team members are willing to accept ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... is formulated. A perspective approach to solve this problem is integration of various verification methods ..."
 
Том 31, № 5 (2019) Динамическое построение прогноза времени завершения вычислительного эксперимента в Desktop Grid Аннотация  PDF (Rus)  похожие документы
Евгений Евгеньевич Ивашко, Валентина Степановна Литовченко
"... approach based on the linear regression model with the calculation of a confidence interval, taking ..."
 
Том 37, № 3 (2025) Поиск утечек памяти и ресурсов в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ
"... The paper presents an approach to detecting memory and other resource leaks in the Svace static ..."
 
Том 32, № 3 (2020) Генерация кодов для вещественной арифметики в архитектуре MIPS Аннотация  похожие документы
Иван Сергеевич АРХИПОВ
"... This article is related to code generation for floating-point arithmetics in the MIPS architecture ..."
 
Том 35, № 5 (2023) Применение физически-обоснованной нейронной сети на примере моделирования гидродинамических процессов, допускающих аналитическое решение Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Сергей Владимирович СТРИЖАК
"... We consider an actual approach to develop a physically based neural network for solving model ..."
 
Том 34, № 3 (2022) Виртуальные площадки в алгоритме излучательности Аннотация  PDF (Rus)  похожие документы
Александр Станиславович ЩЕРБАКОВ, Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ
"... of the geometry obtained by clustering some points of the original geometry for which the illumination ..."
 
Том 34, № 4 (2022) Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений Аннотация  похожие документы
Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ
 
Том 37, № 2 (2025) Какой статус васюганского варианта хантыйcкого языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? Аннотация  похожие документы
Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ
"... . The analysis results point to the fact that the morphological systems of the Vakh and Vasyugan Khanty ..."
 
Том 27, № 3 (2015) Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Аннотация  PDF (Rus)  похожие документы
А. А. Цыганов
 
Том 36, № 3 (2024) Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы Аннотация  PDF (Rus)  похожие документы
Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ
"... to construct control points of the foot using the example of calculating the indices of the longitudinal ..."
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
"... and dynamic program analysis methods. In this paper, we present a combined approach which allows to determine ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
 
Том 23 (2012) Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской
"... function. There are also some points about syntax tree transformations. Such transformations can ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... lead to denial of service, incorrect computations or even exploitable vulnerabilities. One approach ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... In this article, an approach of detailing verified test scenarios for developed software system ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... The paper describes a static analysis approach for buffer overflow detection in C/C++ source code ..."
 
Том 34, № 5 (2022) Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле Аннотация  PDF (Rus)  похожие документы
Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ
"... EDA of the “Big 3”. Article suggests an approach to assessing the suitability of a particular EDA ..."
 
Том 26, № 4 (2014) Лингвистический подход к определению суицида Аннотация  PDF (Rus)  похожие документы
Л. М. Ермакова, С. А. Ермаков
"... main approach is to study indicators of such condition and based on it use machine learning approach ..."
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
"... complexities with respect to the number of points and dimensionality, respectively) and rapid spreading of high ..."
 
Том 22 (2012) Автоматизация построения расписаний для периодических систем реального времени Аннотация  PDF (Rus)  похожие документы
Андрей Третьяков
"... periodicity means that all release points of all instances of any task must produce an arithmetic progression ..."
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
"... is to obfuscate program code. This paper describes an approach for developing an obfuscation tool based ..."
 
Том 33, № 5 (2021) Автоматизация разработки на Vulkan: предметно-ориентированный подход Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ
"... In this paper we propose a high-level approach to developing GPU applications based on the Vulkan ..."
 
Том 36, № 3 (2024) Декларативный подход к задаче интроспекции виртуальной машины Аннотация  PDF (Rus)  похожие документы
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА
"... approach for OS profile generating. It is based on system call tracing and comparison between data obtained ..."
 
Том 36, № 2 (2024) Подход к исследованию учебных планов, основанный на данных Аннотация  похожие документы
Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН
 
Том 34, № 5 (2022) Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ
"... . System of dynamic points on a metric graph (DP-systems) is another dynamical model that is studied ..."
 
Том 27, № 3 (2015) Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» Аннотация  PDF (Rus)  похожие документы
Лариса Зеленко, Дмитрий Конопелькин, Виталий Иванов, Александр Григорьев, Александр Семенов, Михаил Савачаев, Ефим Поберёзкин
"... approach, through which active methods of pedagogical work are implemented, allows you to engage students ..."
 
Том 33, № 5 (2021) Управление требованиями при обучении профессиональных руководителей проектов Аннотация  похожие документы
Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН
"... facilities. In order to give project management a greater quality, a very important point is to control ..."
 
Том 35, № 5 (2023) Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем Аннотация  PDF (Rus)  похожие документы
Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ
"... and points that need to be connected. The U-Net fully convolutional neural network, effective for semantic ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... This paper describes a new approach for dynamic code analysis. It combines dynamic symbolic ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... to tokens. System of dynamic points on a metric graph (DP-systems) is another dynamical model ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... . The precedents are used only for exception processing. The approach described here which was designed ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... methods. An approach to locating of potentially opaque predicates and accompanying obfuscations (like dead ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... (peripherals and commutators) and a system as a whole. An approach to test development for verification ..."
 
Том 29, № 2 (2017) Общий подход к решению задач на графах коллективом автоматов Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... graph problems and generalization of the approach to directed, non-deterministic and dynamic graphs. ..."
 
1 - 39 из 482 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> 

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

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