Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... В настоящей статье представлено описание технической реализации системы верифицированного ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..."
 
Том 27, № 4 (2015) Совместная вероятностная тематическая модель для идентификации проблемных высказываний, связанных нарушением функциональности продуктов Аннотация  PDF (Rus)  похожие документы
Е. В. Тутубалина
"... В статье исследуется задача автоматического извлечения информации о существовании различных проблем ..."
 
Том 30, № 4 (2018) Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Аннотация  PDF (Rus)  похожие документы
В. Е. Сачков
"... В статье исследуется возможность применения ассоциативно-семантического препроцессора специальной ..."
 
Том 28, № 1 (2016) Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Аннотация  PDF (Rus)  похожие документы
Е. В. Давыдова, В. Н. Корчагова
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов ..."
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... В данной статье рассматривается задача максимального увеличения пропускной способности сетевого ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..."
 
Том 28, № 6 (2016) Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Аннотация  PDF (Rus)  похожие документы
Д. О. Машкин, Е. В. Котельников
"... В интернете существует множество площадок, которые предоставляют пользователям возможность ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Неполностью описанные объекты могут встретиться в самых разных предметных областях и приложениях ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... Конечные автоматы широко применяются в качестве математических моделей при решении многочисленных ..."
 
Том 18 (2010) Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин
"... , более точно модулей управления памяти. В статье описывается метод построения тестов (тестовой программы ..."
 
Том 28, № 3 (2016) Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов, В. Ю. Абрамов
"... Разработанный метод в рамках прецедентного подхода к принятию решений позволяет решить проблему ..."
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... В данной статье предлагается подход к описанию и верификации структурных ограничений на ..."
 
Том 29, № 5 (2017) Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, С. Е. Разоренов, В. В. Белая
"... Работа посвящена численному исследованию теплоотдачи в прямоугольных каналах с односторонним ..."
 
Том 30, № 2 (2018) Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Аннотация  PDF (Rus)  похожие документы
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук
"... вязкой несжимаемой жидкости в методе конечных элементов с частицами PFEM-2. Осесимметричная модель ..."
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... В статье рассматривается подход к оптимизации вызовов внешних функций в позиционно-независимом коде ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... В статье приведен обзор методов, применяемых при проверке корректности поведения кэш-памятей ..."
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... В статье рассматривается алгоритм статического анализа для поиска в исходном коде программы ошибок ..."
 
Том 28, № 5 (2016) Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов
"... , которые напоминают определения типов в императивных языках программирования, но являются более гибкими. В ..."
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... В статье приведены подходы, использовавшиеся в процессе верификации контроллеров 10 гигабитного ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... систем, определяемой с помощью модели характеристик (МХ). В статье мы рассматриваем подходы к формальному ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... На сегодняшний день в авиационной отрасли существует актуальная проблема - как инструментально ..."
 
Том 30, № 3 (2018) Верификация контроллеров связи в системах на кристалле Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев
"... В статье описаны подходы, которые использовались для верификации контроллеров связи в системах на ..."
 
Том 27, № 6 (2015) Концепция наследования в современных языках программирования Аннотация  PDF (Rus)  похожие документы
А. В. Канатов, Е. А. Зуев
"... Статья содержит обзор и анализ реализаций понятия наследования в современных промышленных языках ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..."
 
Том 29, № 6 (2017) Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack Аннотация  PDF (Rus)  похожие документы
Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов
"... В данной работе рассматриваются проблемы масштабируемости проекта Keystone - центрального сервиса ..."
 
Том 30, № 3 (2018) Анализ методов оценки надежности оборудования и систем. Практика применения методов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
 
Том 20 (2011) Нацеленная генерация данных для тестирования приложений над базами данных Аннотация  PDF (Rus)  похожие документы
Е. А. Костычев, В. А. Омельченко, С. В. Зеленов
"... программного обеспечения. В частности, такие приложения решают задачи интеграции данных в области интеграции ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... В последние годы по мере увеличения производительности и роста объема оперативной и внешней памяти ..."
 
Том 26, № 2 (2014) Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... управления сложными объектами на основе прецедентов. В ситуации, когда трудно или невозможно получить точную ..."
 
Том 29, № 6 (2017) Мелкогранулярная рандомизация адресного пространства программы при запуске Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков
"... атакующими. В данной работе предлагается метод защиты от атак такого типа, который называется ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
"... В статье рассмотрены вопросы оценки сложности крупноблочных облачных вычислений с повышенной ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..."
 
Том 24 (2013) Роль предыстории при оценке сложного объекта в управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... управлению объектами по прецедентам, разработанного в рамках более ранних работ авторов, применительно к ..."
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... позволяющих использовать для запросов естественные языки. В статье предлагается подход к выполнению запросов ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Системы поддержки принятия решений, в которых результаты вывода по правилам дополняют результаты ..."
 
Том 19 (2010) Многопараметрическое управление на основе прецедентов Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... взаимным влиянием воздействий в ситуациях, когда влияние внешних факторов может оказаться взаимозависимым и ..."
 
Том 19 (2010) Обмен данными в распределенной системе поддержки решений Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... опыта, накопленного другими пользователями в подобных системах. Рассматриваются два варианта обмена в ..."
 
Том 30, № 5 (2018) Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах Аннотация  PDF (Rus)  похожие документы
И. С. Алимова, Е. В. Тутубалина
"... В данной работе представлено экспериментальное исследование эффективности ряда моделей нейронных ..."
 
1 - 40 из 343 результатов 1 2 3 4 5 6 7 8 9 > >> 

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

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