Сортировать по:
Выпуск | Название | |
Том 26, № 1 (2019) | Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции | Аннотация PDF (Rus) похожие документы |
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев | ||
"... an NFV platform and present a solution implemented in C2 MANO-platform. ..." | ||
Том 17, № 3 (2010) | Вариационные неравенства и принцип виртуальных перемещений | Аннотация PDF (Rus) похожие документы |
Н. А. Демьянков | ||
Том 25, № 2 (2018) | Измерение накладных расходов на параллелизм и виртуальную память | Аннотация похожие документы |
Евгений Иванович Клименков | ||
"... by concurrency and virtual memory. A special measurement technique and testbed were used to obtain the most ..." | ||
Том 21, № 5 (2014) | Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Фарков, Александр Иванович Легалов | ||
Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
Руслан Леонидович Смелянский | ||
"... computing and virtualization based on SDN&NFV technologies. The presentation considers the requirements ..." | ||
Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
"... implementing a virtual link-based approach to real-time data transfer. The main drawback of these networks ..." | ||
Том 20, № 1 (2013) | О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... to be virtual residuality by finite π–groups is obtained. ..." | ||
Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
"... Предлагается новый подход к множественной аутентификации пользователя в разнородных информационных ..." | ||
Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
"... . The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual ..." | ||
Том 26, № 1 (2019) | От главного редактора | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... on the technology of building modern computer networks and information infrastructures SDN and NFV. SDN (Software ..." | ||
Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
Том 26, № 3 (2019) | GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии | Аннотация PDF (Rus) похожие документы |
Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков | ||
"... software, a single tree of a virtual GRID filesystem distributed between heterogeneous nodes is used ..." | ||
Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
"... available for CakeML, rather than relying on a virtual machine for execution of smart contracts; (3) using ..." | ||
Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
"... of the blockchain technology. Among other things it is also possible to compare the virtual crypto-currency value ..." | ||
Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
Томас Баар, Сергей Михайлович Старолетов | ||
"... логического исчисления и успешное доказательство требует от пользователя глубоких знаний о доступных правилах ..." | ||
Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
"... количество пользователей трекера, активно участвующих в информационном обмене, и количество активных раздач ..." | ||
Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
"... В настоящее время растет интерес пользователей к приложениям для мгновенного обмена сообщениями ..." | ||
Том 21, № 4 (2014) | Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона | Аннотация PDF (Rus) похожие документы |
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов | ||
"... точки зрения пользователя и не требует дополнительных знаний или покупки специальных устройств для ..." | ||
Том 26, № 2 (2019) | Система распределения ключей на дизайнах | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Алексей Александрович Таран | ||
"... распределения ключей в сообществе, при этом каждый пользователь получает некоторую ключевую информацию, на ..." | ||
Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов, С. И. Вовчок | ||
"... основные свойства социальной сети: степенное распределение количества сообществ для пользователей, плотные ..." | ||
Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
"... позволяют пользователям, во-первых, определять функциональные требования, которые также служат документацией ..." | ||
Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
"... сетью, должно гарантировать, что конфиденциальные данные одного пользователя не будут переданы другим ..." | ||
Том 25, № 4 (2018) | Динамическая модель процессов информационных обменов в пиринговой сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова | ||
"... раздачи файла (в первом приближении — это количество пользователей — сидеров и личеров на раздаче ..." | ||
Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
"... атака, в ходе которой группы из c недобросовестных пользователей могут объединяться в коалиции и ..." | ||
Том 27, № 1 (2020) | Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей | Аннотация PDF (Rus) похожие документы |
Сeргей Владимирович Моржов | ||
"... Рост популярности онлайн-платформ, позволяющих пользователям общаться друг с другом, делиться ..." | ||
Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Бойцов | ||
"... -разработчиков ПО, так и для конечных пользователей. Однако вместе с этими преимуществами данный переход несет и ..." | ||
Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... проекта F@BOOL@ - разработка понятного для пользователей, компактного и переносимого верифицирующего ..." | ||
Том 23, № 5 (2016) | Численные методы решения задач Коши с контрастными структурами | Аннотация PDF (Rus) похожие документы |
А. А. Белов, Н. Н. Калиткин | ||
"... превышает заданную пользователем. Исследованы границы применимости численных методов. При решении задач ..." | ||
Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
"... Удобная для пользователя формальная спецификация и верификация параллельных и распределённых систем ..." | ||
Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
Дмитрий Владимирович Антонов, В. С. Рублев | ||
"... работы пользователей с ней. Для этого разрабатывается комплекс программных средств, необходимых для ..." | ||
Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
"... пользователям контроллера ПКС, являются одними из наиболее важных аспектов сетевых операционных систем. Данное ..." | ||
Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
Д. А. Усталов | ||
"... экспериментах приняли участие как волонтеры из популярных социальных сетей, так и пользователи бирж ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и ..." | ||
Том 30, № 4 (2023) | Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений | Аннотация PDF (Rus) похожие документы |
Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков | ||
"... в соответствии с критериями, задаваемыми в запросе пользователем, в том числе решаемой задачей и ..." | ||
Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
Хулио С Карраскель, Халил Мешерауи | ||
"... , при котором устанавливаются соответствия между заявками пользователей и сделками. ..." | ||
1 - 35 из 35 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)