Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23 (2012) Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. А. Прохоров
"... algorithms of database buffer pool management designed to work with flash memory drives: CFDC (Clean First ..."
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
"... В статье приводится обзор средств, используемых в объектной СУБД нового типа для повышения ..."
 
Том 20 (2011) Транзакционные параллельные СУБД: новая волна Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... . Образовались два основных фронта: "NoSQL", где отрицаются основные принципы, свойственные СУБД, и "один размер ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... Объектно-ориентированные СУБД - одно из наиболее перспективных направлений развития современной ..."
 
Том 21 (2011) Разработка параллельной СУБД на основе PostgreSQL Аннотация  PDF (Rus)  похожие документы
К. С. Пан
"... PargreSQL для многопроцессорных вычислительных систем с распределенной памятью. PargreSQL основана на СУБД с ..."
 
Том 28, № 6 (2016) Динамическая компиляция SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев
"... производительность СУБД для некоторых классов запросов определяется непосредственно скоростью обработки запросов ..."
 
Том 25 (2013) Оценка эффективности минимизации ограничений запросов к СУБД Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович, С. Д. Кузнецов
 
Том 28, № 4 (2016) Поиск ошибок доступа к буферу в программах на языке C/C++ Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, В. К. Кошелев, А. Е. Бородин
"... The paper describes a static analysis approach for buffer overflow detection in C/C++ source code ..."
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... Buffer overflows are one of the most common and dangerous software errors. Exploitation ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... Many buffer overrun errors in C programs are caused by erroneous string manipulations. These can ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... Over the last few decades buffer overflow remains one of the main sources of program errors ..."
 
Том 28, № 5 (2016) Когда защита стека в компиляторах не срабатывает? Аннотация  похожие документы
Павел Довгалюк, Владимир Макаров
"... The majority of software vulnerabilities originate from buffer overflow. Techniques to eliminate ..."
 
Том 28, № 4 (2016) Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник
"... производительность СУБД для некоторых классов запросов определяется непосредственно скоростью обработки запросов ..."
 
Том 19 (2010) MapReduce: внутри, снаружи или сбоку от параллельных СУБД? Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... Обсуждаются подходы к использованию технологии MapReduce в аналитических СУБД. Рассмотриваются ..."
 
Том 32, № 1 (2020) В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов
"... появлению нового вида сверхскоростных систем управления базами данных (СУБД) с одноуровневым хранением ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... exploits for stack buffer overflow vulnerabilities and also to prioritize software bugs. It is applied ..."
 
Том 20 (2011) Использование префиксного дерева для хранения и поиска строк во внешней памяти Аннотация  PDF (Rus)  похожие документы
И. С. Таранов
"... памяти массивов текстовых строк, реализованная для поддержки индексов в XML СУБД Sedna. Описываются ..."
 
Том 31, № 3 (2019) Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев Аннотация  похожие документы
Антон Михайлович Ригин, Сергей Андреевич Шершаков
"... СУБД с открытым исходным кодом SQLite. Данная работа выполняется на основе проведённого ранее ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
 
Том 32, № 1 (2020) Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Аннотация  PDF (Rus)  похожие документы
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков
"... уменьшением стоимости оборудования, производительность СУБД для некоторых классов запросов всё чаще ..."
 
Том 28, № 5 (2016) Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
И. А. Дудина
"... We propose inter-procedural static analysis tool for buffer overflow detection. It is based ..."
 
Том 21 (2011) Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. М. Миниахметов
"... , адаптированного для реляционной СУБД с открытым исходным кодом PostgreSQL. ..."
 
Том 32, № 5 (2020) Динамическая компиляция пользовательских функций на языке PL/pgSQL Аннотация  PDF (Rus)  похожие документы
Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН
"... Многие современные СУБД предоставляют процедурное расширение декларативного языка программирования ..."
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... of command buffers. These methods require significant computational resources to execute, and the amount ..."
 
