Зображення обкладинки

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
Автор:	Ivanenko, P.A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2020
Теми:	automation of parallel program optimization autotuning algebra-dynamic models rewriting rules technique validation of code transformations correctness UDC 004.4`2
Онлайн доступ:	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)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: P. A. Ivanenko
Опубліковано: (2020)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Hybrid autotuning model with statistic modelling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
за авторством: Horlynskyi, Borys V., та інші
Опубліковано: (2019)

SUBSTANTIATION OF THE BRINE EVAPORATION ASSESSMENT VALIDITY FOR THE EASTERN BASIN OF SAKY LAKE
за авторством: Sitnikov, A.B., та інші
Опубліковано: (2017)

The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
за авторством: Kurbet, Pavlo M., та інші
Опубліковано: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

A new approach to the application of conflict redistribution rule in Satellite Image Classification
за авторством: Alpert, Sofiia
Опубліковано: (2020)

Automated system for calgulating corrective loads and predicting vibration during dynamic balancing of turbines
за авторством: Trykush, N. P., та інші
Опубліковано: (2018)

Extended binary Golay codes by a group algebra
за авторством: Bortos, Maria Yu., та інші
Опубліковано: (2024)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Architecture of software system for hierarchical fuzzy inference
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

Analysis of “mixing” combination rules and Smet’s combination rule
за авторством: Alpert, Sofiia
Опубліковано: (2019)

Improving performance of Python code using rewriting rules technique
за авторством: K. A. Zhereb
Опубліковано: (2020)

Factor Analysis Based on Association Rules
за авторством: Zayko, T. A., та інші
Опубліковано: (2014)

Automated generation of programs for a class of parametric neuroevolution algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Autotuner and visualization for meteorological forecasting model
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2025)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Static analysis of .NET programs using rewriting rules
за авторством: H. A. Mamedov, та інші
Опубліковано: (2020)

Hydrocarbon deposit mapping validation by the means of ground-based spectrometry, remote sensing and geophysical data
за авторством: Titarenko, Olga
Опубліковано: (2019)

Central and non central codes of dihedral 2-groups
за авторством: Gupta, S., та інші
Опубліковано: (2022)

A method of tuning programs on .Net platform with rewriting rules
за авторством: T. A. Mamedov, та інші
Опубліковано: (2019)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

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)

Hybrid autotuning model with statistic modelling
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2016)

Defining of cloud service priority for dynamic creating WAF rules
за авторством: Malinich, I.P., та інші
Опубліковано: (2026)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

Construction of self-dual binary \([2^{2k},2^{2k-1},2^k]\)-codes
за авторством: Hannusch, Carolin, та інші
Опубліковано: (2016)

Optimization of autotuning of programs using neural networks
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Method of adaptation of cascade codes to ensure reliability of information transmission of wireless data transmission systems
за авторством: Zaitsev, Serhii V., та інші
Опубліковано: (2023)

Encoding algorithms of information objects in the code of conditional deductions
за авторством: Matov, O. Ya., та інші
Опубліковано: (2015)

Semisimple group codes and dihedral codes
за авторством: Dutra, Flaviana S., та інші
Опубліковано: (2018)