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:  
Efficiency estimate for distributed computation of Gröbner bases and involutive bases
Programming and Computer Software - Tập 34 - Trang 210-215 - 2008
D. A. Yanovich
Several years ago, we presented a program complex for parallel computation of Gröbner bases that works on computers with shared-memory architecture. Unfortunately, the number of the processors that we can use is small (from 2 to 16) because of hardware constraints. This paper presents a program for distributed computation of bases that relies on the same principles but works in a network consistin...... hiện toàn bộ
Methods of spatial indexing of dynamic scenes based on regular octrees
Programming and Computer Software - Tập 42 - Trang 375-381 - 2016
V. A. Zolotov, K. S. Petrishchev, V. A. Semenov
The paper is devoted to study and development of spatial indexing methods as applied to three dimensional scenes arising in computer graphics, CAD/CAM systems, robotics, virtual and augmented reality applications, nD-modeling systems, and in project planning. Such scenes are compositions of a great number of extended geometrical objects exhibiting individual dynamic behaviors. The main focus is pl...... hiện toàn bộ
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ộ
Các phân chia quay vòng. Đồ thị Dịch bởi AI
Programming and Computer Software - Tập 30 - Trang 68-74 - 2004
E. S. Shemyakova
Một phương pháp tiếp cận mới cho lý thuyết các phân chia quay vòng được đề xuất. Việc ứng dụng phương pháp này đơn giản hóa việc diễn đạt định nghĩa và các thuộc tính, đồng thời tạo điều kiện để thu được các phân chia quay vòng mới. Tính năng sau là quan trọng trong bối cảnh các kết quả đã được thảo luận trong [1]. Một đồ thị phân chia quay vòng được định nghĩa, và các khái niệm về tính đầy đủ và ...... hiện toàn bộ
Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia
Programming and Computer Software - - 2020
D. S. Razd’yakonov, A. V. Morozov, D. S. Pavlov, D. I. Muromtsev
The problem of lazy visualization of ontological graphs has certain constraints. Visualization of structures that contain blank nodes is especially challenging. In this paper, we propose an approach to visualization of these structures that is implemented in Ontodia, analyze the limitations of this approach, and consider some alternative solutions.
A Tertiary Study on Microservices: Research Trends and Recommendations
Programming and Computer Software - - 2024
Z. Stojanov, I. Hristoski, J. Stojanov, A. Stojkov
The development and adoption of microservices, as one of the most promising directions for developing heterogeneous distributed software systems, have been driven by dynamic changes in business and technology. In addition to the development of new applications, a significant aspect of microservices is the migration from legacy monolithic systems to microservice architectures. Such development tren...... hiện toàn bộ
Laplace transformations as the only degenerate Darboux transformations of first order
Programming and Computer Software - Tập 38 Số 2 - Trang 105-108 - 2012
Ekaterina Shemyakova
Tổng số: 807   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10