Volkonsky V. Yu., Okunev S. K.
Critical Path Optimizations on Predicated Intermediate Representation of Program
      The present paper relates to optimizing code executed on an Explicitly Parallel Instruction Computing (EPIC) architecture with full predication and speculation support, and having considerable processor resources to use instruction level parallelism (ILP). Some special optimizing transformations on predicated representation of program as an aggregate of Extended Scalar Blocks (ESB), using critical path reduction strategy, are considered. There are examples and descriptions of following methods: 1) "unzipping" — removing condition from critical path; 2) removing dependent store-load pair from critical path using run time address comparison; 3) optimizing branch operation insertion for balancing critical paths depending on predicate. They are compared with similar methods developed for predicated code too. Experimental results of applying optimizations are given.

Ermolovich A. V.
Enhancing Dynamic Binary Translation Performance Through a Codebase Application
      A method for improving binary translation performance by means of a specialized translation database (codebase) is considered. A prototype implementation for a region selection based two-stage dynamic binary translation engine is described.

Serebriany K. S.
Transformations of Loops, Containing Induction Variables
      Loop optimization is one of the crucial tasks of the optimizing and restructuring compilers. Almost all loops contain so called induction variables, which control the loop execution and the uses of arrays. Therefore it is important to recognize induction variables and optimize their uses. This paper describes a number of well-known as well as some new techniques of program optimization related to the recognition and transformations of induction variables. A framework for symbolic analysis of induction variables is discussed and some practical results are demonstrated.

Mikhailov A. S.
Practical Analysis of Cryptographic Protocols .
      A new approach to practical analysis of cryptographic protocols within the framework of a special research environment of information exchange is offered. Properties of the environment and computer-aided way of its creation are described. Some actual problems of formal methods for cryptographic protocol analysis are also discussed. Merkusheva A. V. Informational Confidence in the Transmission of Speech Signals on the Basis of Scrembling by the Method of Double Transformation The problem of the achievement of the informational confidence in the tramsmission of the speech signal by way of scrembling on the basis of the transformation wewlet-map signal with the help of H-equivalent matrices is considered. Two forms of scrembling algorithm and their singularities for analog and digital connection canals aresuggested. On the basis of two methods (correlative and intormatioi theoretic) the residual informationnal in scrembling signal is estimated.

Agranovsky A. V., Gufan A. Yn., Hady R. A.
Security Aspects of Asimmetric Cryptosystems Based on Elliptic Curves
      In this paper authors assume that modern cryptographic approach to build asimmetric cryptosystems based on elliptic curves has some security flaws in design. Elliptic curves application in cryptography is considered and analysed. Systems by EI-Gamal, Me: Omura and RSA, protocols and elliptic modifications are observ Brief security analysis of these modifications is presented.

Rudinskyi I. D.
Model of Fuzzy Estimation of Knowledge as the Methodological Basis of the pedagogical testing Automation•
      The problems of the creation of the system of computer- aidi testing knowledge are considered. The testing technology is suggested based on the methods fuzzy algebra use for calculation of truth degree of the suggested variants of the answers on test tasks are considered. The model of fuzzy estimation of knowledge permitting to consider the partial and incorrect answers of the testing person is formed ant is analyzed.

Nasadkina O. Yu., Popova I. A., Ruzanova N. S.
Information System to Ensure Organizational Activities of a Dynamically Developing University
      This article is devoted to the urgent problem of the introduction of information system used to manage a developing university with flexible organization structure. As one of the variant of solving this problem, the information system of management of organization university activities based on the multi-structural approach is offered. The system is developed by the Regional Center of New Information Technologies of Petrozavodsk State University. The information system is viewed upon as adaptive means in the body of the integration management system providing for information support and allowing the process of functional extrapolation of the system to be quite manageable.

Podolskaya N. N., Podolsky A. A.
A Computer Program for the Training Technical Personnel of the Air Traffic Control Automated System
      The technical control over the functioning of an air traffic control (áôó) automated system and the running such a system is carried out by means of active mimics presented on the computer screen. The computer program designed for training technical personnel of the áôó automated system provides conceptual assimilation the accepted conventional designations, and getting conceptual and motor skills for obtaining additional operative information on functioning of áôó system components, and also getting skills for all possible operative switchings the system operation modes. The program is based on hypertext technology.