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
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...
Methods of spatial indexing of dynamic scenes based on regular octrees
Programming and Computer Software - Tập 42 - Trang 375-381 - 2016
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...
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 ...
Simulation of operational semantics of machine instructions
Programming and Computer Software - Tập 37 - Trang 161-170 - 2011
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...
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 $${{2}^{\alpha }}$$ and $${{2}^{\alpha }} - 1$$ . A hardware simulation of
the...
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computer Software - Tập 27 - Trang 309-319 - 2001
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...
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
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à
...
Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia
Programming and Computer Software - - 2020
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
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...
Laplace transformations as the only degenerate Darboux transformations of first order
Programming and Computer Software - Tập 38 Số 2 - Trang 105-108 - 2012
Tổng số: 807
- 1
- 2
- 3
- 4
- 5
- 6
- 10