Сортировать по:
| Выпуск | Название | |
| Том 17, № 2 (2010) | Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 | Аннотация PDF (Rus) похожие документы |
| И. В. Алексеев, С. А. Меркулов, А. А. Сивов | ||
| "... establishment. Some aspects of TCP and ARTCP interaction are discussed. Presented a work plan to implement ..." | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... The article discusses an ARTCP header structure and some practical aspects of forming the header ..." | ||
| Том 19, № 5 (2012) | TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... The article describes TCP TIPS, the transport level protocol, which aim is to effi- ciently use ..." | ||
| Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
| "... We study the performance of the Trickles protocol which is a transport-layer protocol for the TCP ..." | ||
| Том 31, № 3 (2024) | Методы определения неявно упоминаемых аспектов в публицистических предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Егор Михайлович Колупаев | ||
| "... The paper compares performance of various methods of automatic implicit aspect detection ..." | ||
| Том 31, № 4 (2024) | Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... The article is devoted to the task of the sentiment detection towards an aspect of economic ..." | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| Том 26, № 3 (2019) | GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков | ||
| "... by the authors combines two clusters with Linux CentOS 7 and is based on software from UMD-4. The relevance ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... OS for InnoChain instead of more traditional general-purpose OSes such as Linux. The proposed ..." | ||
| Том 26, № 4 (2019) | Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... Рассматривается вычислительная реализация алгоритма оценки спектра показателей Ляпунова для систем ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| Том 27, № 3 (2020) | Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Анна Олеговна Толбей | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| "... предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР ..." | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| "... некоторый выигрыш как при реализации на однопоточном, так и на многопоточном вычислителе. Получены численные ..." | ||
| Том 20, № 2 (2013) | Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты | Аннотация PDF (Rus) похожие документы |
| Антон Юрьевич Бернштейн, Николай Вячеславович Шилов | ||
| "... communication aspects of the RinS problem — the informational and cryptographic. We proved that (1 ..." | ||
| Том 23, № 6 (2016) | Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки | Аннотация PDF (Rus) похожие документы |
| Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов | ||
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... of instructions of the processor used to call the function of the operating system. For the Linux operating system ..." | ||
| Том 27, № 1 (2020) | К вопросу об оценках распределения длин путей между узлами в глобальной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Алексей Владиславович Городилов | ||
| "... length with traceroute utility of the GNU/Linux system and limitations on the selection of nodes imposed ..." | ||
| Том 23, № 6 (2016) | Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей | Аннотация PDF (Rus) похожие документы |
| В. А. Александров, В. А. Десницкий, Д. Ю. Чалый | ||
| "... which implements the Internet of Things concept, it is important to take into account all its aspects ..." | ||
| Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
| В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
| "... . The penalization / reward scheme has some separate aspects: 1. Penalization for the actuality of information. 2 ..." | ||
| Том 21, № 5 (2014) | Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Фарков, Александр Иванович Легалов | ||
| "... . Сформированы дополнительные требования, предъявляемые к методам оптимизации при их реализации на графических ..." | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... kernel in the information system METAPHORA developed to process proverbs at the semantic aspect. ..." | ||
| Том 14, № 3 (2007) | О вербальной модели диссертационной работы | Аннотация похожие документы |
| Ю. Г. Гущин | ||
| "... работы определяет алгоритмический базис в практической реализации когнитивной технологии принятия решений. ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... Развитие проекта C-light привело к применению новых формализмов и реализации методов, которые ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... обнаруживают большое количество часто встречающихся функциональных ошибок в программных реализациях системы ..." | ||
| Том 15, № 1 (2008) | Бифуркация бегущих волн видоизмененного уравнения Гинзбурга-Ландау | Аннотация PDF (Rus) похожие документы |
| А. Э. Котиков, А. Н. Куликов | ||
| "... and local bifurcations are the main purposes of this work. It has been shown that in this aspect the results ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... компиляции с целью повышения качества исходного кода. В качестве способа реализации такого семантического ..." | ||
| Том 19, № 3 (2012) | Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александрович Марушкина | ||
| "... диагностировать два типа режимов, тогда как фазовый портрет, ляпуновская размерность и графики реализации ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... проблем управления параллелизмом, специфичных для реализации данного механизма как на платформе Smart-M3 ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... в студенческих программных реализациях алгоритмов работы с массивами. ..." | ||
| Том 26, № 2 (2019) | На пути к SD-WAN решению | Аннотация похожие документы |
| Станислав Валентинович Корсаков, Валерий Анатольевич Соколов | ||
| "... В статье описываются предпосылки и некоторые этапы реализации промышленного решения по построению ..." | ||
| Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
| Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
| "... Рассматриваются вопросы, связанные с реализацией динамического программирования в задачах ..." | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... отношению к заданной реализации программной системы. Диаграмма состояний считается тем менее абстрактной ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... ), основанный на SMT-решателе. Мы опишем базовую теорию, необходимую для реализации тайп-чекера, саму реализацию ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... уровнем. Приведены примеры редукции параллелизма для платформы ПЛИС и практическая реализация тестовых ..." | ||
| Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... непротиворечивости и полноте. Однако нам не известны реализации этих теоретических методов, проверенные чем-либо ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... формализации анализа требований и реализации тестируемой системы, основанный на представлении разбиения на ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... for the existence ofpreset and adaptive HS and algorithms for their derivation. Nowadays timed aspects become very ..." | ||
| Том 28, № 3 (2021) | Сравнение стилистических характеристик для верификации авторов художественных текстов | Аннотация похожие документы |
| Ксения Владимировна Лагутина | ||
| "... in the aspects of rhythm, the percentage of nouns, adjectives, adverbs and verbs in the aspects of rhythm ..." | ||
| Том 21, № 6 (2014) | PolarDB – система создания специализированных NoSQL баз данных и СУБД | Аннотация PDF (Rus) похожие документы |
| Александр Гурьевич Марчук | ||
| "... отображений в файловые представления. Были проведены эксперименты с реализацией графов RDF, связанных ..." | ||
| Том 21, № 3 (2014) | Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... реализации этой процедуры вспомогательных алгебраических задач. ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... статье предлагается оригинальный подход к реализации BMC, основанный на объединении результатов ..." | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| "... целостности всех информационных потоков. Приведено описание реализации dataflow-сети и структуры механизма ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... реализаций, в основе которого лежит метод Ньютона, предназначенный для численной минимизации функций. Для ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... исчисления. Рассмотрены вопросы об эффективной реализации нового исчисления в виде программной системы для ..." | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... реализации мажоритарного декодера для групповых кодов, заданных как левые идеалы групповых алгебр. Кроме ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... , по которой осуществляется её программная реализация на любом из языков программирования ПЛК стандарта ..." | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов, С. И. Вовчок | ||
| "... реализация, зависящая от такого параметра как количество сообществ, а не от количества пользователей, как это ..." | ||
| Том 24, № 2 (2017) | Дедубликация в системе резервного копирования с хранением информации в базе данных | Аннотация PDF (Rus) похожие документы |
| Сергей Максимович Таранин | ||
| "... сохранения и восстановления информации. Настоящая статья посвящена проблеме реализации такого механизма в ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... нативно поддерживаются в Eiffel. Реализация решения доступна как плагин EB2Eiffel в Rodin (среде ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... управления, автоматическая модификация ограничений на поведение управляемой системы и реализация супервизора ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... текущую реализацию программы, что при наличии большого числа ветвлений может привести к пропуску гонок ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... (objectives and assumptions) and reactive (requirements) aspects of security management remain highly relevant ..." | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| "... , the authors compared rhythm figures in an original text and its translation both in aspects of the rhythm ..." | ||
| Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... and communication interfaces with network topology elements are the most important aspects of network operating ..." | ||
| Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
| "... In the modern world, the efficient use of energy is an extremely important aspect of human ..." | ||
| Том 25, № 4 (2018) | Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов | ||
| "... that allows to analyze various aspects of the thesaurus and the quality of the generation methods ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... роль как основного, так и встроенного языка. Самый яркий пример реализации такого подхода ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... ускорения сходимости итераций предложен достаточно универсальный и простой в реализации алгоритм, основанный ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... статьи рассмотрены существующие библиотеки для программной реализации управления программно ..." | ||
| Том 20, № 4 (2013) | Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний | Аннотация PDF (Rus) похожие документы |
| Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов | ||
| "... между ними. Для реализации ресурса применяются Wiki-технологии, что дает возможность хранить данные в ..." | ||
| Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
| Руслан Леонидович Смелянский | ||
| "... проблемы, которые необходимо решить для реализации предлагаемой новой парадигмы. ..." | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... Spacer. Эксперименты показывают, что полученная реализация успешно выводит реляционные инварианты для ..." | ||
| Том 20, № 2 (2013) | Технологии и алгоритмы для создания дополненной реальности | Аннотация PDF (Rus) похожие документы |
| Иван Александрович Благовещенский, Николай Андреевич Демьянков | ||
| "... : генетические алгоритмы и feature detection & description. Для программной реализации описываемых алгоритмов ..." | ||
| Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Макаров | ||
| "... коэффициенты наблюдателя при наихудшей реализации неопределенностей. Однотипность полученных уравнений ..." | ||
| Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| "... дефектограмм. В настоящей статье приводится простая и эффективная реализация этого алгоритма, которая с успехом ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... особенности технической реализации. Для проверки возможностей использования данного подхода построены модели ..." | ||
| Том 29, № 4 (2022) | Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева | ||
| "... в качестве основы для реализации прототипа приложения для поиска упоминаний экологических практик ..." | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| "... контексте рассматриваемого подхода являются реализация связи событий и задач, обеспечивающих эти события ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... at the inputs of the system and the delays in computing the output signals. These aspects of reactive system ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... последовательный и параллельный вариант алгоритма, их программная реализация и произведено экспериментальное ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... описать сложность понимания программы при динамическом анализе. В работе предлагается две реализации схемы ..." | ||
| Том 28, № 1 (2021) | Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации | Аннотация PDF (Rus) похожие документы |
| Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко | ||
| "... , поэтому реализация системы с политиками адаптации должна быть точной, особенно по отношению к описанной в ..." | ||
| Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
| Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
| "... построения бортовых сетей реального времени. Предложенный подход основан на реализации в сети ПКС ..." | ||
| 1 - 75 из 95 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
