Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 4 (2020) Протокол сертификации целостности облачных вычислений Аннотация  PDF (Rus)  похожие документы
Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН
"... in the published result of other parties. Together with computation result, the computation certificate ..."
 
Том 26, № 2 (2014) Методы пороговой криптографии для защиты облачных вычислений Аннотация  PDF (Rus)  похожие документы
Н. П. Варновский, С. А. Мартишин, М. В. Храпченко, А. В. Шокуров
"... Information security in cloud computing technology is actively investigated by the world scientific ..."
 
Том 30, № 6 (2018) О задаче эффективного управления вычислительной инфраструктурой Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
 
Том 23 (2012) Энергоэффективные вычисления для группы кластеров Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... optimizing energy-efficiency of computations is considered. Some scheduling algorithms are proposed ..."
 
Том 27, № 6 (2015) Дерандомизационная криптостойкость гомоморфного шифрования Аннотация  PDF (Rus)  похожие документы
А. В. Трепачева
"... it and classical notions of cryptosystem’s security, practical security of whole cloud computing system. We show ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... Authentication is associated with a scenario, in which some party (the applicant) presented ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
"... In article questions of an evaluation of complexity of large-block cloud computing with enhanced ..."
 
Том 26, № 5 (2014) Пакетное симметричное полностью гомоморфное шифрование на основе матричных полиномов Аннотация  PDF (Rus)  похожие документы
Ф. Б. Буртыка
"... of cloud computing. However, the characteristics of existing FHE schemes are not suffi-cient for use ..."
 
Том 28, № 3 (2016) Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Аннотация  PDF (Rus)  похожие документы
Е. А. Ильченко
"... information, automation and others. Symbolic computation systems, they also called computer algebra system ..."
 
Том 31, № 2 (2019) Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP Аннотация  PDF (Rus)  похожие документы
Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас
"... computation of parameters that characterize the hardware. Of course, the hardware utilization also depends ..."
 
Том 28, № 6 (2016) Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Аннотация  похожие документы
Михаил Дробышевский, Антон Коршунов, Денис Турдаков
"... communities. We consider several approaches to computing modularity and try to extend them. Taking ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... the parties are shown and their content is explained. The Dolev-Yao threat model is used during protocols ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... duration, preventing useful computations. This happens because, in original formulations of methods ..."
 
Том 30, № 1 (2018) Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Аннотация  похожие документы
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман
"... log D+) message size and the same size of memory of each computing agent located in graph vertex ..."
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... is transmitted securely and protected from third parties' negative impact. As a rule, a cryptographic protocol ..."
 
Том 24 (2013) Разработка и реализация облачной системы для решения высокопроизводительных задач Аннотация  PDF (Rus)  похожие документы
А. О. Кудрявцев, В. К. Кошелев, А. О. Избышев, И. А. Дудина, Ш. Ф. Курмангалеев, А. И. Аветисян, В. П. Иванников, В. Е. Велихов, Е. А. Рябинкин
"... There is pronounced interest to cloud computing in the scientific community. However, current cloud ..."
 
Том 28, № 6 (2016) Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Аннотация  PDF (Rus)  похожие документы
О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов
"... Apache Spark is a framework providing fast computations on Big Data using MapReduce model ..."
 
Том 27, № 6 (2015) Облачный сервис ОИЯИ: статус и перспективы Аннотация  PDF (Rus)  похожие документы
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов
"... The paper describes some basic topics and use cases of cloud computing environments in various ..."
 
Том 26, № 5 (2014) Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера Аннотация  PDF (Rus)  похожие документы
А. В. Трепачева
 
Том 27, № 3 (2015) О реализации формального метода верификации масштабируемых систем с когерентной памятью Аннотация  PDF (Rus)  похожие документы
Владимир Буренков
"... This article analyzes existing methods of verification of cache coherence protocols of scalable ..."
 
Том 27, № 6 (2015) Модель проблемно-ориентированной облачной вычислительной среды Аннотация  PDF (Rus)  похожие документы
Г. И. Радченко
"... For efficient use of high-performance computing resources while implementing Computational Science ..."
 
Том 27, № 6 (2015) Динамическая оптимизация нагрузки на вычислительных узлах частных, публичных и гибридных облаков Аннотация  PDF (Rus)  похожие документы
А. С. Чадин
 
Том 31, № 6 (2019) Кэширование данных в мультиконтейнерных системах Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин
"... Today, virtualization is a key technology for cloud computing and modern data centers, providing ..."
 
Том 30, № 2 (2018) Анализ баллистокардиограммы на граничных вычислительных узлах Аннотация  PDF (Rus)  похожие документы
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов
"... efficient compared to machine learning-based methods, and can be implemented on an edge computing node ..."
 
Том 26, № 1 (2014) Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack Аннотация  PDF (Rus)  похожие документы
О. И. Самоваров, С. С. Гайсарян
"... (supercomputers , high performance clusters , including accelerators computing, development of 2D and 3D ..."
 
Том 25 (2013) Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов
"... computing scheme and parallel computing for checking satisfiability of Boolean constraint sets. An overview ..."
 
Том 30, № 6 (2018) Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД Аннотация  PDF (Rus)  похожие документы
Б. М. Шабанов, О. И. Самоваров
"... Data Center is the most progressive form of providing computing resources when it is necessary ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... of implementations of Internet protocols. The projects described in this article used the UniTESK technology ..."
 
Том 21 (2011) Оценка Производительности Протокола Реализации Snapshot Isolation Аннотация  PDF (Rus)  похожие документы
Д. Н. Василик
"... a simple SI implementation protocol for distributed DBMS and implemented it in the Apache HBase. This work ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
"... The paper presents a parallel computation algorithm of an arbitrary function value on a multiset ..."
 
Том 23 (2012) О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью Аннотация  PDF (Rus)  похожие документы
С. Н. Жук
 
Том 31, № 4 (2019) Вычисление приоритетов срабатывания переходов для живых сетей Петри Аннотация  похожие документы
Кирилл Геннадьевич Серебренников
"... In this paper, we propose an approach to implementation of the algorithm for computing transition ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... The paper discusses model-based testing of the modern Internet e-mail protocols, including ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... the organization of computations by specifying the order of the operators execution. The optimization ..."
 
Том 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 ..."
 
Том 23 (2012) Разработка тестового набора для верификации реализаций протокола безопасности TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... , there are no accepted public conformance test suite for those protocols. Implementers do have their own test suites ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... Protocol (EAP) implementations. Conformance testing is the basic tool to ensure interoperability between ..."
 
Том 28, № 6 (2016) Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Аннотация  похожие документы
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан
 
Том 24 (2013) Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, А. О. Кудрявцев, С. С. Гайсарян
"... For some compute intensive applications cloud computing can be a costeffective alternative ..."
 
1 - 41 из 173 результатов 1 2 3 4 5 > >> 

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

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