Einige Axiome gelten in vielen Modellen. Sie reichen oft aus um komplexe Ergebnisse herzuleiten, zum Beispiel Programmtransformationen und Verfeinerungsregeln für die Programmentwicklung.
Some axioms are common to many models and frequently suffice to derive complex results, for example, program transformations and refinement rules for program development.
Die Grundidee des Autotunings besteht darin, mehrere Varianten eines Programms basierend auf Programmtransformationen und Optimierungstechniken wie Loop-Interchange, Loop-Tiling oder Scheduling (Ablaufplanung) zu erzeugen.
The key idea of auto-tuning is the generation of several implementation variants of an algorithm based on program transformations and optimization techniques such as loop interchange, loop tiling, and scheduling.
Aufbauend darauf wird eine grafische Sprache zur Spezifikation von Programmtransformationen entwickelt, die Schwachstellen in bessere Lösungen transformieren.
In order to improve recognized design defects, this thesis develops a graphical language for the specification of program transformations.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "Programmtransformationen" in German
