Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 ..."
 
Том 20 (2011) Транзакционные параллельные СУБД: новая волна Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... seems to be a confrontation of these camps in the area of "transactional" data management systems. Based ..."
 
Том 27, № 6 (2015) Инструментация и оптимизация выполнения транзакционных секций многопоточных программ Аннотация  PDF (Rus)  похожие документы
И. И. Кулагин, М. Г. Курносов
"... In this paper, we investigate efficiency of software transactional memory implementation in GCC ..."
 
Том 33, № 3 (2021) Аналитика в реальном времени, гибридная транзакционная/аналитическая обработка, управление данными в основной памяти и энергонезависимая память Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич КУЗНЕЦОВ, Павел Евгеньевич ВЕЛИХОВ, Цян ФУ
"... with other popular terms, hybrid transactional/analytical processing (HTAP) and in-memory data processing ..."
 
Том 26, № 6 (2014) Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов Аннотация  PDF (Rus)  похожие документы
М. С. Форостьянова
"... based on tree finite state machines (FSM) is proposed. The first step is the extraction ..."
 
Том 26, № 6 (2014) Построение прямого и обратного остовов автоматами на графе Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев
"... path). As a result the algorithm builds two spanning trees of the graph: the direct spanning tree ..."
 
Том 33, № 2 (2021) Решение проблемы обеспечения качества дерева многоадресной рассылки услуг Аннотация  PDF (Rus)  похожие документы
Клаудио Энрике РИССО-МОНТАЛЬДО, Франко Рафаэль РОБЛЕДО-АМОЗА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС
"... of Service Multicast Tree problem. This is a relevant problem related to nowadays telecommunication ..."
 
Том 27, № 6 (2015) Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Аннотация  PDF (Rus)  похожие документы
Н. Г. Кушик
"... enumerated. We show that if the specification FMS has a tree structure then it is possible to derive ..."
 
Том 35, № 6 (2023) Статический анализ на основе обобщённого абстрактного синтаксического дерева Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... The paper describes a unified representation for an abstract syntax tree (AST) suitable for static ..."
 
Том 31, № 3 (2019) Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев Аннотация  похожие документы
Антон Михайлович Ригин, Сергей Андреевич Шершаков
"... used kind of the multiway trees is the B-tree. There exist different modifications of the B-trees ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
 
Том 33, № 3 (2021) Метод анализа производительности критичных по времени приложений с помощью DB-Nets Аннотация  похожие документы
Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ
"... . This method allows to conduct a performance analysis for time-critical applications that work as transactional ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... transformations, to compose a tree, from which a simplified structure of a cryptographic protocol ..."
 
Том 37, № 1 (2025) Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов Аннотация  PDF (Rus)  похожие документы
Валерий Николаевич ИГНАТЬЕВ
"... over trees with respect to union and intersection is shown, and the linear complexity of the FAT tree ..."
 
Том 32, № 5 (2020) Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 Аннотация  PDF (Rus)  похожие документы
Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ
"... tree, random forest, AdaBoost, logistic regression), taking into account the minimum time of execution ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... language for describing code defects that a user wants to detect, in the form of syntax tree patterns. Some ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
"... of AADL models: Fault Tree Analysis (including calculation of minimal cut sets and ranking of primary ..."
 
Том 29, № 5 (2017) Распределённые алгоритмы на корневых неориентированных графах Аннотация  PDF (Rus)  похожие документы
И. Бурдонов, А. Косачев, А. Сортов
"... (MIS), Finding Set of Bridges (FSB), creation of Minimum Spanning Tree (MST) in a edge-weighted graph ..."
 
Том 35, № 6 (2023) Эффективная реализация быстрого метода мультиполей для взаимодействия частиц с ньютоновским потенциалом Аннотация  PDF (Rus)  похожие документы
Виктор Михайлович АУШЕВ
 
Том 36, № 4 (2024) Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace Аннотация  похожие документы
Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА
 
Том 31, № 4 (2019) Проектирование интерфейсов классов графовой модели нейронной сети Аннотация  PDF (Rus)  похожие документы
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин
"... the processing of such objects as a graph vertex, edge, oriented and undirected graph, spanning tree, circuit ..."
 
Том 35, № 6 (2023) Применение алгоритмов машинного обучения для предсказания турбулентной вязкости Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА
"... Tree Regressor. Using the chosen model, the distribution of turbulent viscosity in the computational ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... of test scenarios; transformation of scenario paragraphs to syntax tree using pretrained OpenIE model ..."
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
"... analysis including an analysis based on the abstract syntax tree and data flow analysis were considered ..."
 
Том 37, № 1 (2025) Система статического анализа для языка описания аппаратуры SystemVerilog Аннотация  PDF (Rus)  похожие документы
Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ
 
Том 31, № 4 (2019) Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера Аннотация  PDF (Rus)  похожие документы
Игорь Борисович Бурдонов
"... We consider a distributed network whose communication graph is a non-oriented tree. It is assumed ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
"... of an evaluation of complexity of tasks of this sort used for creation of the computing systems, optimum ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... . We also compare our implementation with existent B-tree implementation and show that proposed data ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... navigation across crosscutting concerns faster and easier. Concerns are represented as a tree of an arbitrary ..."
 
Том 33, № 2 (2021) Выполнимость мю-исчисления с арифметическими ограничениями Аннотация  PDF (Rus)  похожие документы
Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА
"... arithmetic constraints, interpreted over tree models. We describe a satisfiability algorithm based on breadth ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... and inter operator parallelism and their combinations. We evaluate these techniques applied to a query tree ..."
 
Том 28, № 4 (2016) Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций Аннотация  похожие документы
А. С. Камкин, А. М. Коцыняк
"... ’s Genesys-Pro. The main distinction is in how specifications are represented, what sort of information ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... system. Errors in this kind of software are the most dangerous and lead to system shutdown. This sort ..."
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... be topology-aware to reduce network congestion. In this paper the Hop-Byte metric for the case of "fat tree ..."
 
Том 23 (2012) Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской
"... function. There are also some points about syntax tree transformations. Such transformations can ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... method. This method is based on the tree (hierarchical structure of regions) construction. When ..."
 
Том 34, № 3 (2022) Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider Аннотация  похожие документы
Владислав Игоревич МИРОШНИКОВ
"... tree, for which we developed and described special algorithms allowing to take into account semantic ..."
 
Том 33, № 3 (2021) Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений Аннотация  похожие документы
Анна Вадимовна ЛАПКИНА, Андрей Александрович ПЕТУХОВ
"... function call stack, and the changes in the page's DOM tree after the request was initialized ..."
 
1 - 39 из 53 результатов 1 2 > >> 

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

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