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
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 ......
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System
Programming and Computer Software - Tập 48 - Trang 735-744 - 2022
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
......
Scheduling algorithms for real-time computing systems admitting simulation models
Programming and Computer Software - - 2013
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra
Programming and Computer Software - - 2020
A Method of Splitting Cochain Complexes to Compute Cohomologies of Lie (Super)algebras
Programming and Computer Software - Tập 28 - Trang 76-80 - 2002
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......
Computational Problems of Multivariate Hypergeometric Theory
Programming and Computer Software - Tập 44 Số 2 - Trang 131-137 - 2018
Progressive Backward Photon Mapping
Programming and Computer Software - Tập 47 - Trang 185-193 - 2021
This work is devoted to the study of photon mapping methods applied to realistic rendering. In distinction from the conventional rendering methods, the calculation of the indirect and caustic luminance is based on backward photon maps (which are also called observation maps). The main advantages of this method are described. These advantages are the natural distribution of the photons in the regio......
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computer Software - Tập 28 - Trang 127-147 - 2002
This paper presents a simple and natural semantics for object-oriented languages with classes and multiple inheritance. The model, called the Formal Class model, is an intermediate level between the algebraic specification of data type, and the implementation within an object-oriented language. Our model is equipped with an operational semantics based on conditional term rewriting. One important c......
Support Facilities for Development of Parallel Computational Algorithms
Programming and Computer Software - Tập 27 - Trang 78-85 - 2001
An approach to the development of parallel programs is described, which is based on algorithmic specification. Functional characteristics and structure of the system that supports the approach and is based on the parallel programming language SuperPascal are suggested. The system is designed for the development of parallel algorithms and for teaching parallel programming.
Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group
Programming and Computer Software - Tập 46 Số 2 - Trang 84-97 - 2020
Tổng số: 807
- 1
- 2
- 3
- 4
- 5
- 6
- 10