Ivannikov Viktor Petrovich

Publications in Math-Net.Ru

1. Model of data handling for in-depth analysis of network traffic
   
   Proceedings of ISP RAS, 27:4 (2015),  5–22
2. Verifying correctness of hdl-model behavior on the basis of dynamical trace matching
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  130–142
3. Productivity prediction of MPI programs based on models
   
   Avtomat. i Telemekh., 2007, no. 5,  8–17
4. Efficiently portable programming parallel architectures
   
   Fundam. Prikl. Mat., 4:3 (1998),  947–974
5. Application of monitors in an operating system
   
   Dokl. Akad. Nauk SSSR, 237:2 (1977),  280–283
6. Functions of the dispatcher of the operational system BESM-6
   
   Zh. Vychisl. Mat. Mat. Fiz., 8:6 (1968),  1403–1418


7. Preface
   
   Proceedings of ISP RAS, 27:6 (2015),  5–6
8. Methods of Analysis and Design of Modular Information-and-Control Systems. N. A. Kuznetsov, V. V. Kul'ba, S. S. Kovalevskii, S. A. Kosyachenko. Moscow: Fizmatlit, 2002
   
   Avtomat. i Telemekh., 2002, no. 9,  185–186