Joint Department with the RAS Institute for System Programming

Regular version of the site

Publications

Book

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article

Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Book chapter

City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Working paper

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

All publications

Delivered by:: Joint Department with the RAS Institute for System Programming

Type:: Compulsory course

When:: 1 year, 4 module

Instructors

Aleinik, Vladislav

Егоров Данила Игоревич

Иконникова Мария Кирилловна

Малышев Никита Евгеньевич

Padaryan, Vartan

Terlych, Nikita

Аннотация

Дисциплина направлена на изучение студентами базовых принципов устройства современных ЭВМ на примере архитектуры x86, включая анализ характеристик различных компонент ЭВМ и того, как эти характеристики влияют на работу системных и прикладных программ. Закрепление знаний достигается посредством практического освоения языка Си++, языка ассемблера архитектуры x86, типовых механизмов реализации языка Си/Си++ и его системы программирования на платформе Linux x86.

Contacts

Computer Architecture and Assembly Language

Instructors

Программа дисциплины

Аннотация