Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... . Showcased flowcharts, as well as the final test results of each stage of development, are discussed ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... showed a strong dependence of flow velocity from inclination of dumbbell towards flow axis. Adjacent ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... . Although the paper contains a description of full analysis cycle, it mainly focuses on special aspects ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... solver that is capable of handling MHD supersonic flow problems with constant magnetic field is developed ..."
 
Том 28, № 1 (2016) Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Ю. Д. Чашечкин
"... model is based on the fundamental set of differential equations of inhomogeneous multicomponent fluid ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... Immersed boundary methods have become popular in Computational Fluid Dynamics over recent years ..."
 
Том 28, № 1 (2016) Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Аннотация  PDF (Rus)  похожие документы
Е. В. Давыдова, В. Н. Корчагова
"... Problems of free-surface flow of viscous incompressible fluid are very useful in different ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... of vortex elements, which are located far enough from each other, approximately by using Taylor ..."
 
Том 28, № 2 (2016) Моделирование конвейера распознавания людей в системах контроля доступа Аннотация  похожие документы
Ф. Гёссен, Т. Маргариа, Т. Гёке
"... in this paper, we are focusing on the generation of frontal view images of peoples’ faces, which is part ..."
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... educational robotic programming tools (commonly these tools provide languages which are based on control flow ..."
 
Том 28, № 2 (2016) Технология создания семейства приложений на основе анализа предметной области Аннотация  похожие документы
А. А. Гудошникова, Ю. В. Литвинов
"... -techonology and results of domain analysis activity. We propose to use some ideas of FODA (feature-oriented ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... accuracy required for commercial software where those factors make a financial difference. In order ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
"... verified implementation of transformation of Context-free grammar to Chomsky normal form, that is making ..."
 
Том 28, № 2 (2016) Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS Аннотация  похожие документы
С. Тул, П. Г. Ларсен
"... different formalisms. This paper describes an exploration of whether different concurrency features in Scala ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... The derivation of checking sequences for Finite State Machines (FSMs) has a long history ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... domain. It makes impossible fruitful analysis of separate pieces of code combined into system variants ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... is symmetrically generated for each pair of subscribers; further the data are encrypted with this key. In its turn ..."
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... model corresponds to a data model in not the first normal form, is formed by the functional complex ..."
 
Том 28, № 3 (2016) Метод представления мнений экспертов в виде Z-чисел Аннотация  похожие документы
Е. А. Глуходед, С. И. Сметанин
"... of representing fuzzy logic, however that numbers created much larger problems of how to calculate them ..."
 
Том 28, № 3 (2016) Система деанонимизации пользователей теневого интернета Аннотация  похожие документы
С. М. Авдошин, А. В. Лазаренко
"... dealers. The present paper is focused on Tor users’ deanonimization using out-of-the box technologies ..."
 
Том 28, № 4 (2016) Масштабируемые учебно-экспериментальные среды для современных предприятий Аннотация  похожие документы
А. Р. Топчян
"... . In this work, we describe an approach to building such an environment with scalability, flexibility ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... ). The high-level decision diagram model (which is extracted from the GADD model) is used as a functional ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... fulfill the following requirements: (1) be simple enough to be used by verification engineers ..."
 
Том 28, № 4 (2016) Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций Аннотация  похожие документы
А. С. Камкин, А. М. Коцыняк
"... is described. The solution is based on the MicroTESK framework being developed at the Institute for System ..."
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... of the approach offered by authors is in its focus on functioning with varying set of features (attributes ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... including FPGA project framework where accelerator kernel (designed in Vivado HLS) IP core ..."
 
Том 28, № 3 (2016) Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... for convective fluxes was formulated in implicit manner together with introduced blending function which switches ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... in the guest system of x86 architecture in full-system emulator QEMU. System consists of few instructions ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... The article describes new method of use after free bug detection using program dynamic analysis ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... optimization and for functional test generation. The tests that can be generated from automata models shows ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage ..."
 
Том 27, № 1 (2015) Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Аннотация  PDF (Rus)  похожие документы
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв
"... that nonnegative matrix factorization methods were not used before for the time series forecasting task ..."
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... In this paper search method for format string vulnerabilities is presented. The method is based ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... False cache sharing happens when different parallel execution threads update the variables ..."
 
Том 27, № 1 (2015) Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... and target code parsing, executable instrumentation code generation and finally target executable code file ..."
 
Том 28, № 5 (2016) Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов
"... The language FlexT (Flexible Types) is intended for specification of binary data formats ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... to such modeling, especially focusing on modeling of operating systems families variability. The research, which ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... solution exists. In this paper, we analyze applicability of functional tests generated from high-level ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... estimation of features on the basis of linguistic terms that are both habitual and clear for everyone ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... is developed. The condition of replacing a function corresponding to free LUT input is formulated. It is based ..."
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
"... method employs L1 distance metric for Gaussian function and domain splitting approach to achieve fast ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... applications with the following features of navigation and sending timely notifications about arrival. Despite ..."
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
"... Finite State Machines (FSMs) are widely used for analysis and synthesis of components of control ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... to describe WSTS systems (WSTSL). It makes the description of new formalisms very close to the formal ..."
 
1 - 44 из 252 результатов 1 2 3 4 5 6 > >> 

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

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