Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2015

Dissertations

  1. Korshunov A.V. Study of user communities structure in online social graphs Phd thesis, Institute for System Programming of Russian Academy of Sciences,2015.
  2. Astrakhantsev N.A. Methods and software for terminology extraction from domain-specific text collection Phd thesis, Institute for System Programming of Russian Academy of Sciences,2015.

Other publications

  1. Lavrischeva E.M. Software Engineering: New Disciplines And E-Learning Theme For Development Of Applied Systems. European Journal of Engineering and Technology, Progressive Academic Publishing, 2015, 3 (3), 36-63.
  2. I.S. Zakharov, M.U. Mandrykin, V.S. Mutilin, E.M. Novikov, A.K. Petrenko, A.V. Khoroshilov. Configurable toolset for static verification of operating systems kernel modules. Programming and Computer Software, January 2015, Volume 41, Issue 1, pp 49-64.
  3. V.A. Padaryan, V.V. Kaushan, A.N. Fedotov Automated Exploit Generation for Stack Buffer Overflow Vulnerabilities. Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 373–380.
  4. M. U. Mandrykin, A. V. Khoroshilov High-Level Memory Model with Low-Level Pointer Cast Support for Jessie Intermediate Language. Programming and Computer Software. — 2015. — Vol. 41, no. 4. — P. 197–207.
  5. Mikhail Mandrykin, Alexey Khoroshilov Towards Deductive Verification of Concurrent Linux Kernel Code with Jessie. Proceedings of the CSIT 2015.
  6. Denis Buzdalov and Alexey Khoroshilov About formal interpretation of architecture models. The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26
  7. A.S. Kamkin. Projecting Transition Systems: Overcoming State Explosion in Concurrent System Verification. Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 311–324.
  8. M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. Proceedings of Microprocessor Test and Verification Workshop (MTV), 2015.
  9. S.A. Smolov. A Method of Extended Finite State Machine Extraction from HDL Descriptions. Proceedings of Armensky Scientific and Technical Conference of Students, Graduates and Young Researchers of NRU HSE, pp.48-50.
  10. S.A. Smolov, A.S. Kamkin. A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code. St. Petersburg State Polytechnical University Journal. Computer Science, Telecommunications. Iss. 1(212), 2015, pp. 60-73.
  11. I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Parallel computations on a graph. Programming and Computer Software, 41(1):1-13, 2015.
  12. I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Analysis of a Graph by a Set of Automata. Programming and Computer Software, 41(6):307-310, 2015.
  13. P. N. Devyanin, A. V. Khoroshilov, V. V. Kuliamin, A. K. Petrenko, and I. V. Shchepetkov. Using Refinement in Formal Development of OS Security Model. Proceedings of PSI 2015.
  14. A.D. Tatarnikov. A tool to automate development of test program generators for microprocessors based on formal specifications. Proceedings of Armensky Scientific and Technical Conference of Students, Graduates and Young Researchers of NRU HSE, pp.53-54.
  15. D.V. Efremov, N.Y. Komarov, A.V. Khoroshilov. Construction of the operating system kernel. Moscow, Publishing Department of the Faculty of Computational Mathematics and Cybernetics, Moscow State University named after MV University (License ID No 05899 of 24.09.2001); MAKS Press, 2015. - 160 p.
  16. Lavrischeva Ekaterina. Ontological Approach to the Formal Specification of the Standard Life Cycle. "Science and Information Conference-2015", Jule 28-30, London, UK, p.965-972.
  17. Ekaterina M. Lavrischeva. Ontology of Domains. Ontological Description Software Engineering Domain—The Standard Life Cycle The Standard Life Cycle, Journal of Software Engineering and Applications, 2015, 8, p.1-15.
  18. Alexey Khoroshilov, Eugene Kornykhin. PyCL – Python-based AADL Constraint Language. Proceedings of the Second International Workshop on Architecture Centric Virtual Integration - ACVI 2015, Madrid, Spain, June 26, 2015.
  19. N. A. Astrakhantsev, D. G. Fedorenko, D. Yu. Turdakov Methods for Automatic Term Recognition in Domain-Specific Text Collections: A Survey Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 336–349.
  20. Mayorov V., Andrianov I., Astrakhantsev N., Avanesov V., Kozlov I., Turdakov D. A High Precision Method for Aspect Extraction in Russian. Computational Linguistics and Intellectual Technologies (Proceedings of the Annual International Conference “Dialogue”). Issue 14(21). Volume 2. 2015. pp. 34-43.
  21. Gomzin A., Ipatov S., Korshunov A. Egozoom: service for social ego-network analysis Proceedings of DAMDID/RCDL-2015, Obninsk, Russia, 2015
  22. M.K. Ermakov, S.P. Vartanov Dynamic analysis of ARM ELF shared libraries using static binary instrumentation Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 5-24.
  23. S.P. Vartanov, M.K. Ermakov Applying Java bytecode static instrumentation for software dynamic analysis Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 25-38.
  24. Sevak Sargsyan, Shamil Kurmnagaleev, Andrey Belevantsev, Hayk Aslanyan, Artiom Baloian Scalable code clone detection tool based on semantic analysis Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 39-50
  25. Igor Burdonov, Alexander Kosachev Graph learning by a set of automata. The nondeterministic case Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 51-68
  26. Igor Burdonov, Alexander Kosachev Monitoring of dynamically changed graph Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 69-96.
  27. S. Smolov A Survey of Methods for Model Extraction from HDL Descriptions Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 97-124.
  28. E. Lavrischeva, L. Karpov, A. Tomilin Internet services for solving business problems Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 125-150.
  29. D.V. Tsarev, M.I. Petrovskiy, I.V. Mashechkin, A.Y. Korchagin, V.Y. Korolev Applying Time Series to The Task of Background User Identification Based on Their Text Data Analysis Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 151-172.
  30. S.D. Kuznetsov ODMG and SQL object models ten years later: there are no contradictions Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 173-192.
  31. M.S. Akopyan Using Multithreaded Processes in ParJava Environment Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 5-22.
  32. M. Ermakov, S. Vartanov Dynamic Java Program Analysis Using Virtual Machine Modification Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 23-38.
  33. M. Ermakov, S. Vartanov Detecting Race Conditions in Java Programs Using Dynamic Analysis Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 39-52.
  34. A. Belevantsev, E. Velesevich Analyzing C/C++ Code Entities and Relations for Program Understanding Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 53-64.
  35. V.Y. Efimov, K.A. Batuzov, V.A. Padaryan Deterministic Replay Specifics in Case of Minimal Device Set Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 65-92.
  36. Sevak Sargsyan Copy-Paste Semantic Errors Detection Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 93-104.
  37. V. V. Kaushan, A. YU. Mamontov, V. A. Padaryan, A. N. Fedotov Memory Violation Detection Method in Binary Code Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 105-126.
  38. M.A. Klimushenkova, P.M. Dovgalyuk Methods to Improve Reverse Debugging Performance Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 127-144.
  39. A.V. Nikeshin, N.V. Pakulin, V.Z. Shnitman. TLS Clients Testing Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 145-160.
  40. Podlovchenko R.I. Finite State Automata in the Theory of Algebraic Program Schemata Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 161-172.
  41. A. Molchanov A Solution to the Equivalent Transformation Problem in a Class of Primitive Program Schemes Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 173-188.
  42. Igor Burdonov, Alexander Kossatchev Parallel Calculations on Dynamic Graph Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 189-220.
  43. V.A.Zakharov Modeling and Analysis of the Behavior of Successive Reactive Programs Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 221-250.
  44. A.S. Kamkin, A.K. Petrenko and A.N. Terekhov Foreword Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 7-8
  45. I.S. Ratkevich FRIS Language Service for Extended Fortran Support in Microsoft Visual Studio Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 9-28
  46. J. Belyakova, S. Mikhalkovich Pitfalls of C# Generics and Their Solution Using Concepts Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 29-46
  47. D. Egorova, V. Zhidchenko Visual Parallel Programming as PaaS Cloud Service with Graph-Symbolic Programming Technology Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 47-56
  48. A. Naumchev Seamless Development Applicability: an Experiment Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 57-72
  49. A.N. Kovartsev, V.S. Smirnov, S.V. Smirnov Intelligent Design of Class Structure Model based on Ontological Data Analysis Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 73-86
  50. O.A. Chetverina Procedures classification for optimizing strategy assignment Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 87-100
  51. P.P. Oleynik Unified Model for Testing Object-Oriented Application Development Tools Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 101-114
  52. N.V. Voinov, P.D. Drobintsev, I.V. Nikiforov, V.P. Kotlyarov, A.V. Kolchin Method of Symbolic Test Scenarios Automated Concretization Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 115-124
  53. A. Kamkin, A. Protsenko, A. Tatarnikov An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 125-138.
  54. V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov An Approach to Direct Memory Access Module Verification Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 139-148.
  55. A. Kamkin, M. Petrochenkov A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 149-160.
  56. I. Melnichenko, A. Kamkin, S. Smolov An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 161-182.
  57. V. Burenkov On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 183-196.
  58. S.A. Chernenok, V.A. Nepomniaschy The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 197-218.
  59. N. Nikitina, A. Mitsyuk Carassius: A Simple Process Model Editor Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 219-236.
  60. I. Shugurov, A. Mitsyuk Iskra: A Tool for Process Model Repair Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 237-254.
  61. S. Ivanov, A. Kalenkova Comparing process models in the BPMN 2.0 XML format Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 255-266.
  62. K. Mallachiev, N. Pakulin Remote Service of System Calls in Microkernel Hypervisor Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 267-278.
  63. A. Kiryantsev, Irina Stefanova Constructing Private Service with CRYP2CHAT Application Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 279-290.
  64. V. Tarasov, E. Mezenceva, D. Karbaev Combined Classifier for Website Messages Filtration Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 291-302.
  65. V. Tarasov, S. Malakhov Statistical Data Handling Program of Wireshark Analyzer and Incoming Traffic Research Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 303-314.
  66. I. Bolodurina, D. Parfenov Effective Use of Resources Distributed Cloud Computing Platform for Providing Quality Multimedia Services Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 315-328.
  67. N. Limanova, M. Sedov Searching Method of Personal Details on the Basis of Fuzzy Comparison Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 329-342.
  68. D.V. Antonov, V.S. Roublev Effective interaction with the DIM DBMS Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 343-350.
  69. D.A. Ustalov A Crowdsourcing Engine for Mechanized Labor Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 351-364.
  70. L.S. Zelenko, D.A. Konopelkin, V.S. Ivanov, A.O. Grigoryev, A.E. Semenov, M.A. Savachaev, E.E. Poberezkin Software Tools for Organization and Support of Distance Learning Game System «3Ducation» Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 365-378.
  71. A.A. Tsyganov Acceleration of profile creation for three-dimensional vector video with GPGPU Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 379-388.
  72. S. Latkina Two-step Harmonious Melody Generator Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 389-406.
  73. A. I. Get'man , V.P. Ivannikov, Yu. V. Markin, V. A. Padaryan, A. Yu. Tikhonov Model of Data Handling for In-Depth Analysis of Network Traffic Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 5-22.
  74. I.A. Vakhrushev, V.V. Kaushan, V.A. Padaryan, A.N. Fedotov Search Method for Format String Vulnerabilities Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 23-38.
  75. Evgeny Velesevich Evaluating a number of cache coherency misses based on a statistical model Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 39-48.
  76. M.U. Mandrykin, A.V. Khoroshilov Towards Deductive Verification of C Programs with Shared Data Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 49-68.
  77. S.V. Morozov, D.V. Ilyin, V.A. Semenov, O.A. Tarlapan A Constraint Library for Specification of Industrial Data Models Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 69-110.
  78. E. Tutubalina Sentiment-Based Topic Model for Mining Usability Issues and Failures with User Products Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 111-128.
  79. A. Gomzin, S. Kuznetsov Methods for Construction of Socio-Demographic Profile of Internet Users Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 129-144.
  80. V.A.Zakharov, V.V.Podymov On the application of equivalence checking algorithms for program minimization Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 145-174.
  81. I. Andrianov, V. Mayorov, D. Turdakov Modern Approaches to Aspect-Based Sentiment Analysis Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 5-22.
  82. D.A. Grushin, N.N. Kuzyurin Load Balancing in Unihub SaaS System Based on User Behavior Prediction Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 23-34.
  83. A. Aleksiyants, O. Borisenko, D. Turdakov, A. Sher, S. Kuznetsov Implementing Apache Spark jobs execution and Apache Spark cluster creation for Openstack Sahara Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 35-48.
  84. I. V. Bogomolov, A. Aleksiyants, A. Sher, O. Borisenko, A. Avetisyan A Performance Testing and Stress Testing of Cloud Platform Central Identity: Openstack Keystone Case Study Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 49-58.
  85. V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov Path-Sensitive Bug Detection Analysis of C# Program Illustrated by Null Pointer Dereference Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 59-86.
  86. P.S. Andrianov, V.S. Mutilin, A.V. Khoroshilov Lightweight Static Analysis for Data Race Detection in Operating System Kernels Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 87-116.
  87. M.U. Mandrykin, V.S. Mutilin Modeling Memory with Uninterpreted Functions for Predicate Abstractions Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 117-142.
  88. E. Kornykhin, A. Khoroshilov Python-Based Constraint Language for Architecture Models Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 143-156.
  89. A.Tsyvarev, A.Khoroshilov Using fault injection for testing Linux kernel components Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 157-174.
  90. A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov Integration Points of Operating System Verification Techniques Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 175-190.
  91. A.S. Asratian, N.N. Kuzyurin Approximating Chromatic Sum Coloring of Bipartite Graphs in Expected Polynomial Time Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 191-198.
  92. D. Maksimenkov Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 7-20.
  93. Dmitry Botcharnikov Approaches to Optimizing V8 JavaScript Engine Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 21-32.
  94. Academician V.P. Ivannikov Preface Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 5-6.
  95. V. Vardanyan, V. Ivanishin, S. Asryan, A. Khachatryan, J. Hakobyan Dynamic Compilation of JavaScript Programs to the Statically Typed LLVM Intermediate Representation Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 33-48.
  96. O.A. Chetverina Methods of Profile Information Correction during Compilation Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 49-66.
  97. Roman Zhuykov, Eugene Sharygin Ahead of Time Optimization for JavaScript Programs Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 67-86.
  98. E.V. Palchevsky, A.R. Khalikov Technique the Instrumentation A Code And Optimization of Code Lines in Modeling Phase Transitions on the Programming Language C++ Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 87-96.
  99. Ksenia Dolgorukova Implementation of Memory Scalability Approach for LLVM-Based Link-Time Optimization and Static Analyzing Systems Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 97-110.
  100. A. Borodin, A. Belevancev A Static Analysis Tool Svace as a Collection of Analyzers with Various Complexity Levels Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 111-134.
  101. I. Kulagin, M. Kurnosov Instrumentation and Optimization of Transactional Sections Execution in Multithreaded Programs. Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 135-150.
  102. E.A. Karpulevitch Using Different Views Java-Programs for Static Analysis Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 151-158.
  103. N.I. Fursova, P.M. Dovgalyuk, I.A. Vasiliev Using ABI for Virtual Machines Introspection Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 159-168.
  104. A. Kanatov, E. Zouev The Concept of Inheritance in Modern Programming Languages Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 169-188.
  105. A.Ermolitckii, M.Neiman-Zade, O.Chetverina, A.Markin, V.Volkonskii Aggressive Inlining for VLIW Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 189-198.
  106. G.R. Garay, A. Tchernykh, A.Yu. Drozdov Comparative Analysis of Frameworks for the Performance Evaluation of Multi-tier Cloud Applications Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 199-224.
  107. Alexander Tormasov, Anatoly Lysov, Emil Mazur Distributed Data Storage Systems: Analysis, Classification and Choice Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 225-252.
  108. L. Ivanichkina, A. Neporada The Reliability Model of a Distributed Data Storage in Case of Explicit and Latent Disk Faults Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 253-274.
  109. G. Radchenko Model of Problem-Oriented Cloud Computing Environment Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 275-284.
  110. A. Skatkov, V. Shevchenko Expansion of reference model for the cloud computing environment in the concept of large-scale scientific researches Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 285-306.
  111. A. Chadin Dynamic Optimization of Workload on Compute Nodes in Private, Public and Hybrid Clouds Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 307-314.
  112. S. Gerasimov, A. Mesheryakov, I. Kolosov, E. Glotov, I. Popov Processing of Raw Astronomical Data of Large Volume by MapReduce Model Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 315-334.
  113. A.N. Pankratov, R.K. Tetuev, M.I. Pyatkov, V.P. Toigildin, N.N. Popova Spectral Analytical Method of Recognition of Inexact Repeats in Character Sequences Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 335-344.
  114. N. Balashov, A. Baranov, V. Korenkov, N. Kutovskiy, A. Nechaevskiy, R. Semenov JINR Cloud Service: Status and Perspectives Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 345-354.
  115. F. Armenta-Cano, A. Tchernykh, J. M. Cortés-Mendoza, R. Yahyapour, A. Yu. Drozdov, P. Bouvry, D. Kliazovich, A. Avetisyan, S. Nesmachnow Min_c: Heterogeneous Concentration Policy for Power Aware Scheduling Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 355-380.
  116. A. Trepacheva Derandomization Security of Homomorphic Encryption Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 381-394.
  117. Y. Matveev, N. Stukalova Computer-Aided Operational Management Technogenic Chemical-Technological Objects at Occurrence of Beyond Design Basis Emergency Situations Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 395-408.
  118. S. Polyakov, A. Vyrodov, D. Puzyrkov, M. Yakobovskiy Cloud Service for Decision of Multiscale Nanotechnology Problems on Supercomputer Systems Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 409-420.
  119. A. Ermakov, S. Klimenko, A. Merkulov, S. Panfilov, A.N. Raikov Cloud Framework for the Networked Expert and Analytical Tools Integration Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 421-440.
  120. N. Kushik Checking Experiments with Non-Observable Tree FSMs Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 441-450.

Back to the list of publications of ISP RAS