Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 6 (2014) Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга Аннотация  PDF (Rus)  похожие документы
Х. Лопез, С. Мааг, Ж. Моралес
"... . We focus on providing trust verdicts by evaluating the behaviors of different agents, using ..."
 
Том 31, № 3 (2019) Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Аннотация  похожие документы
Михаил Михайлович Носовский, Константин Юрьевич Дегтярев
"... reputation systems for trust management across users of the network. Most of existing reputation systems ..."
 
Том 31, № 3 (2019) Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Аннотация  похожие документы
Дмитрий Вадимович Мельничук
 
Том 28, № 4 (2016) Масштабируемые учебно-экспериментальные среды для современных предприятий Аннотация  похожие документы
А. Р. Топчян
 
Том 26, № 3 (2014) Обзор масштабируемых систем межмодульных оптимизаций Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова
"... these problems with regard to hardware capabilities and user demands are called scalable cross-module ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
 
Том 26, № 4 (2014) Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов
"... This article is an overview of scalable infrastructure for storage and processing of genome data ..."
 
Том 27, № 3 (2015) О реализации формального метода верификации масштабируемых систем с когерентной памятью Аннотация  PDF (Rus)  похожие документы
Владимир Буренков
"... This article analyzes existing methods of verification of cache coherence protocols of scalable ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... in trust in the new programming code. The given paper is devoted to developing formal logical language ..."
 
Том 26, № 1 (2014) Texterra: инфраструктура для анализа текстов Аннотация  PDF (Rus)  похожие документы
Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов
"... . Texterra delivers a scalable solution for text processing based on novel methods that exploit knowledge ..."
 
Том 28, № 6 (2016) Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Аннотация  похожие документы
Михаил Дробышевский, Антон Коршунов, Денис Турдаков
"... into account computational complexity, we suggest two parallelized extensions which are scalable to large ..."
 
Том 26, № 5 (2014) Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде Аннотация  PDF (Rus)  похожие документы
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин
"... of scalable service-oriented software systems and load balancing for computing resources of runtime ..."
 
Том 27, № 5 (2015) Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... depth for dynamic data structures. The method is scalable, as far as it demonstrates reasonable ..."
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... as the main example. The approach is based on a scalable path-sensitive analysis, which involves symbolic ..."
 
Том 20 (2011) Транзакционные параллельные СУБД: новая волна Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... A possibility to build unlimitedly scalable cluster-based systems has lead to strong activation ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..."
 
Том 28, № 1 (2016) Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Аннотация  PDF (Rus)  похожие документы
А. В. Дергачёв, А. В. Сидорин
"... . The implementation is scalable enough to allow analysis of large-scale software projects in reasonable time, finding ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... required. For future development we choose the most scalable technics, sampling analysis based on code ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... for simple implementation of efficient and scalable distributed calculations. In this paper, a MapReduce ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... This paper introduces a method for scalable verification of cache coherence protocols described ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... This paper introduces a technique for scalable functional verification of cache coherence protocols ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... application time (test length). Many algorithms have been suggested for test generation; however, no scalable ..."
 
Том 29, № 4 (2017) Программа для мониторинга общественных настроений в России на основе сообщений из Twitter Аннотация  похожие документы
С. И. Сметанин
"... , the data is stored in Google Cloud Datastore, that is, the highly-scalable NoSQL document database, which ..."
 
Том 23 (2012) Web-приложения и данные: проблемы абстракции и масштабируемости Аннотация  PDF (Rus)  похожие документы
Андрей Посконин
"... abstraction and also reveals basic considerations for design of a multi-store persistence layer for scalable ..."
 
Том 28, № 5 (2016) Ускорение оптимизации программ во время связывания Аннотация  PDF (Rus)  похожие документы
К. Ю. Долгорукова, С. В. Аришин
"... other methods on SPEC CPU2000 benchmark and implementation of the algorithm in scalable LLVM-based LTO ..."
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... уровня доверия, является сложной задачей. Еще более сложной она стан овится, если требуется интеграция ..."
 
Том 32, № 4 (2020) Протокол сертификации целостности облачных вычислений Аннотация  PDF (Rus)  похожие документы
Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН
"... not necessarily trust. We present a multi-party interactive protocol that solves this problem under specified ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... требуемые качество и надежность продукта, его сертифицируемость и необходимый уровень доверия к безопасности ..."
 
1 - 29 из 29 результатов

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

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