Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
1. Verfasser:	Ivanenko, P.A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2020
Schlagworte:	automation of parallel program optimization autotuning algebra-dynamic models rewriting rules technique validation of code transformations correctness UDC 004.4`2
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/429
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Improving performance of Python code using rewriting rules technique
von: Zhereb, K.A.
Veröffentlicht: (2020)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: P. A. Ivanenko
Veröffentlicht: (2020)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Hybrid autotuning model with statistic modelling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)

A method of tuning programs on .Net platform with rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2019)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
von: Horlynskyi, Borys V., et al.
Veröffentlicht: (2019)

SUBSTANTIATION OF THE BRINE EVAPORATION ASSESSMENT VALIDITY FOR THE EASTERN BASIN OF SAKY LAKE
von: Sitnikov, A.B., et al.
Veröffentlicht: (2017)

The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
von: Kurbet, Pavlo M., et al.
Veröffentlicht: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Jupyter Notebook: a system for interactive scientific computing
von: Yakimchik, A. I.
Veröffentlicht: (2019)

A new approach to the application of conflict redistribution rule in Satellite Image Classification
von: Alpert, Sofiia
Veröffentlicht: (2020)

Automated system for calgulating corrective loads and predicting vibration during dynamic balancing of turbines
von: Trykush, N. P., et al.
Veröffentlicht: (2018)

Extended binary Golay codes by a group algebra
von: Bortos, Maria Yu., et al.
Veröffentlicht: (2024)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

Analysis of “mixing” combination rules and Smet’s combination rule
von: Alpert, Sofiia
Veröffentlicht: (2019)

Improving performance of Python code using rewriting rules technique
von: K. A. Zhereb
Veröffentlicht: (2020)

Factor Analysis Based on Association Rules
von: Zayko, T. A., et al.
Veröffentlicht: (2014)

Autotuner and visualization for meteorological forecasting model
von: Ivanenko, P.A., et al.
Veröffentlicht: (2025)

Automated generation of programs for a class of parametric neuroevolution algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

Static analysis of .NET programs using rewriting rules
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)

Automated design of programs for .NET platform using Task Parallel Library
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Hydrocarbon deposit mapping validation by the means of ground-based spectrometry, remote sensing and geophysical data
von: Titarenko, Olga
Veröffentlicht: (2019)

A method of tuning programs on .Net platform with rewriting rules
von: T. A. Mamedov, et al.
Veröffentlicht: (2019)

Central and non central codes of dihedral 2-groups
von: Gupta, S., et al.
Veröffentlicht: (2022)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (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
von: Вернигорова, Ю.В.
Veröffentlicht: (2024)

Hybrid autotuning model with statistic modelling
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)

Defining of cloud service priority for dynamic creating WAF rules
von: Malinich, I.P., et al.
Veröffentlicht: (2026)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Construction of self-dual binary \([2^{2k},2^{2k-1},2^k]\)-codes
von: Hannusch, Carolin, et al.
Veröffentlicht: (2016)

Optimization of autotuning of programs using neural networks
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

Method of adaptation of cascade codes to ensure reliability of information transmission of wireless data transmission systems
von: Zaitsev, Serhii V., et al.
Veröffentlicht: (2023)

Encoding algorithms of information objects in the code of conditional deductions
von: Matov, O. Ya., et al.
Veröffentlicht: (2015)

Semisimple group codes and dihedral codes
von: Dutra, Flaviana S., et al.
Veröffentlicht: (2018)