RAS MathematicsПрограммирование Programming and Computer Software

ISSN (Print) 0132-3474
ISSN (Online) 3034-5847

Archive / 2024, №5
Date of publication — 01.05.2024

PARALLEL AND DISTRIBUTED SOFTWARE

Theoretical bases of mathematical apparatus of parallel computing realization in computer-aided design systems

E. Konopatskiy

3-13

Unified processing of events and coroutines in embedded program

P. V. Minin

14-30

COMPUTER GRAFICS AND VISUALIZATION

Estimating the complexity of objects in images

V. B. Bokshanskiy

31-41

A universal algorithm for discretizing bichromatic two-dimensional graphic codes

M. V. Shadrin / A. A. Trubitsyn

42-53

THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS

Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language

V. A. Semenov / S. V. Morozov / S. V. Arishin / O. N. Kuzina / V. I. Rimshin / E. V. Makisha

54-74

Translate

Индексирование

Scopus

Scopus — Crossref

Scopus — Higher Attestation Commission

At the Ministry of Education and Science of the Russian Federation

Scopus — Scientific Electronic Library