Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 2 (2023) Модификация алгоритма выравнивания коротких прочтений для повышения качества пайплайна обработки данных полногеномного секвенирования человека Аннотация  PDF (Rus)  похожие документы
Егор Павлович ГУГУЧКИН, Евгений Андреевич КАРПУЛЕВИЧ
"... This study emphasizes the importance of aligning short reads in the analysis of human whole-genome ..."
 
Том 34, № 2 (2022) Модификация метода расчета полигенных рисков с использованием графа вариации Аннотация  PDF (Rus)  похожие документы
Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ
"... by a similar method but using sequence representation using a reference genome. Such a comparison helped ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... . Alignment-based conformance checking is the most advanced and frequently used type of such algorithms ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... . Существование последовательностей, различающих каждую пару состояний в автомате-спецификации, может существенно ..."
 
Том 36, № 5 (2024) Разработка вредоносного набора данных для защиты больших языковых моделей от атак Аннотация  PDF (Rus)  похожие документы
Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Константин Владимирович АРХИПЕНКО, Денис Юрьевич ТУРДАКОВ
"... vulnerabilities in large language models can be addressed in the future through the alignment procedure ..."
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... Существует достаточно много публикаций, посвященных построению проверяющей последовательности для ..."
 
Том 26, № 6 (2014) Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции Аннотация  PDF (Rus)  похожие документы
Антон Ермаков
"... В данной статье предлагается алгоритм построения адаптивной проверяющей последовательности для ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... распознавания повторов в символьных последовательностях. Теоретическое обоснование основывается на теореме об ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... В данной статье мы предлагаем метод автоматического построения диаграмм последовательности UML на ..."
 
Том 31, № 2 (2019) Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных Аннотация  PDF (Rus)  похожие документы
Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... to bits and supported structure alignment similar to the GCC compiler. We implemented the predicate ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... (последовательности и деятельности), которые рассматриваются совместно с диаграммами коммуникаций. Это позволяет ..."
 
Том 28, № 6 (2016) Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Аннотация  PDF (Rus)  похожие документы
Д. О. Машкин, Е. В. Котельников
"... проблема разметки последовательности; для её решения применяется модель условных случайных полей (CRF). Для ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... . The following types of conflicts are considered: simultaneous reads and writes, simultaneous writes, reading ..."
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... -tree and B-tree. We study the problem in the transactional environment with read committed isolation ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... specification and a simplified specification of RCU (Read-copy-update) API. ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... read or writing in some buffer. The technique is based on dynamic analysis and symbolic execution. We ..."
 
Том 35, № 4 (2023) Моделирование русловых процессов в створе канала Аннотация  PDF (Rus)  похожие документы
Игорь Иванович ПОТАПОВ, Дмитрий Игоревич ПОТАПОВ
"... into account changes in the average turbulent viscosity along the alignment when the channel alignment changes ..."
 
Том 24 (2013) Распределенные горизонтально масштабируемые решения для управления данными Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. В. Посконин
"... ”) and high read/write loads. These applications require underlying data management systems to scale well ..."
 
Том 23 (2012) Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. А. Прохоров
"... computers and storage systems. Flash drives have advantages over traditional hard drives, high read ..."
 
Том 32, № 5 (2020) Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения Аннотация  PDF (Rus)  похожие документы
Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР
"... The registration of a 3D model over an image can be seen as the alignment of visual ..."
 
Том 26, № 4 (2014) Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов
"... This article is an overview of scalable infrastructure for storage and processing of genome data ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... can perform operations in any order. The authors have created a method for detecting read, write ..."
 
Том 37, № 2 (2025) Модель детекции фибрилляции предсердий, основанная на дифференцировании и сжатии интервалограмм Аннотация  похожие документы
Никита Сергеевич МАРКОВ
"... классификации последовательностей интервалов между сердцебиениями. В основе модели лежит нормализованное ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... особенности последовательностей проверяемых формул. В результате модифицированный алгоритм показал ускорение ..."
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... /delete a subject, read, write, append (blind write), create/delete an object, grant/remove access rights ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... , and hardware timers. During replay we read these events from the log and put them back into the simulator ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... of the method is to intercept system functions and read parameters and return values. Processor uses a special ..."
 
Том 23 (2012) Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL Аннотация  PDF (Rus)  похожие документы
Алексей Меркулов, Андрей Белеванцев
"... operands, memory address, and memory access mode (read or write) is generated and placed on the first cycle ..."
 
Том 23 (2012) Тестирование драйверов файловых систем в ОС Linux Аннотация  PDF (Rus)  похожие документы
А. В. Цыварев, В. А. Мартиросян
"... driver's behavior under faulty environment, when request for memory allocation or disk read/write may ..."
 
Том 32, № 1 (2020) Модель мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин
"... components of a system to passive ones and represent the accesses directly: subjects get read or write access ..."
 
Том 30, № 3 (2018) Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Аннотация  похожие документы
В. Ю. Чепцов, А. В. Хорошилов
"... , allowing the handling of page or segment traps at read or write access, we presume that a suggested ..."
 
Том 26, № 6 (2014) Локализация неисправной компоненты в композиции расширенных автоматов Аннотация  PDF (Rus)  похожие документы
Светлана Прокопенко
"... последовательностях длины не больше l (l-эквивалент). Из l-эквивалентов удаляются вход-выходные последовательности ..."
 
Том 31, № 2 (2019) Теоретический подход к поиску глобального экстремума при обучении нейронных сетей Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова
"... сходимости обучающей и полученной экспериментально последовательностей на основе корреляционного показателя ..."
 
Том 26, № 4 (2014) Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса Аннотация  PDF (Rus)  похожие документы
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан
"... представлено в виде последовательности сверхпороговых гистограмм распределения областей движения в поле зрения ..."
 
Том 23 (2012) Повышение уровня представления трасс выполнения программ Аннотация  PDF (Rus)  похожие документы
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров
"... же время, трассы выполнения программ, состоящие из последовательности выполненных процессором ..."
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... интерпретация последовательности машинных инструкций, выполненных за время работы программы. Рассматриваются ..."
 
Том 27, № 3 (2015) Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами Аннотация  PDF (Rus)  похожие документы
Сергей Черненок, Валерий Непомнящий
"... Язык диаграмм последовательностей сообщений (MSC-диаграмм) является популярным сценарно ..."
 
Том 35, № 3 (2023) Разработка и реализация метода цифровой стеганографии на основе встраивания псевдоинформации Аннотация  похожие документы
Ирина Геннадьевна ГВОЗДЕВА, Артем Сергеевич ГРОМОВ, Ольга Михайловна ГВОЗДЕВА
"... сообщением. Разработан алгоритм этого метода. При этом частоту последовательности битов получали в ..."
 
1 - 40 из 67 результатов 1 2 > >> 

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

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