Звіт про науково-дослідну роботу 'Розроблення алгеброалгоритмічних методів, технологій та засобів автоматизації паралельного програмування для неоднорідних та cloud-платформ', III-1-17 (заключний), № держреєстрації 0117U000734. Київ: Інститут програмних систем НАН України, 2021. 75 с.

Authors: Doroshenko, Anatoliy, orcid:0000-0002-8435-, Yatsenko, Olena, Beketov, Oleksii, Ivanenko, Pavlo, Rahozin, Dmytro, Proskudina, Galyna, Ovdii, Olga, Zhereb, Kostiantyn, Institute of Software Systems, Tyrchak, Iurii

Subject Terms: алгебро-алгоритмічні моделі, високопродуктивні обчислення, графічні прискорювачі, неоднорідні паралельні обчислювальні системи, розподілені системи, техніка переписувальних правил, формальні методи, хмарні обчислення

Relation: https://zenodo.org/records/14907016; oai:zenodo.org:14907016; https://doi.org/10.5281/zenodo.14907016

Availability: https://doi.org/10.5281/zenodo.14907016
https://zenodo.org/records/14907016

Оцінювання надійності паралельних обчислювальних систем під час виконання заданого комплексу взаємопов’язаних робіт

Authors: Klushyn, Y.

Contributors: Національний університет 'Львівська політехніка', Lviv Polytechnic National University

Subject Terms: function of distribution of random variable, комплекс взаємопов'язаних робіт, parallel computing systems, надійність системи, complex of interconnected works, system reliability, failure, паралельні обчислювальні системи, direct stochastic modeling, пряме стохастичне моделювання, 004.383, функція розподілу випадкової величини, 004.021, марківський процес, відмова, Markov process

File Description: application/pdf; image/png

Access URL: https://ena.lpnu.ua/handle/ntb/56353

Рішення задачі класифікації в e-learning на основі методу паралельної побудови дерев рішень ; The solution of the classification problem in e-learning based on the method parallel construction of decision trees

Authors: Толстолузька, О. Г., Паршенцев, Б. В.

Subject Terms: паралельний алгоритм, Інтернет комунікації, технології програмування, паралельні обчислювальні системи, parallel algorithm

File Description: application/pdf

Relation: Толстолузька О. Г. Рішення задачі класифікації в e-learning на основі методу паралельної побудови дерев рішень / О. Г. Толстолузька, Б. В. Паршенцев // Сучасні інформаційні системи = Advanced Information Systems. – 2018. – Т. 2, № 2. – С. 5-9.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/39629

Availability: http://repository.kpi.kharkov.ua/handle/KhPI-Press/39629
https://doi.org/10.20998/2522-9052.2018.2.01

Програмне реалізування математичних моделей, методів та алгоритмів оцінювання часу виконання складаних програмних комплексів у багатопроцесорних комп'ютерних системах

Authors: Klushyn, Y.

Contributors: Національний університет 'Львівська політехніка', Lviv Polytechnic National University

Subject Terms: паралельні обчислювальні системи, direct stochastic modeling, пряме стохастичне моделювання, function of distribution of random variable, 004.383, комплекс взаємопов'язаних робіт, функція розподілу випадкової величини, parallel computing systems, 004.021, марківський процес, Markov process, complex of interconnected works

File Description: application/pdf; image/png

Access URL: https://ena.lpnu.ua/handle/ntb/47192

Програмне реалізування математичних моделей, методів та алгоритмів оцінювання часу виконання складаних програмних комплексів у багатопроцесорних комп'ютерних системах ; Software implementation of mathematical models, methods and algorithms for estimating the time of execution of complex software complexes in multiprocessor computer systems

Authors: Клушин, Ю. С., Klushyn, Y.

Contributors: Національний університет “Львівська політехніка”, Lviv Polytechnic National University

Subject Terms: паралельні обчислювальні системи, комплекс взаємопов’язаних робіт, пряме стохастичне моделювання, марківський процес, функція розподілу випадкової величини, parallel computing systems, complex of interconnected works, direct stochastic modeling, Markov process, function of distribution of random variable, 004.021, 004.383

Subject Geographic: Львів, Lviv

File Description: 73-81; application/pdf; image/png

