Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 33, № 5 (2021) Формальный язык первичных спецификаций криптографических протоколов Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич ПРОКОПЬЕВ
 
Том 33, № 3 (2021) Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ
 
Том 33, № 3 (2021) Оптимизации расположения данных для компилятора LCC для архитектуры Эльбрус Аннотация  похожие документы
Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ
 
Том 32, № 6 (2020) Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА
 
Том 33, № 5 (2021) Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA Аннотация  похожие документы
Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА
 
Том 33, № 4 (2021) Полная решающая процедура для теории ограниченной адресной арифметики Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
 
Том 33, № 1 (2021) Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 33, № 1 (2021) Обучение многослойного перцептрона с учителем в задаче распознавания с помощью корреляционного показателя Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Виктор Андреевич КУЧУКОВ, Наталья Николаевна КУЧУКОВА
 
Том 33, № 5 (2021) Онтологическое обеспечение управления рисками информационной безопасности Аннотация  PDF (Rus)  похожие документы
Ибрагим БУБАКАР, Марина Борисовна БУДЬКО, Михаил Юрьевич БУДЬКО, Алексей Валерьевич ГИРИК
 
Том 33, № 5 (2021) Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ
 
Том 33, № 4 (2021) Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Артур Евгеньевич ГАЙНОВ, Борис Владимирович КОНДРАТЬЕВ
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
 
1 - 12 из 12 результатов

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

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