Some axioms are common to many models and frequently suffice to derive complex results, for example, program transformations and refinement rules for program development.
Einige Axiome gelten in vielen Modellen. Sie reichen oft aus um komplexe Ergebnisse herzuleiten, zum Beispiel Programmtransformationen und Verfeinerungsregeln für die Programmentwicklung.
Tukan performs program analysis tasks such as for example impact analysis, application mining and redocumentation as well as automatic program transformations in the areas of application reengineering, software migration and software restructuring.
Tukan eignet sich für Aufgaben der Programm-Analyse, wie zum Beispiel Impact Analysis, Application Mining und Redokumentation, ebenso wie für automatische Programm-Transformationen in den Bereichen Application Reengineering, Software Migration und Software Restrukturierung.
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.
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.
These systems are automatically evaluated by fault injection experiments in order to find the most successful system with respect to the detection of processor faults. This system then serves as a basis for further program transformations which leads to a stepwise diversification process.
Die Systeme werden hierbei durch Fehlerinjektionsexperimente bewertet, um das bezüglich der Fähigkeit zur Erkennung von Prozessorfehlern erfolgreichste System zu ermitteln, welches dann als Ausgangspunkt für weitere Transformationen verwendet wird.
We state two program transformations that make imperative programs amenable to bound analysis with SCA. ^We evaluate the effectiveness of this approach on two C benchmarks. We further present results towards a theoretical characterization of the bounds expressible by SCA.
Wir evaluieren die Effizienz unserer Ansatzes anhand zweier Benchmarks für die Sprache C. Im Anschluss präsentieren wir theoretische Beiträge, die auf eine mathematische Charakterisierung jener Schranken, die mit SCA ausgedrückt werden können, hinarbeiten.
In order to improve recognized design defects, this thesis develops a graphical language for the specification of program transformations.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "Program transformations" en anglais