Cover Image

Validation of correctness of autotuning code transformations with rewriting rules technique

Saved in:

Bibliographic Details
Date:	2020
Main Author:	P. A. Ivanenko
Format:	Article
Language:	English
Published:	2020
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001163073
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 | LibNAS

Similar Items

Improving performance of Python code using rewriting rules technique
by: K. A. Zhereb
Published: (2020)

Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020)

A method of tuning programs on .Net platform with rewriting rules
by: T. A. Mamedov, et al.
Published: (2019)

Hybrid autotuning model with statistic modelling
by: Yu. Doroshenko, et al.
Published: (2016)

Optimization of autotuning of programs using neural networks
by: Yu. Doroshenko, et al.
Published: (2017)

Development of highly-parallel applications for graphical processing units using rewriting rules
by: Doroshenko, A.Yu., et al.
Published: (2026)

Rewrite and rewriting as a kind of plagiarism
by: O. Ryzhko
Published: (2015)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Yu. Doroshenko, et al.
Published: (2018)

Identification methodology of commercial advertising cultural codes: development and validation
by: A. M. Klimenkova
Published: (2014)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

Development and Validation of VVER-1000 Thermohydraulic Computer Model for TRACE Computer Code
by: S. E. Janovskij, et al.
Published: (2017)

Basic concepts and mathematical aspects in channel coding: Multi-alternative rules
by: A. K. Judin, et al.
Published: (2016)

Study of the corrective ability of sync codes for the matched processing decoder
by: A. V. Sadchenko, et al.
Published: (2018)

Exact algorithm for finding the largest correcting codes problem for Z-channel
by: V. P. Shilo, et al.
Published: (2017)

The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, et al.
Published: (2013)

The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)

Cem evi – rewriting tradition
by: M. Godzińska
Published: (2014)

Context term calculus for rewriting systems
by: P. C. Shevchenko
Published: (2018)

Technique of correction of mental state of pupils in comprehensive schools
by: Ju. Nagornova
Published: (2014)

Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility
by: O. R. Trofymenko, et al.
Published: (2018)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Problematic issues regarding the application of the rule of Part 3 of Art. 267 of the Civil Code of Ukraine
by: P. D. Huivan
Published: (2022)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Validation results of scale and MCNP calculation codes on data of benchmark critical experiments at SF-9 intransmutation
by: V. I. Borysenko, et al.
Published: (2019)

Error-correcting block cyclic code parameter recognition method based on generator polynomial
by: S. N. Nikolaev, et al.
Published: (2021)

Validation of the Geiger-Muller counter model of BDMG-04-02 using the Monte-Carlo technique
by: Fylonych, Yu., et al.
Published: (2021)

Protection of information objects from intentional collisions of inspection characteristics in error-correcting codes
by: Mаtоv, O. Y., et al.
Published: (2016)

Validation of WWER-440/213 Thermohydraulic Model for TRACE Computer Code Based on RNPP-1 Incident Data
by: S. E. Yanovskyi, et al.
Published: (2019)

Validation of the code package MCPV adapted for neutron transport calculation within WWER-440 reactor near-vessel space
by: A. M. Pugach, et al.
Published: (2019)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (2025)

Violation of the rules of procedural law as the reason for the &quot;correct&quot; resolution of a civil case
by: S. O. Koroied
Published: (2019)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Transformation of the legacy code on Fortran for scalability and cloud computing
by: Doroshenko, A.Yu., et al.
Published: (2018)

Transformation of the legacy code on Fortran for scalability and cloud computing
by: Yu. Doroshenko, et al.
Published: (2016)

Monte Carlo and molecular dynamics studies for the colour rewritable films
by: Okajima, H., et al.
Published: (2001)

UNBALANCED LOAD FLOW WITH HYBRID WAVELET TRANSFORM AND SUPPORT VECTOR MACHINE BASED ERROR-CORRECTING OUTPUT CODES FOR POWER QUALITY DISTURBANCES CLASSIFICATION INCLUDING WIND ENERGY
by: Rahmani, Ala eddine, et al.
Published: (2019)

A double Complement Law and a Difference Transformation Rule in Table Algebra
by: A. S. Senchenko
Published: (2013)

Integer cosine transforms for high-efficiency image and video coding
by: L. A. Gnativ
Published: (2016)

Some practical aspects of application administrative-legal responsibility for the mistress of customs rules according to article 476 of the Customs code of Ukraine
by: T. R. Khamzin
Published: (2018)

Issues of competition of the rules of the Code of Ukraine on Bankruptcy Procedures and the Law of Ukraine &quot;On executive proceedings” in cases of insolvency of individuals
by: S. V. Minkovskyi, et al.
Published: (2021)