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 | |