Relation: Вісник Національного університету “Львівська політехніка”. Серія: Комп’ютерні системи та мережі, 905, 2018; 1. Chu W. W., Leung K.K. Module replication and assignment for real-time distributed processing system. // “Proc IEEE”. 1987. 75. N5. pp. 547–562.; 2. Khritankov A. S. Mathematical model of performance characteristics of distributed computing systems. Computer science, management, economics. WORKS OF MIPT. – 2010. – Volume 2, No. 1 (5), p. 110–115.; 3. Ivutin A. N., Larkin E. V. Prediction of the execution time of the algorithm. Magazine. News of TSU. Technical science. Issue number 3/2013 C. 301–315.; 4. Bocharov P. L., Ignatushchenko V. V. Mathematical models and methods for evaluating the effectiveness of parallel computing systems on complexes of interrelated works // Tez. report international conf, “High-Performance Computing Systems in Management and Scientific Research,” Alma-Ata, 1991, p. 6.; 5. Margalitashvili, A. L., Ambartsumian, A. L., Teplyakov, A. V., Preidunov, Yu, V., Graph models of complexes of interrelated works, M *, 1990, – Dep. in VINITI 31,01,90, No. 587–B90.; 6. Margalitashvili A. L, Investigation of the effectiveness of the functioning of parallel computing resources on given complexes of interrelated works, Abstract of Cand. dis. M .: In-t prbblem management, 1990.; 7. Bocharov P. L., Preydunov Yu. V., Estimation of the execution time of a complex of works on a parallel computational system // System analysis and computer science. Sat scientific papers, M.: Publishing house DN, 1991. C 29–41.; 8. Ingatushchenko V. V. Organization of structures for controlling multiprocessor computing systems. Moscow: Energoatomizdat, 1984.; 9. Ivanov N.N. Mathematical prediction of reliable execution of sets of tasks with symmetric runtime distributions. Journal of Open Education, Issue No. 2–2 / 2011, p. 52–55.; 11. Klushin, Y. S. Prediction of the implementation of complex software systems on parallel computers // Proc. Report Second Ukrainian Conference on Automatic Control “Automation – 95”, Lviv, 1995, vol. 2, p. 100.; 12. Ignatushchenko V. V., Klushin Yu. S. Forecasting the implementation of complex software systems on control parallel computers: exact methods // Scientific works of the International Symposium “Automated Control Systems”, Tbilisi: ed. Intellect, 1996, p. 23–28.; 13. N. N. Ivanov, V. V. Ignatushchenko, A. Y. Mikhailov, Static prediction of the execution time of complexes of interrelated works in multiprocessor computing systems, Avtomat. and Telemekh., 2005, issue 6, 89–103.; 14. Klushin Y. S. Evaluation of the effectiveness of various dispatching disciplines for reducing the time to perform complex software systems on parallel computing systems / Bulletin of National University "Lviv Polytechnic" No413. Computer engineering and information technology. – Lviv: NU “LP”, 2000. – p. 19–23.; 15. Gross, D., Miller, D., Transition Markov processes // Operations Research. 1984. Vol. 32. No 4. P. 334–361.; 16. Reibman A. L., Trivedi K. S. Numerical transient analysis of Markov models // Computers and Operations Research. 1988. V. 15. No. 1. P. 19–36.; 17. Klushin, Y. S. Improving the accuracy of estimating the execution time of folding software systems in multiprocessor computer systems for belt stochastic modeling. Bulletin of NU “Lviv Polytechnic” No881. Computer systems and networks. – Lviv: NU “LP”, 2017.; 18. Preidunov Y. V. Development of mathematical models and methods for predicting the implementation of complex software systems on parallel computing systems. Cand. course work. M .: Inst. Of Problems of Management RAS, 1992.; 19. Klushin Y. S. reducing the number of states of the Markov process when executing complex software systems on parallel computers. Scientific Bulletin of Chernivtsi University. Computer systems and components. 2016. T. 7. Vol. 2, pp. 53–62.; 1. Chu W. W., Leung K.K. Module replication and assignment for real-time distributed processing system., "Proc IEEE". 1987. 75. N5. pp. 547–562.; 2. Khritankov A. S. Mathematical model of performance characteristics of distributed computing systems. Computer science, management, economics. WORKS OF MIPT, 2010, Volume 2, No. 1 (5), p. 110–115.; 3. Ivutin A. N., Larkin E. V. Prediction of the execution time of the algorithm. Magazine. News of TSU. Technical science. Issue number 3/2013 P. 301–315.; 4. Bocharov P. L., Ignatushchenko V. V. Mathematical models and methods for evaluating the effectiveness of parallel computing systems on complexes of interrelated works, Tez. report international conf, "High-Performance Computing Systems in Management and Scientific Research," Alma-Ata, 1991, p. 6.; 5. Margalitashvili, A. L., Ambartsumian, A. L., Teplyakov, A. V., Preidunov, Yu, V., Graph models of complexes of interrelated works, M *, 1990, Dep. in VINITI 31,01,90, No. 587–B90.; 6. Margalitashvili A. L, Investigation of the effectiveness of the functioning of parallel computing resources on given complexes of interrelated works, Abstract of Cand. dis. M ., In-t prbblem management, 1990.; 7. Bocharov P. L., Preydunov Yu. V., Estimation of the execution time of a complex of works on a parallel computational system, System analysis and computer science. Sat scientific papers, M., Publishing house DN, 1991. P. 29–41.; 9. Ivanov N.N. Mathematical prediction of reliable execution of sets of tasks with symmetric runtime distributions. Journal of Open Education, Issue No. 2–2, 2011, p. 52–55.; 11. Klushin, Y. S. Prediction of the implementation of complex software systems on parallel computers, Proc. Report Second Ukrainian Conference on Automatic Control "Automation – 95", Lviv, 1995, vol. 2, p. 100.; 12. Ignatushchenko V. V., Klushin Yu. S. Forecasting the implementation of complex software systems on control parallel computers: exact methods, Scientific works of the International Symposium "Automated Control Systems", Tbilisi: ed. Intellect, 1996, p. 23–28.; 14. Klushin Y. S. Evaluation of the effectiveness of various dispatching disciplines for reducing the time to perform complex software systems on parallel computing systems, Bulletin of National University "Lviv Polytechnic" No413. Computer engineering and information technology, Lviv: NU "LP", 2000, p. 19–23.; 15. Gross, D., Miller, D., Transition Markov processes, Operations Research. 1984. Vol. 32. No 4. P. 334–361.; 16. Reibman A. L., Trivedi K. S. Numerical transient analysis of Markov models, Computers and Operations Research. 1988. V. 15. No. 1. P. 19–36.; 17. Klushin, Y. S. Improving the accuracy of estimating the execution time of folding software systems in multiprocessor computer systems for belt stochastic modeling. Bulletin of NU "Lviv Polytechnic" No881. Computer systems and networks, Lviv: NU "LP", 2017.; 18. Preidunov Y. V. Development of mathematical models and methods for predicting the implementation of complex software systems on parallel computing systems. Cand. course work. M ., Inst. Of Problems of Management RAS, 1992.; Клушин Ю. С. Програмне реалізування математичних моделей, методів та алгоритмів оцінювання часу виконання складаних програмних комплексів у багатопроцесорних комп'ютерних системах / Ю. С. Клушин // Вісник Національного університету “Львівська політехніка”. Серія: Комп’ютерні системи та мережі. — Львів : Видавництво Національного університету “Львівська політехніка”, 2018. — № 905. — С. 73–81.; https://ena.lpnu.ua/handle/ntb/47192; Klushyn Y. Software implementation of mathematical models, methods and algorithms for estimating the time of execution of complex software complexes in multiprocessor computer systems / Y. Klushyn // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". Serie: Kompiuterni systemy ta merezhi. — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2018. — No 905. — P. 73–81.

Availability: https://ena.lpnu.ua/handle/ntb/47192

Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем

Authors: Мороз, Ольга Юріївна, Moroz, O.Yu.

Subject Terms: Research Subject Categories::TECHNOLOGY::Information technology, технологія верифікації, паралельні обчислювальні системи, часопараметризовані мільтипаралельні програми, верифікація паралельних програм інформаційних управляючих систем, компіляційна верифікація, декомпіляційна верифікація, семантична верифікація, методи структур семантико-числових специфікацій, методи формального синтезу, часопараметризована модель алгоритму Гауса, verification technology, parallel computing systems, time-parameterized multi-parallel programs, verification of parallel programs of information management systems, compilation verification, decompilation verification, semantic verification, methods of structures of semantic-numerical specifications, methods of formal synthesis, time-parameterized model of the Gaussian algorithm

Relation: Мороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. . д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.; УДК 911.5:502.15:338.49(477.54-25)(043.5); http://dspace.univer.kharkov.ua/handle/123456789/18168

Availability: http://dspace.univer.kharkov.ua/handle/123456789/18168