We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
The frameworks can be extended by customer specific components for program analysis and program transformation.
Die Systeme können um kundenspezifische Komponenten zur Programm-Analyse und zur Programm-Transformation erweitert werden.
Program analysis (Dynamic and static validation of program properties)
Programmanalysen (Dynamische und statische Überprüfung von Programmeigenschaften)
The graph-based high-level representation is intended for program analysis and transformation.
Die graph-basierte high-level Darstellung eignet sich besonders für Programmanalysen und Transformationen.
other program analysis and completion techniques based on term rewriting
Weitere Programmanalyse und -vervollständigungsverfahren, die auf Termersetzung beruhen
interpretable artificial intelligence, probabilistic programming, applications of program analysis to security and reliability
Interpretierbare künstliche Intelligenz, probabilistische Programmierung, Anwendungen der Programmanalyse auf Sicherheit und Zuverlässigkeit
The focus is mostly on commercial-off-the-shelf binaries, so methods such as static and dynamic program analysis as well as reverse engineering are used.
Der Schwerpunkt liegt meist auf Commercial-off-the-shelf-Binarys; daher kommen Methoden wie statische und dynamische Programmanalysen sowie Reverse Engineering zum Einsatz.
Any program analysis taking place at a later point in time can benefit from the existing process documentation.
jede weitere Programmanalyse zu einem späteren Zeitpunkt kann bereits von der vorhandenen Prozess-Dokumentation profitieren.
program analysis, program synthesis, application of machine learning to programming languages, concurrency
Programmanalyse, Programmsynthese, Anwendung maschinellen Lernens auf Programmiersprachen, Parallelität
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.
His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.
Seine Forschung konzentriert sich auf die verschiedenen Facetten der formalen Methoden, die von Programmanalyse und Überprüfung, um die Synthese Workflow, und testbasierte Modellierung.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.