Télécharger pour Windows Premium
Inscription Se connecter avec Google Se connecter avec Apple
Reverso Premium
Publicité
Programmpfade

Traduction de "Programmpfade" en anglais

Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
program paths
Die kombinierten Ergebnisse der Cache- und der Pipeline-Analyse werden benutzt, um die Ausführungszeit der einzelnen Programmpfade zu berechnen.
The combined results of the cache and pipeline analyses are used to compute the execution time of program paths.
Funktionalität, separate Programmpfade in G-Code zu generieren, von denen ganze Layup Sequenzen betrieben werden
o functionality to generate separate program paths in G-code and link them to form lay-up sequences
Platzhalter für Programmpfade, URLs und IP-Adressen.
Placeholders for program paths, URLs and IP addresses.
Eine leistungsfähige Datenflussanalyse schließt dabei unausführbare Programmpfade von der Analyse aus.
Advanced dataflow analysis prunes infeasible program paths from the exploration.
TimeWeaver analysiert alle möglichen Programmpfade und berechnet den längsten Pfad basierend auf den Ausführungszeiten von Trace-Segmenten der ermittelten Echtzeit-Traces.
TimeWeaver analyses all potential execution paths and computes the longest path based on the execution times of trace segments observed in real-time traces.
Im nächsten Schritt analysiert CodeSonars Symbolic-Execution-Engine die Programmpfade und Programmvariablen, sowie deren Verknüpfungen untereinander.
In the next step CodeSonar's symbolic execution engine explores program paths, reasoning about program variables and how they relate.
Graphviz DOT ist ein kleines PlugIn für Doxygen, das Abhängigkeiten und Programmpfade bildlich darstellen kann, aber dazu gleich mehr...
Graphviz DOT is a small plug-in for Doxygen, which allows graphical outputs, but later more about this...
Ein weiterer wichtiger Faktor besteht darin, dass die Programmpfade des Roboters offline über FANUCs Roboguide Software eingelesen werden.
Another key feature is the fact that the robot program paths are taught off-line using FANUC's Roboguide Software.
Beispielsweise werden Prozeduren während der Analyse zusammengefasst und komprimiert sowie Programmpfade in einer Abfolge untersucht, die ein Paging minimiert.
For example, procedures summaries are refined and compacted during the analysis, and paths are explored in an order that minimizes paging.
Dann untersucht die "symbolic execution engine" des Werkzeugs die Programmpfade und die Relation der Variablen zueinander.
Afterwards, the symbolic execution engine of CodeSonar explores program paths, reasoning about program variables and their relation.
Die Verfeinerung gibt des weiteren präzise Invarianten für die einzelnen Ketten an, eliminiert nicht erreichbare Programmpfade und beweist die Terminierung des Programms.
The refinement also infers precise invariants for each of the chains, discards unfeasible execution patterns and proves termination. 3.
Anschließend werden irrelevante Programmpfade mittels Theorem-Proving-Technologie entfernt um sie von der Analyse auszunehmen.
During this process infeasible program paths are pruned from the exploration by theorem-proving technology. Click to enlarge
save batch file ->Speichert die gewählten Optionen und Programmpfade in einer .bat Datei ab.
save batch file ->Saves your options and application path(s) into a .bat file.
Aucun résultat pour cette recherche.

Synonymes et analogies de "Programmpfade" en allemand

Publicité

Résultats: 14. Exacts: 14. Temps écoulé: 18 ms.