Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 1 (2016) Оптимизация динамической загрузки библиотек на архитектуре ARM Аннотация  PDF (Rus)  похожие документы
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков
"... компоновки процедур (PLT). Стандартные механизмы кодогенерации на операционной системе Linux предполагают ..."
 
Том 21 (2011) Извлечение объектов и их атрибутов из таблиц текстовых документов Аннотация  PDF (Rus)  похожие документы
Никита Астраханцев
"... Извлечение информации из таблиц является важной и достаточно сложной частью информационного поиска ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
"... приходящих пакетов коммутатор выполняет поиск записи (правила) в таблице потоков по значениям полей заголовка ..."
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... широко распространенных разрешимых логиках, таких как QF_UFLIA. В данной статье представлена процедура ..."
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... явные дисковые сбои, так и скрытые битовые ошибки, а также процедуры их выявления. Для расчёта ..."
 
1 - 6 из 6 результатов

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

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