Static analysis of the physical dimensions in "physical” programs and its implementation in algebraic programming
Saved in:
| Date: | 2015 |
|---|---|
| Main Author: | M. S. Lvov |
| Format: | Article |
| Language: | English |
| Published: |
2015
|
| Series: | Problems in programming |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000402512 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020)
by: H. A. Mamedov, et al.
Published: (2020)
Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)
by: Mamedov, T.A., et al.
Published: (2020)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: V. G. Akulovskij, et al.
Published: (2015)
by: V. G. Akulovskij, et al.
Published: (2015)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)
by: Akulovskiy, V.G., et al.
Published: (2017)
Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)
by: Lavrischeva, K.M.
Published: (2015)
The European Dimension of the Global Urban Development Program
by: P. T. Bubenko, et al.
Published: (2017)
by: P. T. Bubenko, et al.
Published: (2017)
About modification of the algorithm user distribution program for implementation its on CPLD
by: E. V. Eliseeva
Published: (2016)
by: E. V. Eliseeva
Published: (2016)
Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)
by: V. Peschanenko, et al.
Published: (2018)
Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)
by: Peschanenko, V.S., et al.
Published: (2018)
Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages
by: A. K. Novokshonov
Published: (2016)
by: A. K. Novokshonov
Published: (2016)
Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages
by: Novokshonov, A.K.
Published: (2018)
by: Novokshonov, A.K.
Published: (2018)
Algebraic interaction theory and cyber-physical systems
by: A. A. Letichevskij
Published: (2017)
by: A. A. Letichevskij
Published: (2017)
The Impact of Emerging Financial Markets on Marketing Programs: an International Dimension
by: Ye. Balabukha
Published: (2021)
by: Ye. Balabukha
Published: (2021)
Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)
by: Doroshenko, A.Yu., et al.
Published: (2015)
Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)
by: Doroshenko, А.Yu., et al.
Published: (2015)
Physical and mechanical characteristics of impact-resistant ceramics under static and dynamic loading
by: L. M. Devin, et al.
Published: (2021)
by: L. M. Devin, et al.
Published: (2021)
Automated design of OpenCL programs based on algebra-algorithmic approach
by: Yu. Doroshenko, et al.
Published: (2019)
by: Yu. Doroshenko, et al.
Published: (2019)
Automated design of OpenCL programs based on algebra-algorithmic approach
by: Doroshenko, А.Yu., et al.
Published: (2019)
by: Doroshenko, А.Yu., et al.
Published: (2019)
Program and strategic maintenance of EU innovative policy implementation
by: O. M. Lutskiv
Published: (2017)
by: O. M. Lutskiv
Published: (2017)
Primitive programing algebra: general approfch to a problem of functional completeness
by: Yahanov, P.O., et al.
Published: (2015)
by: Yahanov, P.O., et al.
Published: (2015)
Primitive programing algebra: general approfch to a problem of functional completeness
by: P. O. Yahanov, et al.
Published: (2015)
by: P. O. Yahanov, et al.
Published: (2015)
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)
by: Yatsenko, O.A.
Published: (2025)
Program
Published: (2015)
Published: (2015)
The Program Implementation of the Task of Distribution of Vehicles with Fixed Surcharges
by: K. O. Kovalova, et al.
Published: (2018)
by: K. O. Kovalova, et al.
Published: (2018)
Practice and Capabilities of Program Housing Policy Implementation in Ukraine
by: V. Novikov, et al.
Published: (2023)
by: V. Novikov, et al.
Published: (2023)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)
by: Doroshenko, А.Yu., et al.
Published: (2020)
Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
by: A. E. Doroshenko, et al.
Published: (2017)
by: A. E. Doroshenko, et al.
Published: (2017)
Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)
by: Yu. Doroshenko, et al.
Published: (2020)
Physical and geometrical descriptions of hyperspace. I. The Serre–Freinet generalized system. Physical isomorphism of Hamilton algebra of the quaternions
by: S. V. Terekhov
Published: (2015)
by: S. V. Terekhov
Published: (2015)
Design of a terrain surface visualization program using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2019)
by: Yu. Doroshenko, et al.
Published: (2019)
Design of a terrain surface visualization program using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2019)
by: Doroshenko, А.Yu., et al.
Published: (2019)
A polynomial approximation of nonlinear algebraic equations of the mathematical physics
by: V. I. Bilenko, et al.
Published: (2016)
by: V. I. Bilenko, et al.
Published: (2016)
Evolutionary Programming
by: Glybovets, M.M., et al.
Published: (2025)
by: Glybovets, M.M., et al.
Published: (2025)
The importance of implementing compliance programs to increase the transparency of Ukrainian business
by: N. V. Smetanina, et al.
Published: (2018)
by: N. V. Smetanina, et al.
Published: (2018)
Program-target method of budgeting: implementation problems and development prospects
by: Yu. D. Radionov
Published: (2018)
by: Yu. D. Radionov
Published: (2018)
Program-target method of budgeting: implementation problems and development prospects
by: Ju. D. Radionov
Published: (2018)
by: Ju. D. Radionov
Published: (2018)
Assessing the Efficiency of the Financial Component of the Implementation of Targeted Programs in Ukraine
by: O. A. Kanova
Published: (2021)
by: O. A. Kanova
Published: (2021)
Results of physical launch and program of experimental-industrial operation of nuclear subcritical facility "Neutron source” (transcript of the report at the meeting of the Presidium of NAS of Ukraine, May 12, 2021)
by: I. M. Karnaukhov
Published: (2021)
by: I. M. Karnaukhov
Published: (2021)
Presentation of the results of the implementation of the budget program "Support for the Development of Priority Areas of Scientific Research" in 2018
by: S. Mazurenko
Published: (2019)
by: S. Mazurenko
Published: (2019)
Similar Items
-
Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020) -
Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020) -
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: V. G. Akulovskij, et al.
Published: (2015) -
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017) -
Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)