Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 5 (2020) Обнаружение дефекта взаимной блокировки с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН
 
Том 32, № 4 (2020) Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Сергей Юрьевич МОКШИН
 
Том 32, № 1 (2020) В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов
 
Том 32, № 4 (2020) Двухшаговый метод объединения новостей в сюжеты Аннотация  PDF (Rus)  похожие документы
Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ
 
Том 31, № 6 (2019) Кэширование данных в мультиконтейнерных системах Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
 
Том 32, № 5 (2020) Применение метода HDBSСAN для кластеризации данных scRNA-seq Аннотация  похожие документы
Мария Андреевна АКИМЕНКОВА, Анна Анатольевна МАЗНИНА, Антон Юрьевич НАУМОВ, Евгений Андреевич КАРПУЛЕВИЧ
 
Том 32, № 5 (2020) Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера Аннотация  PDF (Rus)  похожие документы
Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
 
Том 32, № 5 (2020) Модельный подход к обеспечению безопасности и надежности Web-сервисов Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ
 
Том 31, № 6 (2019) Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке Аннотация  PDF (Rus)  похожие документы
Константин Борисович Кошелев, Сергей Владимирович Стрижак
 
Том 32, № 4 (2020) Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети Аннотация  PDF (Rus)  похожие документы
Павел Константинович АНДРЕЕВ, Владислав Валерьевич АНАНЬЕВ, Владимир Алексеевич МАКАРОВ, Евгений Андреевич КАРПУЛЕВИЧ, Денис Юрьевич ТУРДАКОВ
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
 
Том 32, № 4 (2020) Разработка решателя iceFoam для моделирования процесса обледенения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК
 
Том 32, № 1 (2020) Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Штехин, Денис Константинович Карачев, Юстина Алексеевна Иванова
 
Том 31, № 6 (2019) Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров
 
Том 32, № 1 (2020) BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений Аннотация  PDF (Rus)  похожие документы
Анастасия Всеволодовна Звездакова, Дмитрий Леонидович Куликов, Сергей Васильевич Звездаков, Дмитрий Сергеевич Ватолин
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
 
1 - 19 из 19 результатов

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

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