Listing of all the works of the author. Click on the work title to get the full information.
Иванников А.Д. (Ivannikov A.D.)
| 2013 | |
| |  | Иванников А.Д., Тихонов А.Н., Соловьев И.В., Цветков В.Я.
Инфосфера и инфология |
| | | Абрамов А.Г., Булакина М.Б., Иванников А.Д., Sigalov A.
Joint Digital Library of Open Educational Resources of Russian Unuversities |
| | | Abramov A., Bulakina M., Ivannikov A.D., Sigalov A.
Integration of Russian Educational Internet Resources on the Portal "Single-Entry Window" |
| 2014 | |
| | | Иванников А.Д.
Проблема информационных языков и современное состояние информатики |
| | | Иванников А.Д.
Тематические порталы: формирование и сопровождение |
| | | Иванников А.Д., Стемпковский А.Л.
Математическая модель отладки проектов сложных цифровых схем и микросистем на основе представления последних в виде семейства стационарных динамических систем |
| | | Иванников А.Д.
Методы декомпозиции задачи отладки проекта цифровых систем с помощью моделирования |
| | | Abramov A., Bulakina M., Ivannikov A.D., Sigalov A.
Joint Digital Library of Open Educational Resources of Russian Universities |
| | | Булакина М.Б., Иванников А.Д.
Федеральный портал «Российское образование» как средство агрегации образовательных информационных ресурсов |
| | | Иванников А.Д., Стемпковский А.Л.
Формализация задачи отладки проектов цифровых систем |
| | | Абрамов А.Г., Булакина М.Б., Иванников А.Д., Кривошеев А.О., Шмелькова Л.В.
Система дополнительного профессионального образования Российской Федерации: ключевые статистические показатели по результатам автоматизированного сбора данных |
| | | Иванников А.Д.
Тематические интернет-порталы как средство агрегации электронного контента в заданной предметной области |
| 2015 | |
| | | Иванников А.Д.
Алгебраическая модель программно-микропрограммного обеспечения цифровых систем |
| 2016 | |
| | | Ivannikov A.D., Romanov A.Yu., Stempkovsky A.L.
Set-theoretic Model of Digital Systems Functioning |
| | | Romanov A.Yu., Ivannikov A.D.
SystemC NoC Simulation as the Alternative to the HDL and High-level Modeling |
| | | Romanov A.Yu., Ivannikov A.D., Romanova I.I.
Simulation and Synthesis of Networks-on-Chip by Using NoCSimp HDL Library |
| | | Зеленко Г.В., Иванников А.Д., Коган Д.Ю., Рощин А.В.
Проблемы функциональной устойчивости сенсорной локальной сети |
| 2017 | |
| | | Ivannikov A.D., Levchenko N.N., Okunev A.S., Stempkovsky A.L., Zmejev D.N.
Dataflow Computing Model – Perspectives, Advantages and Implementation |
| | | Ivannikov A.D., Romanov A.Yu., Romanova I.I.
Application of Exhaustive Search, Branch and Bound, Parallel Computing and Monte-Carlo Methods for the Synthesis of Quasi-Optimal Network-on- chip Topologies |
| 2018 | |
| | | Ivannikov A.D., Levchenko N.N., Okunev A.S., Stempkovsky A.L., Zmejev D.N.
Global Distributed Associative Environment - Evolution of Parallel Dataflow Computing System “Buran” |
| | | Иванников А.Д., Стемпковский А.Л.
Основные положения системы моделирования проектов цифровых систем для совместной отладки технических средств и программно-микропрограммного обеспечения |
| | | Ivannikov A.D., Levchenko N.N., Romanova I.I.
Formal Description of Possible Input Logical Signal Data Sequences for Digital Systems and Their Blocks |
| | | Иванников А.Д.
Разработка и исследование моделей блоков цифровых систем на основе их представления в виде семейства стационарных динамических систем |
| | | Иванников А.Д.
Составление множества функций при формировании отладочных тестов для цифровых систем управления объектами |
| | | Romanov A.Yu., Ivannikov A.D.
SystemC Language Usage as the Alternative to the HDL and High-level Modeling for NoC Simulation |
| | | Ivannikov A.D., Pozdneev B., Romanova I.I., Tumkovskiy S.R.
Debugging test set generation for digital control system functions |
| | | Иванников А.Д., Северцев В.Н.
Математическая модель множества входных воздействий цифровых систем при их моделировании на уровне логических сигналов |
| 2019 | |
| | | Gavrilov S.V., Ivannikov A.D., Stempkovsky A.L.
Method of Mathematical Description for Digital System Blocks Logical Models |
| | | Иванников А.Д.
Теоретические основы выбора множества отладочных тестов проектов цифровых систем на основе алфавита выполняемых функций |
| | | Ivannikov A.D., Pozdneev B.
Digital Systems Functions Set Defining for Selecting Design Debugging Tests |
| | | Stempkovsky A.L., Ivannikov A.D.
Formal Description of Digital Control System Operation and Its Use in Designing |
| 2020 | |
| | | Иванников А.Д.
Выбор набора тестов функций цифровых систем для контроля правильности проектов |
| | | Иванников А.Д., Стемпковский А.Л.
Анализ итерационных методов решения систем логических уравнений и их использование при моделировании цифровых систем |
| | | Иванников А.Д., Стемпковский А.Л.
Итерационные методы решения систем многозначных логических уравнений при моделировании цифровых систем управления объектами |
| | | Ivannikov A.D.
Emulators – Digital system simulation on the architecture level |
| | | Ivannikov A.D.
Iterative methods for multi-valued logical equation system solving while digital system simulating |
| | | Иванников А.Д.
Сравнительный анализ методов отладки цифровых систем на этапе проектирования |
| | | Ivannikov A.D.
Comparative analysis of methods for digital system debugging at the design stage |
| | | Ivannikov A.D.
Test set generation for computer simulation design debugging of control digital systems with finite alphabet of functions |
| | | Иванников А.Д., Стемпковский А.Л.
Формализация выбора отладочных тестов при проектировании цифровых микроэлектронных систем на основе проверки выполнения требуемых функций |
| 2021 | |
| | | Иванников А.Д.
Организация процесса отладки проектируемых цифровых микроэлектронных систем |
| | | Иванников А.Д.
Формализация структуры программного обеспечения управляющих информационных систем |
| | | Ivannikov A.D., Stempkovsky A.L.
Formalizing the choice of debugging tests in the design of digital microelectronic systems based on checking the performance of the required functions |
| | | Иванников А.Д.
Отладка проектов цифровых систем с использованием прототипирования |
| | | Иванников А.Д.
Эмуляторы как средство отладки программного обеспечения для цифровых систем управления объектами |
| | | Ivannikov A.D., Stempkovsky A.L.
The Basics of Digital System Designs Simulation for Hardware/Software Joint Debugging |
| | | Ivannikov A.D.
Emulators – Digital System Simulation on the Architecture Level |
| | | Иванников А.Д., Стемпковский А.Л.
Математическая модель цифровых блоков для системы совместного моделирования технических средств и программно-микропрограммного обеспечения |
| | | Ivannikov A.D., Stempkovsky A.L.
Formal Choice of Debugging Tests for Digital Microelectronic Systems Designs Based on the Required Functions Fulfillment Checking |
| 2022 | |
| | | Иванников А.Д.
Анализ уровней моделирования цифровых систем на этапе проектирования в целях их отладки |
| | | Ivannikov A.D.
Different Approaches to Digital System Debugging |
| | | Ivannikov A.D.
Principals of Digital System Design Debugging Decomposition |
| 2023 | |
| | | Romanov A.Yu., El-Mesady A., Amerikanov A.A., Ivannikov A.D.
On Bipartite Circulant Graph Decompositions Based on Cartesian and Tensor Products with Novel Topologies and Deadlock-Free Routing |
| | | Romanov A.Yu., Myachin N.M., Lezhnev E.V., Ivannikov A.D., El-Mesady A.
Ring-Split: Deadlock-Free Routing Algorithm for Circulant Networks-on-Chip |
| |
