Summary-based interprocedural analysis method for implementation in multi-purpose static C/C++ code analyzer
Authors: Romanova T.N., Sidorin A.V. | Published: 12.10.2015 |
Published in issue: #5(104)/2015 | |
DOI: 10.18698/0236-3933-2015-5-75-96 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: summary-based method, interprocedural analysis, symbolic execution, Clang Static Analyzer, search for defects, report building, C/C++ |
Investigation of mathematical models stability and geometry configurations
Authors: Gordeev E.N. | Published: 12.10.2015 |
Published in issue: #5(104)/2015 | |
DOI: 10.18698/0236-3933-2015-5-61-74 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: discrete optimization problems, theory of stability, radius of stability, mathematical modelling, computational geometry, parametric programming |
Development and implementation of operators for handling archive personnel information in the form of multidimensional spaces, using 1C
Authors: Baldin A.V., Tonoyan S.A., Eliseev D.V. | Published: 03.09.2015 |
Published in issue: #4(103)/2015 | |
DOI: 10.18698/0236-3933-2015-4-113-126 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: relational database, mivar space, temporal, SQL query, multidimensional space, relations, operators, set, database structure, data structure, interpreter |
Using two information channels for solving the problem of discrete signal recognition in additive noise
Authors: Troitskii I.I., Basarab M.A., Matveev V.A.  | Published: 03.09.2015 |
Published in issue: #4(103)/2015 | |
DOI: 10.18698/0236-3933-2015-4-106-112 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: signal recognition, noise compensation, variance, signal-to-noise ratio |
The Principles of Complete and Correct Transformation of the Synchronized Models
Authors: Devyatkov V.V., Oshkalo D.V. | Published: 17.06.2015 |
Published in issue: #3(102)/2015 | |
DOI: 10.18698/0236-3933-2015-3-79-91 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: model transformation, model synchronization, UML, graph grammars, completeness and correctness of model transformation |
Fast Computation Algorithms of Transformations Based on Elliptic Curves with Precomputations
Authors: Khleborodov D.S. | Published: 17.06.2015 |
Published in issue: #3(102)/2015 | |
DOI: 10.18698/0236-3933-2015-3-65-78 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: fast algorithms, elliptic curves, precomputations, computational complexity, scalar multiplication of point |
Metagraphs for Information Systems Semantics and Pragmatics Definition
Authors: Samokhvalov E.N., Revunkov G.I., Gapanyuk Yu.E. | Published: 08.02.2015 |
Published in issue: #1(100)/2015 | |
DOI: 10.18698/0236-3933-2015-1-83-99 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: information systems semantics, information system pragmatics, metagraph, hypergraph, metagraph information element, metavertex, metaedge, metagraph agent |
Size of reversible circuits as a measure of even permutation complexity
Authors: Zakablukov D.V. | Published: 08.02.2015 |
Published in issue: #1(100)/2015 | |
DOI: 10.18698/0236-3933-2015-1-67-82 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: reversible circuits, gate complexity, even permutation complexity |