1. Scheme inclusion verification algorithm in algebraic model of programs with constants

   • D. M. Rusakov

   OriginalPaper Pages: 299 - 306

2. Software pipelining of loops by the method of modulo scheduling

   • N. I. V’yukova
   • V. A. Galatenko
   • S. V. Samborskii

   OriginalPaper Pages: 307 - 315

3. Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols

   • N. V. Pakulin
   • A. V. Khoroshilov

   OriginalPaper Pages: 316 - 335

4. A method for voxel visualization of 3D objects

   • N. A. Taranukha
   • Z. A. Izabekov

   OriginalPaper Pages: 336 - 342

5. Tools for support of automata-based programming

   • V. S. Gurov
   • M. A. Mazin
   • A. A. Shalyto

   OriginalPaper Pages: 343 - 355