Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators R. I. Podlovchenko OriginalPaper Pages: 301 - 313
Towards Verification of C Programs. C-Light Language and Its Formal Semantics V. A. NepomniaschyI. S. AnureevA. V. Promskii OriginalPaper Pages: 314 - 323
Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm A. V. NikitinL. I. Nikitina OriginalPaper Pages: 324 - 332
Refined Description of the C[] Language A. Ya. KalinovA. L. LastovetskyM. A. Posypkin OriginalPaper Pages: 333 - 341
A Method of Cumulative Sums in the Problem of Detection of Traffic Changes in Computer Networks V. V. MazalovD. N. Zhuravlev OriginalPaper Pages: 342 - 348
A Software Implementation Technique for Simulation of Ethernet Local Area Networks A. P. Shibanov OriginalPaper Pages: 349 - 355
Tenth Anniversary of ACM SIGMOD Moscow Chapter L. A. KalinichenkoM. R. KogalovskyS. D. Kuznetsov OriginalPaper Pages: 356 - 359