Сортировать по:
Выпуск | Название | |
Том 28, № 2 (2016) | Моделирование конвейера распознавания людей в системах контроля доступа | Аннотация похожие документы |
Ф. Гёссен, Т. Маргариа, Т. Гёке | ||
"... for each individual approaching the sensor. All three prototypes implement a data processing pipeline ..." | ||
Том 29, № 4 (2017) | Narrabat - прототип сервиса для пересказа новостей в формате стихотворений | Аннотация похожие документы |
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский | ||
"... the current state of Narrabat, a prototype system rephrasing news we are currently working on, give examples ..." | ||
Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация похожие документы |
Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
"... the pipeline of the target processor. A pipeline model has high impact on an overall structure of a simulator ..." | ||
Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
Том 32, № 4 (2020) | Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен | Аннотация PDF (Rus) похожие документы |
Вячеслав Игоревич ГОНАХЧЯН | ||
"... of work in the stages of the graphics pipeline depends on their results. Therefore, a balanced use ..." | ||
Том 35, № 2 (2023) | Модификация алгоритма выравнивания коротких прочтений для повышения качества пайплайна обработки данных полногеномного секвенирования человека | Аннотация PDF (Rus) похожие документы |
Егор Павлович ГУГУЧКИН, Евгений Андреевич КАРПУЛЕВИЧ | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
"... instruction set and description of pipeline hazards templates. The use of formal specifications allows ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
Том 32, № 4 (2020) | Извлечение логической структуры из сканированных документов | Аннотация PDF (Rus) похожие документы |
Анастасия Олеговна БОГАТЕНКОВА, Илья Сергеевич КОЗЛОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
"... be performed automatically. The paper describes the pipeline for scanned documents processing. The method ..." | ||
Том 27, № 3 (2015) | Создание приватного сервиса с использованием приложения CRYP2CHAT | Аннотация PDF (Rus) похожие документы |
Андрей Кирьянцев, Ирина Стефанова | ||
"... and the experiment of prototype work. Additionally, we consider some potential dangers of an external character ..." | ||
Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
М. М. Чупилко, Е. А. Дроздова | ||
"... that to be easily adjusted to the required bus parameters. The in-house prototype implementing the approach has been ..." | ||
Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... for Java applications is given. It is complemented by a detailed description of actual prototype ..." | ||
Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
"... of the function. Afterwards, the results of work on the prototype (module that implements described type inference ..." | ||
Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
"... is proposed. Generated tests have been used for verification of RTL models and FPGA-based prototypes. ..." | ||
Том 20 (2011) | Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии | Аннотация PDF (Rus) похожие документы |
А. В. Коршунов | ||
"... significantly better comparing to analogues. As a demonstration of possible application, the prototype ..." | ||
Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
"... interpretation framework are used together to define a model pipeline for a target instruction set architecture ..." | ||
Том 28, № 3 (2016) | Генерация динамических ключей и подписей с зависимостью от времени | Аннотация похожие документы |
А. С. Кирьянцев, И. А. Стефанова | ||
"... . According to the suggested algorithm, the prototype of key and signature generation has been created ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... Programming RAS---Avalanche (Valgrind-based tool) and a prototype tool for Java applications. The paper ..." | ||
Том 27, № 6 (2015) | Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах | Аннотация PDF (Rus) похожие документы |
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский | ||
"... - was motivation to creation of cloudy service. The prototype of the cloudy environment realized in the form ..." | ||
Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
"... , and the method can also be applied for a performance analysis of these systems. The software prototype ..." | ||
Том 35, № 1 (2023) | Разработка адаптируемой информационной панели для умных городов | Аннотация похожие документы |
Виктор КОНТРЕРАС-ФИГЕРОА, Луис Херардо МОНТАНЕ-ХИМЕНЕС, Мария СЕПЕРО-ГАРСИА, Эдгар БЕНИТЕС-ГЕРРЕРО, Кармен МЕЗУРА-ГОДОЙ | ||
"... of the users of a smart city dashboard, and build an adaptable dashboard prototype using user-centered ..." | ||
Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... and prototype test suite for IPsec v2 including the protocol of key exchange IKE v2. The paper discusses ..." | ||
Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) похожие документы |
Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
"... metrics. To assess the potential of alternative methods we introduce our long method detection prototype ..." | ||
Том 33, № 5 (2021) | Управление требованиями при обучении профессиональных руководителей проектов | Аннотация похожие документы |
Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН | ||
"... phases and give an advanced description of its various types and their traceability. This prototype ..." | ||
Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
"... on the proposed methods and technology, a prototype of modular software complex implementing hybrid Vulkan-OpenGL ..." | ||
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... tool prototype description provided. Experimental results are received on the set of command line ..." | ||
Том 32, № 6 (2020) | О разработке Оберон-системы с заданными свойствами эргодичности | Аннотация PDF (Rus) похожие документы |
Дмитрий Викторович ДАГАЕВ | ||
"... , it is impossible to use standard operating systems and compilers. For these purposes, a prototype of the runtime ..." | ||
Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
"... or their FPGA-prototypes, i.e. post-silicon verification. This type of testing differs both from ..." | ||
Том 36, № 1 (2024) | Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов | Аннотация похожие документы |
София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС | ||
"... a prototype with a user-centered design that understands how the architecture supports human-computer ..." | ||
Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
Алексей Александрович КАРНОВ | ||
"... analysis tool prototype. ..." | ||
Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
"... situations (exceptions, pipeline stalls, branch mispredictions, data evictions in caches, etc.). The article ..." | ||
Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... . The approach is evaluated in a software prototype implemented as a Microsoft Visio add-in. The add-in builds ..." | ||
Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков, А. С. Камкин | ||
"... during verification of cache coherence protocols). The method has been automated by a tool prototype ..." | ||
Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
"... such devices - prototype based verification, system and stand-alone verification. We provide the motivation ..." | ||
Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) похожие документы |
Александр Викторович СУРЧЕНКО | ||
"... for the evaluation. The results are obtained of FPGA prototype of “Elbrus-16C” processor for the tasks of SPEC CPU ..." | ||
Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
"... particular gadget, and restore prototypes and parameters values of system calls and functions called during ..." | ||
Том 34, № 2 (2022) | Модификация метода расчета полигенных рисков с использованием графа вариации | Аннотация PDF (Rus) похожие документы |
Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ | ||
Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
М. Д. Калугин, И. Е. Евдокимов | ||
"... to its real prototype with known resonance frequencies. The solver was previously validated on simple ..." | ||
1 - 39 из 66 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)