Dissertations
- Korshunov A.V. Study of user communities structure in online social graphs Phd thesis, Institute for System Programming of Russian Academy of Sciences,2015.
- 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
- 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.
- 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.
- 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.
- 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.
- Mikhail Mandrykin, Alexey Khoroshilov Towards Deductive Verification of Concurrent Linux Kernel Code with Jessie. Proceedings of the CSIT 2015.
- Denis Buzdalov and Alexey Khoroshilov About formal interpretation of architecture models. The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26
- 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.
- 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.
- 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.
- 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.
- I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Parallel computations on a graph. Programming and Computer Software, 41(1):1-13, 2015.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Gomzin A., Ipatov S., Korshunov A. Egozoom: service for social ego-network analysis Proceedings of DAMDID/RCDL-2015, Obninsk, Russia, 2015
- Zolotov V.A., Petrishchev, K.S., Semenov V.A. Octree-based approach to spatial indexing of complex dynamic scenes 25th International Conference on Computer Graphics and Vision, GraphiCon 2015 - Conference Proceedings, pp. 115-122
- 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.
- 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.
- 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
- 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
- Igor Burdonov, Alexander Kosachev Monitoring of dynamically changed graph
Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 69-96.
- 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.
- 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.
- 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.
- 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.
- M.S. Akopyan Using Multithreaded Processes in ParJava Environment
Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 5-22.
- 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.
- 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.
- 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.
- 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.
- Sevak Sargsyan Copy-Paste Semantic Errors Detection
Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 93-104.
- 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.
- 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.
- 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.
- 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.
- 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.
- Igor Burdonov, Alexander Kossatchev Parallel Calculations on Dynamic Graph
Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 189-220.
- 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.
- 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
- 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
- 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
- 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
- A. Naumchev Seamless Development Applicability: an Experiment
Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 57-72
- 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
- O.A. Chetverina Procedures classification for optimizing strategy assignment
Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 87-100
- 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
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- D.A. Ustalov A Crowdsourcing Engine for Mechanized Labor
Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 351-364.
- 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.
- 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.
- S. Latkina Two-step Harmonious Melody Generator
Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 389-406.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Dmitry Botcharnikov Approaches to Optimizing V8 JavaScript Engine
Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 21-32.
- Academician V.P. Ivannikov Preface
Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 5-6.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- G. Radchenko Model of Problem-Oriented Cloud Computing Environment
Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 275-284.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- A. Trepacheva Derandomization Security of Homomorphic Encryption
Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 381-394.
- 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.
- 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.
- 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.
- 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