An Approach to the Verification of Symmetric Parameterized Distributed Systems I. V. KonnovV. A. Zakharov OriginalPaper Pages: 225 - 236
Functional Parallel Typified Language and Its Implementation on Clusters S. E. BazhanovV. P. KutepovD. A. Shestakov OriginalPaper Pages: 237 - 269
Obtaining Affine Transformations to Improve Locality of Loop Nests N. A. LikhodedS. V. BakhanovichA. V. Zherelo OriginalPaper Pages: 270 - 281
Illumination Modeling and Generation of Realistic Images Using Internet Technologies B. Kh. BarladyanA. G. VoloboiN. B. Deryabin OriginalPaper Pages: 282 - 291