Публикации в «Трудах Института системного программирования РАН»

В октябре 2015 года опубликованы статьи наших специалистов в «Трудах Института системного программирования РАН»:

Alexander Kamkin, Mikhail Petrochenkov «A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multi-Core Microprocessors» 

V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov «An approach to Direct Memory Access module verification» 

Vladimir Burenkov «On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems» 

O.A. Chetverina «Procedures classification for optimizing strategy assignment»