Suchergebnisse - "validation of code transformations correctness"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- UDC 004.4`2 1
- algebra-dynamic models 1
- automation of parallel program optimization 1
- autotuning 1
- rewriting rules technique 1
- validation of code transformations correctness 1
- УДК 004.4`2 1
- автоматизация оптимизации параллельных программ 1
- автоматизація оптимізації паралельних програм 1
- автотьюнинг 1
- автотьюнінг 1
- алгебро-динамические модели 1
- алгебро-динамічні моделі 1
- перевірка коректності перетворень 1
- проверка корректности преобразований 1
- техника переписывающих правил 1
- техніка переписувальних правил 1
-
1
Validation of correctness of autotuning code transformations with rewriting rules technique
Veröffentlicht 2020
Volltext
Artikel