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

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

Static analysis of .NET programs using rewriting rules
von: H. A. Mamedov, 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)

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

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

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)

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

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

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

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)

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)

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)

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

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)

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

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)

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

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

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

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)

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)

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

Transformation of the legacy code on Fortran for scalability and cloud computing
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Transformation of the legacy code on Fortran for scalability and cloud computing
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)

Monte Carlo and molecular dynamics studies for the colour rewritable films
von: Okajima, H., et al.
Veröffentlicht: (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
von: Rahmani, Ala eddine, et al.
Veröffentlicht: (2019)

A double Complement Law and a Difference Transformation Rule in Table Algebra
von: A. S. Senchenko
Veröffentlicht: (2013)

Integer cosine transforms for high-efficiency image and video coding
von: L. A. Gnativ
Veröffentlicht: (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
von: T. R. Khamzin
Veröffentlicht: (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
von: S. V. Minkovskyi, et al.
Veröffentlicht: (2021)