Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
static program analysis
Traduction de "static program analysis" en allemand
statische Programmanalyse
statischer Programmanalyse
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures.
Die Forschungsschwerpunkte Wilhelms umfassen Programmiersprachen, Übersetzerbau, statische Programmanalyse, eingebettete Echtzeitsysteme und die Animation und Visualisierung von Algorithmen und Datenstrukturen.
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.
Jörg Herter works as a Senior Technical Consultant for AbsInt. He teaches static program analysis, embedded systems technology, compiler construction, and mathematics at the Saarland University of Applied Sciences and Cooperative Education.
Jörg Herter arbeitet als leitender technischer Berater bei AbsInt und hält regelmäßig Vorlesungen über statische Programmanalyse, eingebettete Systeme und Übersetzerbau an der Hochschule für Technik und Wirtschaft des Saarlandes sowie an der Universität Luxemburg.
Dynamic analysis is in contrast to static program analysis.
Dynamische Code-Analyse setzt im Gegensatz zur statischen Analyse ein laufendes Programm voraus.
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.
MTU uses our tools for verified compilation and static program analysis to ensure the correctness of control software for emergency power generators in power plants.
Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraftanlagen ein, zur statischen Analyse der Ausführungszeit und des Stackverbrauchs.
We want to reduce the memory requirements or even eliminate the XML overhead by embedding XML and XML query languages in widely used programming languages for sensor networks and by a static program analysis. Continuous queries: Querying sensor networks usually results in long time active in-network queries.
Durch die Einbettung von XML und XML Anfragesprachen in gängige Programmiersprachen für Sensorennetzwerke sowie durch statische Programmanalysen wollen wir den Speicherplatzbedarf von XML so verringern, dass im Idealfall der XML Overhead ganz eliminiert wird und somit die Benutzung von XML in Sensorennetzwerken ermöglicht wird.
Description: TamiFlex is a solution to the dreaded "reflection problem" in static program analysis for Java.
Beschreibung: TamiFlex ist eine Best-Effort Lösung für das „Reflektionsproblem" in statischer Programmanalyse in Java.
The main approaches using static program analysis are Symbolic Execution and Concolic Execution (Concrete&Symbolic Execution).
Die verbreiteten Ansätze, um mit statischer Programmanalyse Tests zu generieren, sind das Symbolic Execution und Concolic Execution (Concrete&Symbolic Execution).
Static Program Analysis: These approaches analyze data flow and control flow of a program under test.
Statissche Programmanalyse: Diese Ansätze analysieren den Daten- und Kontrollfluss des zu testenden Programms.
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.
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.
Synonymes et analogies de "static program analysis" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 15. Exacts: 15. Temps écoulé: 53 ms.
