Programming and Computer Software

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Problems of instrumental support for the development of distributed embedded real-time systems
Programming and Computer Software - Tập 39 - Trang 221-232 - 2013
A. G. Bakhmurov, R. L. Smelyansky
Distributed embedded real-time systems (DRTESs) are classified among objects that are complex in their development and crucial in their use. The problems of Instrumental Support and automation of development of DRTESs are still actual, even after more than 40 years of research. This paper refine the notion of DRTES. The shortcomings of traditional approaches to the design of DRTESs are considered ...... hiện toàn bộ
Simulation of operational semantics of machine instructions
Programming and Computer Software - Tập 37 - Trang 161-170 - 2011
V. A. Padaryan, M. A. Solov’ev, A. I. Kononov
We propose a model describing the operational semantics of machine instructions for a wide class of target architectures. A special feature of the model is that it is designed for the inverse (compared to the classical compiler problem) tract of transformations, but, at the same time, the model makes it possible to perform different optimizing transformations over it. The target machine is describ...... hiện toàn bộ
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System
Programming and Computer Software - Tập 48 - Trang 735-744 - 2022
M. Valueva, G. Valuev, M. Babenko, A. Tchernykh, J. M. Cortes-Mendoza
Convolutional Neural Networks (CNN) show high accuracy in pattern recognition solving problem but have high computational complexity, which leads to slow data processing. To increase the speed of CNN, we propose a hardware implementation method with calculations in the residue number system with moduli of a special type ...... hiện toàn bộ
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computer Software - Tập 27 - Trang 309-319 - 2001
N. A. Anisimov, E. A. Golenkov, D. I. Kharitonov
In the paper, a formal model based on Petri nets is proposed in the context of a compositional approach to the development and analysis of complex concurrent and distributed systems. Mutlilabels of Petri nets are introduced allowing labeling a transition not only with a single symbol, but also with a multiset of symbols. Operations on multilabeled Petri nets—parallel composition and restriction—ar...... hiện toàn bộ
Scheduling algorithms for real-time computing systems admitting simulation models
Programming and Computer Software - - 2013
В. А. Костенко
A method of Earth terrain tessellation on the GPU for space simulators
Programming and Computer Software - - 2017
Mikhail Mikhaylyuk, P.Yu. Timokhin, Alexander V. Maltsev
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra
Programming and Computer Software - - 2020
Eugene Yu. Shchetinin
Linear differential and difference systems: EGδ- and EGσ- eliminations
Programming and Computer Software - Tập 39 Số 2 - Trang 91-109 - 2013
С. А. Абрамов, D. E. Khmelnov
A Method of Splitting Cochain Complexes to Compute Cohomologies of Lie (Super)algebras
Programming and Computer Software - Tập 28 - Trang 76-80 - 2002
V. V. Kornyak
A new algorithmic approach for computing cohomologies of Lie (super)algebras is described. This approach is based on splitting a complete cochain complex into minimal (in some noninvariant sense) subcomplexes; this makes the computations much more efficient due to the fact that the proposed splitting allows the cochain complex spaces (which, normally, have very large dimensions) to be decomposed i...... hiện toàn bộ
Computational Problems of Multivariate Hypergeometric Theory
Programming and Computer Software - Tập 44 Số 2 - Trang 131-137 - 2018
Timur Sadykov
Tổng số: 807   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10