Сортировать по:
| Выпуск | Название | |
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... is comprised of three main steps. First, a Promela model written for a certain configuration of the system ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... verification). The article presents an approach to the development of formal Promela models of cache coherence ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... and examination of the corresponding Promela model of the German cache coherence protocol and discusses extension ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... of an open-source partitioned operating system POK. We implement the model in Promela language for SPIN tool ..." | ||
| Том 32, № 3 (2020) | Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора | Аннотация похожие документы |
| Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... ). Evaluation was performed on the NPU simulation model and showed that our approach effectively reduces program ..." | ||
| Том 31, № 3 (2019) | Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi | Аннотация похожие документы |
| Дмитрий Вадимович Мельничук | ||
| "... mathematical models have a significant parallelism resource. For the problems of modeling of hybrid dynamical ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... over semigroups as formal models of reactive systems. We introduce a new specification language LP-CTL ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of TLS implementations ..." | ||
| Том 26, № 2 (2014) | Обзор методов упрощения полигональных моделей на графическом процессоре | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... expensive data exchange between GPU and CPU. It's important to take into account computational model of GPU ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... реализаций спецификациям протоколов Интернета. Во всех проектах, представленных в статье, использовалась ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... without losing the model's semantics is proposed. Existing problem of generating test cases for real ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... of the problem, or to equivalent transformations of the program model in the ProVerif language, simplifying ..." | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
| И. А. Писарев, Л. К. Бабенко | ||
| "... the parties are shown and their content is explained. The Dolev-Yao threat model is used during protocols ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... models, the methods for their visualization and for filter management of trace records and object states ..." | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... The paper discusses model-based testing of the modern Internet e-mail protocols, including ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... server implementations. The approach is based on Model- Based Testing methodology. A test suite ..." | ||
| Том 32, № 4 (2020) | Протокол сертификации целостности облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич ШИШКИН, Евгений Сергеевич КИСЛИЦЫН | ||
| "... of its security properties in a specified threat-model. Experimental evaluation of the protocol ..." | ||
| Том 33, № 4 (2021) | Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU | Аннотация похожие документы |
| Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... was performed on a simulation model of the NP. ..." | ||
| Том 31, № 2 (2019) | Виртуальный Эрудит для решения задачи о рюкзаке: обучение автоматическому распределению ресурсов | Аннотация похожие документы |
| Рензо Массобрио, Бернаре Дорронзоро Диаз, Серджо Энрике Несмачнов Кановас | ||
| "... is evaluated to solve the Knapsack Problem, which models different variant of resource allocation problems ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... The paper presents a model-based approach to conformance testing of Extensible Authentication ..." | ||
| Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
| Д. Н. Василик | ||
| "... measured the performance of a single-node system and validated the model using the obtained results. ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... спецификациям нового протокола безопасности IPsec v2 [1-7]. Для построения тестового набора использовалась ..." | ||
| Том 33, № 5 (2021) | Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Леонид Владленович СКВОРЦОВ, Роман Вячеславович БАЕВ, Ксения Юрьевна ДОЛГОРУКОВА, Евгений Юрьевич ШАРЫГИН | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... verification of memory subsystem units is presented. Classification of checking model types ..." | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| "... The development of memory models aimed at solving various concurrency problems is an active ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... . This article offers a second one method. The first aim of the paper is the way to describe a mathematical model ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... specification facility that allows us to define models of functions and their parameters and brings additional ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... ), executable and formally verified in a sound model. Keeping in mind these requirements, we present a protocol ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... microprocessors. The method is based on using nondeterministic reference models of systems under test. The key ..." | ||
| Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
| "... , CORBA object broker and services, JEE application server) is briefly described. Models of web services ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... Petri nets to model a system control flow with the ability to model relational database states ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... in the verification of other systems whose analysis involves the comparison of models at different levels ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... performance of parallel application due to usage of shared memory and lower overhead. An extension of model ..." | ||
| Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
| "... memory model. To show that the model might be used as a part of an industrial language standard ..." | ||
| Том 19 (2010) | Многопараметрическое управление на основе прецедентов | Аннотация PDF (Rus) похожие документы |
| Л. Е. Карпов, В. Н. Юдин | ||
| "... an adequate behavioral model. The approach to the “control process” formalization is developed. This approach ..." | ||
| Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
| И. И. Каретин, В. А. Макаров | ||
| Том 36, № 4 (2024) | Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус | Аннотация PDF (Rus) похожие документы |
| Виктор Евгеньевич ШАМПАРОВ, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... специфических оптимизаций для процессоров с архитектурой типа VLIW. ..." | ||
| Том 27, № 3 (2015) | Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU | Аннотация PDF (Rus) похожие документы |
| А. А. Цыганов | ||
| "... вычислений общего назначения на графическом процессоре (GPGPU). Использование потоковых процессоров ..." | ||
| Том 37, № 1 (2025) | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... model is built based on the ISA specification. Test templates, which are parameterized descriptions ..." | ||
| 1 - 40 из 592 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
