Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... библиотечных функций: при помощи резюме в виде набора признаком или в виде упрощенных реализаций на языке C ..."
 
Том 28, № 1 (2016) Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Аннотация  PDF (Rus)  похожие документы
А. В. Дергачёв, А. В. Сидорин
"... при использовании межпроцедурного анализа методом резюме при анализе исходного кода программы на ..."
 
Том 23 (2012) Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской
"... «Выделение функции». Разбираются способы обработки различных языковых конструкций при проведении рефакторинга ..."
 
Том 31, № 2 (2019) Теоретический подход к поиску глобального экстремума при обучении нейронных сетей Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова
"... основе взаимно-корреляционной функции как мере их энергетической схожести (различия). Для оценки ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции ..."
 
Том 27, № 2 (2015) Параллельные вычисления на динамически меняющемся графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... Рассматривается задача параллельного вычисления значения функции от мультимножества значений ..."
 
Том 28, № 6 (2016) Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Аннотация  похожие документы
Михаил Дробышевский, Антон Коршунов, Денис Турдаков
 
Том 18 (2010) Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... . Работа выполнялась в Институте системного программирования РАН в рамках проекта «Верификация функций ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... базируется на кластеризации функций по расстояниям между ними в адресном пространстве и на графе вызовов ..."
 
Том 31, № 5 (2019) Автоматическое доказательство корректности программ с динамической памятью Аннотация  PDF (Rus)  похожие документы
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... перепрограммирования блоков памяти LUTs для маскирования TC. Сформулировано требование к замещающей функции ..."
 
Том 25 (2013) Оптимальное упорядочение конфликтующих объектов и задача коммивояжера Аннотация  PDF (Rus)  похожие документы
А. В. Воеводин, С. А. Косяченко
"... алгоритмы, при которых достигается нулевое минимальное значение целевой функции задачи. Предложены ..."
 
1 - 14 из 14 результатов

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

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