Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23 (2012) Описание подхода к разработке обфусцирующего компилятора Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
 
Том 26, № 1 (2014) Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM Аннотация  PDF (Rus)  похожие документы
Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
 
Том 28, № 4 (2016) Масштабируемые учебно-экспериментальные среды для современных предприятий Аннотация  похожие документы
А. Р. Топчян
 
Том 28, № 3 (2016) Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
"... ним доступ, а в большей степени обеспечение понимания того, как и зачем их следует использовать ..."
 
Том 28, № 4 (2016) Извлечение и анализ информации в современных предприятиях Аннотация  похожие документы
А. Р. Топчян
 
Том 28, № 5 (2016) Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов
"... подхода на реальных примерах, а также выявлены недостатки предложенного подхода и пути дальнейшего ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... другом. Поведение агентов, а также механизмы их взаимодействия описываются с помощью моделей процессов ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... вычислительную мощность центрального процессора. Продемонстрированы блок-схемы алгоритмов, а также итоговые ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... в системе нечеткого вывода (англ. FIS), а также представляется набор нечетких правил ЕСЛИ-ТО модели ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... избавиться от такой проблемы, а также предлагаем формальное описание данного подхода в терминах формул путей ..."
 
Том 30, № 2 (2018) Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Аннотация  PDF (Rus)  похожие документы
Р. А. Гилязев, Д. Ю. Турдаков
"... разметке данных людей, а сам процесс является дорогостоящим и утомительным для аннотаторов. Для оптимизации ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
 
Том 30, № 4 (2018) Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков Аннотация  похожие документы
А. Р. Поляков, А. В. Корнилова, Я. А. Кириленко
"... существующих подходов к автоматической калибровке, а также предлагают свои улучшения, повышающие качество ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... доступа к атрибутам, заключающаяся в вычислении смещений атрибутов кортежа во время компиляции запроса, а ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... многоядерных микропроцессоров. Описаны общие свойства устройств подсистемы памяти микропроцессора, а также ..."
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... набор регистров, отображаемых в память, а также используют прямой доступ к памяти. Представлен набор ..."
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... , приведем примеры сгенерированных стихотворений, а также перечислим направления для дальнейшего улучшения ..."
 
Том 26, № 6 (2014) Предисловие Аннотация  PDF (Rus)  похожие документы
Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко
 
Том 29, № 6 (2017) Мелкогранулярная рандомизация адресного пространства программы при запуске Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
 
Том 26, № 6 (2014) Решение автоматных уравнений для временных автоматов относительно параллельной композиции Аннотация  PDF (Rus)  похожие документы
О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
 
Том 26, № 4 (2014) Улучшение качества разбиения графа с помощью многоуровневой оптимизации Аннотация  PDF (Rus)  похожие документы
Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов
 
Том 28, № 4 (2016) Некоторые задачи на графовых базах данных Аннотация  PDF (Rus)  похожие документы
Р. И. Гуральник
 
Том 29, № 1 (2017) Обзор состояния области потоковой обработки данных Аннотация  PDF (Rus)  похожие документы
Р. С. Самарев
"... потоковой обработки данных. Уделяется внимание архитектурным аспектам фреймворков, а также связанными с ними ..."
 
Том 30, № 5 (2018) Метод анализа атак повторного использования кода Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян
"... первостепенных задач. Сбои в работе программного обеспечения могут привести к серьезным последствиям, а ..."
 
Том 26, № 3 (2014) Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения Аннотация  PDF (Rus)  похожие документы
А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян
 
Том 27, № 6 (2015) Облачный сервис ОИЯИ: статус и перспективы Аннотация  PDF (Rus)  похожие документы
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов
"... , отказоустойчивости и надежности, а также подходы к интеграции с другими ОВС. ..."
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
 
Том 24 (2013) Инструментальные средства оценки качества научно-технических документов Аннотация  PDF (Rus)  похожие документы
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров
"... -технических документов, применении эвристических правил, а также на применении методов оценки наличия прямых ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
 
Том 30, № 2 (2018) Синтаксический анализ графов с использованием конъюнктивных грамматик Аннотация  PDF (Rus)  похожие документы
Р. Ш. Азимов, С. В. Григорьев
"... , а именно, аппроксимацию сверху. Предложенный алгоритм основан на матричных операциях, и проведенные ..."
 
Том 21 (2011) Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. М. Миниахметов
 
1 - 39 из 378 результатов 1 2 3 4 5 6 7 8 9 10 > >> 

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

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