Зображення обкладинки

Validation of correctness of autotuning code transformations with rewriting rules technique

Збережено в:

Бібліографічні деталі
Дата:	2020
Автор:	P. A. Ivanenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2020
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001163073
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: Ivanenko, P.A.
Опубліковано: (2020)

Improving performance of Python code using rewriting rules technique
за авторством: K. A. Zhereb
Опубліковано: (2020)

Improving performance of Python code using rewriting rules technique
за авторством: Zhereb, K.A.
Опубліковано: (2020)

Static analysis of .NET programs using rewriting rules
за авторством: H. A. Mamedov, та інші
Опубліковано: (2020)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

Hybrid autotuning model with statistic modelling
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2016)

Hybrid autotuning model with statistic modelling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

A method of tuning programs on .Net platform with rewriting rules
за авторством: T. A. Mamedov, та інші
Опубліковано: (2019)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

Autotuner and visualization for meteorological forecasting model
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2025)

Optimization of autotuning of programs using neural networks
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Rewrite and rewriting as a kind of plagiarism
за авторством: O. Ryzhko
Опубліковано: (2015)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2018)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)

The Non-Deterministic Strategy of Rewriting
за авторством: A. A. Letichevsky, та інші
Опубліковано: (2013)

Identification methodology of commercial advertising cultural codes: development and validation
за авторством: A. M. Klimenkova
Опубліковано: (2014)

Cem evi – rewriting tradition
за авторством: M. Godzińska
Опубліковано: (2014)

Context term calculus for rewriting systems
за авторством: P. C. Shevchenko
Опубліковано: (2018)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Development and Validation of VVER-1000 Thermohydraulic Computer Model for TRACE Computer Code
за авторством: S. E. Janovskij, та інші
Опубліковано: (2017)

Basic concepts and mathematical aspects in channel coding: Multi-alternative rules
за авторством: A. K. Judin, та інші
Опубліковано: (2016)

Study of the corrective ability of sync codes for the matched processing decoder
за авторством: A. V. Sadchenko, та інші
Опубліковано: (2018)

Exact algorithm for finding the largest correcting codes problem for Z-channel
за авторством: V. P. Shilo, та інші
Опубліковано: (2017)

Technique of correction of mental state of pupils in comprehensive schools
за авторством: Ju. Nagornova
Опубліковано: (2014)

Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility
за авторством: O. R. Trofymenko, та інші
Опубліковано: (2018)

Problematic issues regarding the application of the rule of Part 3 of Art. 267 of the Civil Code of Ukraine
за авторством: P. D. Huivan
Опубліковано: (2022)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Monte Carlo and molecular dynamics studies for the colour rewritable films
за авторством: Okajima, H., та інші
Опубліковано: (2001)

Validation results of scale and MCNP calculation codes on data of benchmark critical experiments at SF-9 intransmutation
за авторством: V. I. Borysenko, та інші
Опубліковано: (2019)

Validation of the Geiger-Muller counter model of BDMG-04-02 using the Monte-Carlo technique
за авторством: Fylonych, Yu., та інші
Опубліковано: (2021)

Error-correcting block cyclic code parameter recognition method based on generator polynomial
за авторством: S. N. Nikolaev, та інші
Опубліковано: (2021)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
за авторством: H. Abdelouahed
Опубліковано: (2021)

Validation of WWER-440/213 Thermohydraulic Model for TRACE Computer Code Based on RNPP-1 Incident Data
за авторством: S. E. Yanovskyi, та інші
Опубліковано: (2019)

Protection of information objects from intentional collisions of inspection characteristics in error-correcting codes
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)

Validation of the code package MCPV adapted for neutron transport calculation within WWER-440 reactor near-vessel space
за авторством: A. M. Pugach, та інші
Опубліковано: (2019)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

TermWare-3 – term rewriting system, based on context-term calculus
за авторством: R. S. Shevchenko, та інші
Опубліковано: (2019)