Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 38, № 3: часть 2. май-июнь Статический анализатор для распознавания массивов в С-программах для задач фаззинга Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович КОЗНОВ, Данила Александрович УСАЧЕВ
"... задач фаззинга C-функций оказывается полезной информация о массивах, которые принимаются на вход ..."
 
Том 34, № 2 (2022) Поиск ошибок в бинарном коде методами динамической символьной интерпретации Аннотация  похожие документы
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ
"... безопасного цикла разработки являются фаззинг и символьная интерпретация программ, позволяющие автоматически ..."
 
Том 33, № 4 (2021) Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ
"... документа формируются массивы пробелов, состоящие из пар: по четыре и два пробела или по два пробела ..."
 
1 - 3 из 3 результатов

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

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