Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... операционные системы, такие как WxWorks, Fiasco OS, L4Ka::Pistachio и отладчики для них, а также был изучен их ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... показаны методы, которыми достигается его мультиплатформенность, а также легкая переносимость на новую ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
 
Том 29, № 5 (2017) Программное обеспечение для создания адаптивных сеток Аннотация  PDF (Rus)  похожие документы
А. Н. Семакин
 
Том 29, № 6 (2017) Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 29, № 1 (2017) Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева
 
Том 30, № 1 (2018) Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. М. Камалутдинов, О. Н. Зайцева
 
Том 26, № 4 (2014) Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханце
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
 
Том 29, № 2 (2017) Обзор и экспериментальное сравнение методов кластеризации текстов Аннотация  PDF (Rus)  похожие документы
П. А. Пархоменко, А. А. Григорьев, Н. А. Астраханцев
"... терминологии, тематическом моделировании, а также векторном представлении слов (word embedding) и документов ..."
 
Том 27, № 6 (2015) Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Аннотация  PDF (Rus)  похожие документы
Ю. Н. Матвеев, Н. А. Стукалова
 
Том 27, № 3 (2015) Предисловие Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. К. Петренко, А. Н. Терехов
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... последнем случае проверяющая последовательность строится относительно не относительно редукции, а ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..."
 
Том 29, № 3 (2017) Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Аннотация  PDF (Rus)  похожие документы
Ю. А. Солоделов, Н. К. Горелиц
 
Том 30, № 2 (2018) Автоматизированная генерация декодеров машинных команд Аннотация  PDF (Rus)  похожие документы
Н. Ю. Фокина, М. А. Соловьев
 
Том 25 (2013) Автоматическое извлечение новых концептов предметно-специфичных терминов Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханцев
"... разработанный алгоритм превосходит существующие подходы, а также позволяет повысить точность разрешения ..."
 
Том 30, № 6 (2018) Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса Аннотация  PDF (Rus)  похожие документы
Н. А. Полибина
"... характеристики процесса дегазации исследуемого полимерного покрытия, а также сведения о температурном режиме ..."
 
Том 29, № 4 (2017) Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Аннотация  похожие документы
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина
"... , а также реализация алгоритма стабилизации с использованием фильтра Гаусса для сглаживания траектории ..."
 
Том 29, № 3 (2017) Сравнительный анализ двух подходов к статическому анализу помеченных данных Аннотация  PDF (Rus)  похожие документы
М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев
"... анализатора для поиска ошибок в программах на С#, а также проведено сравнение этих подходов в различных ..."
 
Том 28, № 3 (2016) Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев, П. Н. Захаров, Н. А. Абрашитова, А. В. Шматок, В. О. Рыжих, Н. Б. Гудимчук, Ф. И. Атауллаханов
"... графического процессора - с помощью OpenCL, а реализация на ПЛИС была получена посредством высокоуровневого ..."
 
Том 27, № 6 (2015) Облачный фреймворк для интеграции сетевых экспертных и аналитических средств Аннотация  PDF (Rus)  похожие документы
А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков
"... в базах данных, а второй - обеспечивает собственно процессы принятия решений с анализом мнений ..."
 
Том 27, № 5 (2015) Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... сервера перегружены, а некоторые простаивают. В данной работе мы предлагаем собирать данные о поведении ..."
 
Том 27, № 5 (2015) Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Аннотация  PDF (Rus)  похожие документы
А. С. Асратян, Н. Н. Кузюрин
 
Том 23 (2012) Энергоэффективные вычисления для группы кластеров Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
 
Том 19 (2010) Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, А. И. Поспелов
 
Том 30, № 6 (2018) О задаче эффективного управления вычислительной инфраструктурой Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
 
Том 30, № 2 (2018) Анализ баллистокардиограммы на граничных вычислительных узлах Аннотация  PDF (Rus)  похожие документы
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов
 
Том 30, № 1 (2018) Тесты на константные неисправности как веб-сервис Аннотация  похожие документы
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов
"... реализациями новых методов подразумевает, что часть функций (а именно, реализации методов) должны быть ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
 
Том 29, № 4 (2017) Минимизация автоматов с таймаутами и временными ограничениями Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
 
Том 29, № 3 (2017) Эксперименты по построению параллельной композиции временных автоматов Аннотация  похожие документы
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов
"... тематике, мы описываем бесконечные множества задержек выходных символов конечным образом, а именно, при ..."
 
1 - 40 из 416 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

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

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