Search Results - "Ivannikov, P. V."

Analysis of entities in C and C++ programs and relations between them for program understanding by Belevantsev, A. A., Veselevich, E. A., Ivannikov, V. P.

“…A tool for the static analysis of programs that can detect entities in C and C++ programs, their metrics, and relations between them is considered. The program…”
Get full text

Data representation model for in-depth analysis of network traffic by Get’man, I., Ivannikov, V. P., Markin, Yu. V., Padaryan, V. A., Tikhonov, A. Yu

“…This paper proposes a new object model of data for the in-depth analysis of network traffic. In contrast to the model used by most modern network analyzers…”
Get full text

Software for improving the energy efficiency of a computer cluster by Ivannikov, V. P., Grushin, D. A., Kuzyurin, N. N., Pospelov, A. I., Shokurov, A. V.

“…Methods for reducing the energy consumption of a uniform computer cluster due to flexible control strategies of the node states (waking them up or shutting…”
Get full text

Construction of speculative optimization algorithms by Belevantsev, A. A., Gaisaryan, S. S., Ivannikov, V. P.

“…In modern processors, instructions to perform operations are often produced before it becomes known that this is required. Such an expedient, which is called…”
Get full text

Implementation of parallel programs interpreter in the development environment ParJava by Ivannikov, V. P., Avetisyan, A. I., Gaissaryan, S. S., Akopyan, M. S.

“…The implementation of the ParJava development environment is considered that enables one to develop parallel applications in the modern programming language…”
Get full text

Model of data handling for in-depth analysis of network traffic by Get'man, A. I., Ivannikov, V. P., Markin, Yu. V., Padaryan, V. A., Tikhonov, A. Yu

“…The article suggests a new object model of data for in-depth analysis of network traffic. In contrast to the model used by most existing network analyzers,…”
Get full text

Static analyzer Svace for finding defects in a source program code by Ivannikov, V. P., Belevantsev, A. A., Borodin, A. E., Ignatiev, V. N., Zhurikhin, D. M., Avetisyan, A. I.

“…This paper describes Svace, a tool for static program analysis developed at the Institute for Systems Programming, Russian Academy of Sciences. This tool…”
Get full text

Prospects for using cathodoluminescence in SEM to study the distribution and types of breakdown in glass insulators by Kuz’menkov, A. V., Ivannikov, P. V., Gabel’chenko, A. I.

“…A method for detecting dielectric breakdown in the signal of cathodoluminescence in SEM is compared with both capacitive and secondary-emission methods. In the…”
Get full text

New data on the structure of diamond crystals of cubic habitus from the Lomonosov deposit by Kriulina, G. Yu, Garanin, V. K., Vasilyev, E. A., Kyazimov, V. O., Matveeva, O. P., Ivannikov, P. V.

“…The data on the study of diamonds of cubic habitus from the Arkhangelsk diamondiferous province are presented. It is shown that the cubic crystals of diamonds…”
Get full text

Investigation of cholesterol, bilirubin, and protein distribution in human gallstones by color cathodoluminescence scanning electron microscopy and transmission electron microscopy by Loginov, A. S., Chebanov, S. M., Petrakov, A. V., Saparin, G. V., Obyden, S. K., Ivannikov, P. V.

“…The application of color cathodoluminescent scanning electron microscopy (CCL‐SEM) for qualitative luminescence analysis of cholesterol, bilirubin, and protein…”
Get full text

Computer modeling of three-dimensional reconstruction algorithm of cathodoluminescence material properties, analysis of errors, and optimization of variable parameters by Ivannikov, P. V., Dronov, S. V., Saparin, G. V., Obyden, S. K.

“…Three‐dimensional (3‐D) reconstruction of cathodoluminescence (CL) properties of materials (Saparin et al.1997) is a new nondestructive technique that measures…”
Get full text

Ultrasonic quality control of press-fit joints by Budenkov, G. A., Ivannikov, V. P., Kabakova, A. V., Strizhak, V. A.

“…A technique for quantitatively evaluating the quality of interference-fit joints by the echopulse method is proposed. A formula is obtained for calculating the…”
Get full text

Предисловие by V. P. Ivannikov

Get full text

On the minimal time required for execution of distributed concurrent processes in synchronous modes by Ivannikov, V. P., Kovalenko, N. S., Metel'skii, V. M.

“…Methods of linear complexity are proposed for finding the minimum total time required for performing a given amount of computations in various modes of…”
Get full text

Origin of disequilibrium diamond crystals from Karpinsky-1 kimberlite pipe using data from cathode luminescence and infra red spectroscopy by Khachatryan, G. K., Palazhchenko, O. V., Garanin, V. K., Ivannikov, P. V., Verichev, E. M.

“…The internal structures of 78 diamond crystals from the Karpinsky-1 pipe in the Arkhangelsk Province and the distributions of structural impurities in them…”
Get full text

The use of contract specifications for representing requirements and for functional testing of hardware models by Ivannikov, V. P., Kamkin, A. S., Kossatchev, A. S., Kuliamin, V. V., Petrenko, A. K.

“…Contract specifications in the form of pre-and postconditions are widely used in software engineering for formal description of interfaces of software…”
Get full text

Estimation of dynamical characteristics of a parallel program on a model by Ivannikov, V. P., Gaisaryan, S. S., Avetisyan, A. I., Padaryan, V. A.

“…This paper considers a model of a parallel program that can efficiently be interpreted on an instrumental computer, providing a means for a sufficiently…”
Get full text

Automatic concurrency defect detection for Android applications by V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov

“…This paper describes issues related to automatic detection of concurrency defects using dynamic analysis methods with primary target subject as the Android…”
Get full text

Correctness checking of HDL-model behavior based on runtime trace matching by Ivannikov, V. P., Kamkin, A. S., Chupilko, M. M.

“…Correctness checking of HDL-model behavior is an integral part of runtime verification of hardware. As a rule, it is based on comparing of HDL-model behavior…”
Get full text

How the story of UniTESK technology applications mirrors development of model based testing by V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov

“…UniTESK (UNIfied TEsting and Specification toolKit) is a testing technology based on formal models (or specifications) of requirements to behavior of software…”
Get full text