Buchumschlag

Validation of correctness of autotuning code transformations with rewriting rules technique

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
1. Verfasser:	P. A. Ivanenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2020
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001163073
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

Rewrite and rewriting as a kind of plagiarism
von: O. Ryzhko
Veröffentlicht: (2015)

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

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

Identification methodology of commercial advertising cultural codes: development and validation
von: A. M. Klimenkova
Veröffentlicht: (2014)

The Non-Deterministic Strategy of Rewriting
von: A. A. Letichevsky, et al.
Veröffentlicht: (2013)

The Non-Deterministic Strategy of Rewriting
von: Letichevsky, A.A., et al.
Veröffentlicht: (2013)

Cem evi – rewriting tradition
von: M. Godzińska
Veröffentlicht: (2014)

Context term calculus for rewriting systems
von: P. C. Shevchenko
Veröffentlicht: (2018)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

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

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

Basic concepts and mathematical aspects in channel coding: Multi-alternative rules
von: A. K. Judin, et al.
Veröffentlicht: (2016)

Study of the corrective ability of sync codes for the matched processing decoder
von: A. V. Sadchenko, et al.
Veröffentlicht: (2018)

Exact algorithm for finding the largest correcting codes problem for Z-channel
von: V. P. Shilo, et al.
Veröffentlicht: (2017)

Technique of correction of mental state of pupils in comprehensive schools
von: Ju. Nagornova
Veröffentlicht: (2014)

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

Problematic issues regarding the application of the rule of Part 3 of Art. 267 of the Civil Code of Ukraine
von: P. D. Huivan
Veröffentlicht: (2022)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

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

Monte Carlo and molecular dynamics studies for the colour rewritable films
von: Okajima, H., et al.
Veröffentlicht: (2001)

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

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

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

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

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
von: H. Abdelouahed
Veröffentlicht: (2021)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

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

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

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