Validation of correctness of autotuning code transformations with rewriting rules technique
Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2020
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/429 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Improving performance of Python code using rewriting rules technique
за авторством: Zhereb, K.A.
Опубліковано: (2020)
за авторством: Zhereb, K.A.
Опубліковано: (2020)
Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: P. A. Ivanenko
Опубліковано: (2020)
за авторством: P. A. Ivanenko
Опубліковано: (2020)
Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)
за авторством: Shevchenko, R.S.
Опубліковано: (2018)
Hybrid autotuning model with statistic modelling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)
TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)
Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
за авторством: Horlynskyi, Borys V., та інші
Опубліковано: (2019)
за авторством: Horlynskyi, Borys V., та інші
Опубліковано: (2019)
The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
за авторством: Kurbet, Pavlo M., та інші
Опубліковано: (2024)
за авторством: Kurbet, Pavlo M., та інші
Опубліковано: (2024)
A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)
SUBSTANTIATION OF THE BRINE EVAPORATION ASSESSMENT VALIDITY FOR THE EASTERN BASIN OF SAKY LAKE
за авторством: Sitnikov, A.B., та інші
Опубліковано: (2017)
за авторством: Sitnikov, A.B., та інші
Опубліковано: (2017)
Automated system for calgulating corrective loads and predicting vibration during dynamic balancing of turbines
за авторством: Trykush, N. P., та інші
Опубліковано: (2018)
за авторством: Trykush, N. P., та інші
Опубліковано: (2018)
Improving performance of Python code using rewriting rules technique
за авторством: K. A. Zhereb
Опубліковано: (2020)
за авторством: K. A. Zhereb
Опубліковано: (2020)
A new approach to the application of conflict redistribution rule in Satellite Image Classification
за авторством: Alpert, Sofiia
Опубліковано: (2020)
за авторством: Alpert, Sofiia
Опубліковано: (2020)
Analysis of “mixing” combination rules and Smet’s combination rule
за авторством: Alpert, Sofiia
Опубліковано: (2019)
за авторством: Alpert, Sofiia
Опубліковано: (2019)
Architecture of software system for hierarchical fuzzy inference
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)
Extended binary Golay codes by a group algebra
за авторством: Bortos, Maria Yu., та інші
Опубліковано: (2024)
за авторством: Bortos, Maria Yu., та інші
Опубліковано: (2024)
Factor Analysis Based on Association Rules
за авторством: Zayko, T. A., та інші
Опубліковано: (2014)
за авторством: Zayko, T. A., та інші
Опубліковано: (2014)
Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
DRAFT OF THE UPDATED VERSION OF THE STRATIGRAPHIC CODE OF UKRAINE (2012) ON TYPES OF STRATIGRAPHIC SCALES AND SCHEMES, AS WELL AS RULES FOR THE PREPARATION AND APPROVAL OF STRATIGRAPHIC SCHEMES
за авторством: Вернигорова, Ю.В.
Опубліковано: (2024)
за авторством: Вернигорова, Ю.В.
Опубліковано: (2024)
Protection of information objects from intentional collisions of inspection characteristics in error-correcting codes
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)
Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)
Hydrocarbon deposit mapping validation by the means of ground-based spectrometry, remote sensing and geophysical data
за авторством: Titarenko, Olga
Опубліковано: (2019)
за авторством: Titarenko, Olga
Опубліковано: (2019)
Encoding algorithms of information objects in the code of conditional deductions
за авторством: Matov, O. Ya., та інші
Опубліковано: (2015)
за авторством: Matov, O. Ya., та інші
Опубліковано: (2015)
Method of adaptation of cascade codes to ensure reliability of information transmission of wireless data transmission systems
за авторством: Zaitsev, Serhii V., та інші
Опубліковано: (2023)
за авторством: Zaitsev, Serhii V., та інші
Опубліковано: (2023)
Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)
за авторством: Zhygallo, A.A.
Опубліковано: (2018)
Autotuner and visualization for meteorological forecasting model
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2025)
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2025)
Semisimple group codes and dihedral codes
за авторством: Dutra, Flaviana S., та інші
Опубліковано: (2018)
за авторством: Dutra, Flaviana S., та інші
Опубліковано: (2018)
Defining of cloud service priority for dynamic creating WAF rules
за авторством: Malinich, I.P., та інші
Опубліковано: (2026)
за авторством: Malinich, I.P., та інші
Опубліковано: (2026)
Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)
On various parameters of \(\mathbb{Z}_q\)-simplex codes for an even integer \(q\)
за авторством: Pandian, P. Chella, та інші
Опубліковано: (2015)
за авторством: Pandian, P. Chella, та інші
Опубліковано: (2015)
Static analysis of .NET programs using rewriting rules
за авторством: H. A. Mamedov, та інші
Опубліковано: (2020)
за авторством: H. A. Mamedov, та інші
Опубліковано: (2020)
Procedure of «zeroing» under control and restore the integrity of data objects in the code of conditional deductions
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2015)
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2015)
THE METHODICAL ASPECTS OF VALIDITY ASSESGMENT FOR HEAT-MOISTURE EXCHANGE STUDIES (AS AN EXAMPLE THE COMPLEX OF KYIV PECHERSK LAVRA)
за авторством: Sitnikov, A.B.
Опубліковано: (2015)
за авторством: Sitnikov, A.B.
Опубліковано: (2015)
Automated inventory management system on Android using barcodes and QR-codes
за авторством: Haidukevych, Y.O., та інші
Опубліковано: (2022)
за авторством: Haidukevych, Y.O., та інші
Опубліковано: (2022)
Isodual and self-dual codes from graphs
за авторством: Mallik, S., та інші
Опубліковано: (2021)
за авторством: Mallik, S., та інші
Опубліковано: (2021)
THE EXPERIMENTAL VALIDATION OF THE GROUNDING DEVICE RESISTANCE MEASUREMENT METHOD
за авторством: Nizhevskyi, I. V., та інші
Опубліковано: (2016)
за авторством: Nizhevskyi, I. V., та інші
Опубліковано: (2016)
Central and non central codes of dihedral 2-groups
за авторством: Gupta, S., та інші
Опубліковано: (2022)
за авторством: Gupta, S., та інші
Опубліковано: (2022)