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

Validation of correctness of autotuning code transformations with rewriting rules technique
by: Ivanenko, P.A.
Published: (2020)

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

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

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

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

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

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

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

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

Autotuner and visualization for meteorological forecasting model
by: Ivanenko, P.A., et al.
Published: (2025)

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

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)

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

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

The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, 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)

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

Context term calculus for rewriting systems
by: Shevchenko, R.S.
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)

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)

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

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)

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 WWER-440/213 Thermohydraulic Model for TRACE Computer Code Based on RNPP-1 Incident Data
by: S. E. Yanovskyi, et al.
Published: (2019)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
by: H. Abdelouahed
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 the code package MCPV adapted for neutron transport calculation within WWER-440 reactor near-vessel space
by: A. M. Pugach, et al.
Published: (2019)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

TermWare-3 – term rewriting system, based on context-term calculus
by: R. S. Shevchenko, 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)

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)