Том 19 (2010) Год эпохи перемен в технологии баз данных Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... утверждали о необходимости радикального пересмотра архитектур СУБД. Эти утверждения подтверждались ..."
 
Том 29, № 2 (2017) Управление данными: 25 лет прогнозов Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... данных содержатся следующие: роль специализированной аппаратуры при построении эффективных СУБД; SQL и ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... ), переполнения буфера (Buffer Overflow) и др. В статье предложен метод обнаружения ошибок UAF, основанный на ..."
 
Том 23 (2012) Обзор развития методов лексической оптимизации запросов Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович, С. Д. Кузнецов
"... , украшение и сокращение запросов. Обсуждаются алгоритмы оптимизации для реляционных и нереляционных СУБД. ..."
 
Том 23 (2012) Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce Аннотация  PDF (Rus)  похожие документы
А. Ю. Пигуль
"... Для анализа больших объемов данных используются такие методы как параллельные СУБД, парадигма ..."
 
Том 21 (2011) Оценка Производительности Протокола Реализации Snapshot Isolation Аннотация  PDF (Rus)  похожие документы
Д. Н. Василик
"... разработали простой прокол реализации SI для распределенных СУБД и реализовали его в Apache HBase ..."
 
Том 29, № 6 (2017) Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack Аннотация  PDF (Rus)  похожие документы
Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов
"... путем отказа от использования СУБД MySQL/MariaDB и PostgreSQL в качестве хранилища данных сервиса в ..."
 
Том 27, № 3 (2015) Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения Аннотация  PDF (Rus)  похожие документы
Наталия Лиманова, Максим Седов
"... частично отсутствующих реквизитах. Алгоритм реализован на языке PL-SQL в СУБД Oracle 11g. ..."
 
Том 23 (2012) Web-приложения и данные: проблемы абстракции и масштабируемости Аннотация  PDF (Rus)  похожие документы
Андрей Посконин
"... то, что SQL-ориентированные системы управления базами данных (СУБД) широко применялись и применяются ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... . Particularly, ways of code execution using buffer overflow on stack and on heap, using use-after-free ..."
 
Том 21 (2011) Экспериментальное исследование параллельного исполнения SQL запросов Аннотация  PDF (Rus)  похожие документы
К. К. Смирнов, Г. А. Чернышев
"... , buffer size, workload characteristics, measure the relative performance of several distinct join ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... read or writing in some buffer. The technique is based on dynamic analysis and symbolic execution. We ..."
 
Том 19 (2010) Восстановление формата данных Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин
"... code dynamic analysis and allows recovering hierarchical structure of analyzed memory buffers ..."
 
Том 29, № 3 (2017) Обзор методов динамической компиляции запросов Аннотация  PDF (Rus)  похожие документы
Е. Ю. Шарыгин, Р. А. Бучацкий
"... компиляции запросов, в основном для реляционных СУБД. Представлены работы последних лет, описаны ..."
 
Том 24 (2013) Распределенные горизонтально масштабируемые решения для управления данными Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. В. Посконин
"... , традиционные SQL-ориентированные СУБД зачастую не могут удовлетворить требования современных приложений, что ..."
 
Том 31, № 6 (2019) Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ Аннотация  PDF (Rus)  похожие документы
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков
"... for program defect detection and implementation of analyzer of memory buffer bounds violation based ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... and address translation buffers. The use of formal specifications helps automate development of test program ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... ; при разумном (с позиций сообщества баз данных) использовании СУБД, основанной на модели ODMG, будут ..."
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... models which describe input and output buffers, and automatic analysis of data flows between buffers ..."
 
Том 28, № 4 (2016) Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций Аннотация  похожие документы
А. С. Камкин, А. М. Коцыняк
"... management mechanisms such as translation lookaside buffers, page tables, table lookup units, and caches ..."
 
1 - 44 из 51 результатов 1 2 > >> 

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

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