?
Minimizing Deterministic Timed Finite State Machines
P. 486-492.
Switzerland : Springer, 2016
Добавлено: 13 сентября 2016 г.
Vladimir A. Bashkin, Ломазова И. А., Novikova Y., , in : Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings. Vol. 7979: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2013. P. 13-25.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the ...
Добавлено: 1 октября 2013 г.
Tvardovskii A. S., N. V. Yevtushenko, Proceedings of the Institute for System Programming of the RAS 2020 Vol. 32 No. 2 P. 125-134
Добавлено: 30 октября 2020 г.
Tvardovskii A., El-Fakih K., Nina Yevtushenko, , in : Lecture Notes in Computer Science (Volume 11146, ICTSS2018). : Springer, 2018. P. 149-154.
Добавлено: 1 ноября 2018 г.
Рубцов А. А., Вялый М. Н., , in : Descriptional Complexity of Formal Systems. Vol. 9118.: Switzerland : Springer, 2015. P. 256-267.
Добавлено: 25 августа 2015 г.
Ekaterinburg : Ural Fedearal University, 2014
Добавлено: 17 октября 2014 г.
Зеленов С. В., Зеленова С. А., Программирование 2018 Т. 44 № 3 С. 3-16
В работе предлагается новый взгляд на проблему построения планировщика в случае группы строго периодических задач. Рассматривается представление структуры системы периодов в терминах теории графов. Дан критерий существования бесконфликтного расписания, основанный на данном представлении, а также общие схемы алгоритмов построения такого расписания. Приведены примеры применения методики для решения различных проблем, возникающих при построении расписаний для систем ...
Добавлено: 15 марта 2018 г.
Бабаш А. В., , in : Proceedings of the 10th International Scientific and Practical Conference named after A. I. Kitov "Information Technologies and Mathematical Methods in Economics and Management (IT&MM-2020)"/, Moscow, Russia, October 15-16, 2020. Vol. 2830.: CEUR Workshop Proceedings, 2021. P. 337-359.
A trapdoor cipher is a cipher whose algorithm contains some hidden structure (a trapdoor) providing the existence of a subliminal information channel. In cryptographic practice, there could be situations when a constructed cipher may contain some critical defect (a trapdoor) whose identification can significantly weaken the cryptographic strength of this cipher. In this paper, we ...
Добавлено: 2 ноября 2021 г.
Cham : Springer, 2018
This volume of Lecture Notes in Computer Science contains the papers presented at the 22nd International Conference on Developments in Language Theory (DLT 2018) organized by the Algorithmic “Oritatami” Self-Assembly Laboratory as part of the 100th Anniversary Commemorative Events of University of Electro-Communications (UEC) in Fuchu, Tokyo, Japan, during September 10–14, 2018.
The DLT conference series is one ...
Добавлено: 12 сентября 2018 г.
Rubtsov Alexander, , in : Abstracts of Reports and other materials of the 7th School "Computer Science Days in Ekaterinburg". : Ekaterinburg : Ural Fedearal University, 2014. P. 25-27.
Добавлено: 17 октября 2014 г.
Zelenova S. A., Зеленов С. В., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 6 P. 183-202
In the paper, we address mission critical systems, such as automobile, avionic, mobile robotic, telecommunication, etc. Such systems must meet hard real-time constraints in order to avoid catastrophic consequences. To meet the real-time constraints, strict periodicity is used (i.e. for any periodic task, time between release points is constant). Sensors, actuators and feedback control functions ...
Добавлено: 11 августа 2018 г.
Зеленов С. В., Zelenova S., , in : Lecture Notes in Computer Science. Vol. 11964: Perspectives of System Informatics.: Springer, 2019. P. 214-222.
Добавлено: 19 февраля 2020 г.
Рубцов А. А., , in : Proceedings of Language and Automata Theory and Applications 2020. : Springer, 2020.
Добавлено: 19 октября 2017 г.
Suleykin A., Peter B. Panfilov, , in : 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). : IEEE, 2022. P. 1495-1500.
Добавлено: 23 сентября 2022 г.
Cham : Springer, 2017
The 21st International Conference on Developments in Language Theory (DLT 2017) was organized by the Department of Mathematics of the University of Liège, Belgium, during August 7–11, 2017.
The DLT conference series is one of the major international conference series in language theory and related areas. The DLT conference was established by G. Rozenberg and A. ...
Добавлено: 5 сентября 2017 г.
Рубцов А. А., Вялый М. Н., , in : Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Vol. 10846.: Springer, 2018. P. 295-307.
Добавлено: 21 июня 2018 г.
Chistikov D., Mikhail Vyalyi, , in : LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020. : Association for Computing Machinery (ACM), 2020. P. 312-326.
Добавлено: 4 сентября 2020 г.
Рубцов А. А., , in : Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. : Cham : Springer, 2018. P. 553-565.
Добавлено: 12 сентября 2018 г.
Switzerland : Springer International Publishing, 2021
Добавлено: 28 сентября 2021 г.
Рубцов А. А., Вялый М. Н., , in : Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. : Cham : Springer, 2017. P. 332-344.
Добавлено: 5 сентября 2017 г.
Вялый М. Н., Рубцов А. А., Проблемы передачи информации 2015 Т. 51 № 4 С. 47-59
Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который явля- ется параметром задачи. В данной работе изучается алгоритмиче- ская сложность задач регулярной реализуемости для контекстно- свободных фильтров. Эта характеристика согласована с отноше- нием рационального доминирования на КС-языках. Однако, как доказано в работе, она более ...
Добавлено: 14 февраля 2016 г.