Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
static programs
Exemples avec "static programs" et leurs traductions en allemand
By own static programs preliminary dimensioning can be done in-house.
Durch eigene Statikprogramme können hausintern Vordimensionierungen vorgenommen werden.
All STAHL 2000 static programs come with a simple and very intuitive user interface.
Daher verfügen alle STAHL 2000 Statik Programme über eine schlichte und sehr intuitive Benutzeroberfläche.
Contact Service We assure you an efficient and timesaving performance of your technical orders by using our modern CAD-equipment and static programs as well as our professional skilled employees.
Kontakt Service Mit unseren modernen CAD-Anlagen und Statikprogrammen sowie unseren fachlich geschulten Mitarbeitern können wir Ihnen eine rationelle und zeitsparende Ausführung Ihrer technischen Aufträge zusichern.
Autres résultats
Dynamic analysis is in contrast to static program analysis.
Dynamische Code-Analyse setzt im Gegensatz zur statischen Analyse ein laufendes Programm voraus.
The program analyzer generator PAG supports the implementation of static program analyzers.
Unser Programmanalysatorengenerator PAG unterstützt Sie bei der Implementierung von statischen Programmanalysen.
Astrée, a static program analyzer designed to prove the absence of runtime errors in safety-critical C programs.
Astrée ermöglicht den Nachweis der Abwesenheit von Laufzeitfehlern in sicherheitskritischen C-Programmen.
Steffen Jost researched a novel static program analysis that automatically infers formally guaranteed upper bounds on the use of compositional quantitative resources.
Steffen Jost stellt eine neuartige statische Programmanalyse vor, welche vollautomatisch Schranken an den Verbrauch quantitativer Ressourcen berechnet.
Parametric In static program analysis, there is always a trade-off between analysis precision and analysis cost.
Bei der statischer Programmanalyse gilt es stets, zwischen Analysepräzision und Rechenaufwand abzuwägen.
Dataflow-based static program analyses need to know the reaching definitions arriving at the program's statements.
Datenfluss-basierte statische Programmanalysen benötigen Informationen zu den an einer Programmstelle eintreffenden gültigen Definitionen.
This thesis presents static program analysis methods and tool support considering the variability and the configuration in SPLs.
Diese Arbeit stellt daher statische Programmanalysemethoden und Werkzeuge vor, welche Variabilität bzw. Konfiguration in Software Produktlinien unterstützen.
Astrée, a static program analyzer designed to prove the absence of runtime errors in safety-critical C programs.
Nachweis der Abwesenheit von Laufzeitfehlern Unser Programm-Analysator Astrée überprüft C-Programme automatisch auf Laufzeitfehler.
We developed several tools for the Internet, for structuring and documenting source code and for static program analysis.
Es wurde diverse Werkzeuge für das Internet, für die Strukturierung und Dokumentation von Quellcode und für die statische Programmanalyse entwickelt.
While static program analysis for proving safety properties or finding bugs usually targets source code, in many potential analysis scenarios only a binary is available.
Statische Programmanalyse zum Beweis von Sicherheitseigenschaften oder zum Entdecken von Fehlern zielt normalerweise auf Quelltext ab, in vielen potentiellen Analyseszenarien ist jedoch nur eine Binärdatei verfügbar.
Synonymes et analogies de "static programs" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 464. Exacts: 3. Temps écoulé: 181 ms.
