Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Program flow analysis
Examples with "Program flow analysis" and their translation in Duits
Program flow analysis: Determination of the program flow through its control structures and predicate logic.
Programmflussanalyse: Bestimmen des Programmablaufs anhand der Kontrollstrukturen und genutzter Prädikatenlogik.
Andere resultaten
To this end, we develop a formal connection between PDG-based and type-based information flow analysis for sequential programs.
Wir entwickeln eine formale Verbindung zwischen PDG-basierter und typ-basierter Informationsflussanalyse für sequentielle Programme.
Static data flow analysis has been proposed as a means for automatically enumerating the data flows inside a program.
Statische Datenflussanalyse ist eine Technik, mithilfe derer automatisiert Datenflüsse in Programmen erkannt werden können.
ValSoft/Joana determines using a data flow analysis on the program dependence graph whether data of a certain security level may illicitly reach an unauthorized user of the system.
Mittels einer Datenflussanalyse auf dem Programmabhängigkeitsgraphen berechnet ValSoft/Joana dann, ob Daten einer bestimmten Sicherheitsstufe an unbefugte Benutzer des Systems gelangen können.
Capabilities, like Data Flow Analysis through applications and programs are unique in IT.
ITP's Fähigkeiten, wie z.B. die Analyse des Datenflusses durch Applikationen und Programme, sind in der IT einzigartig.
The runtime analysis with debugger allows to conduct critical parts of the program step by step so that you can follow the actual program flow and analyze and evaluate different variables.
Die Laufzeitanalyse mit dem Debugger erlaubt es, kritische Programmteile schrittweise auszuführen, um den tatsächlichen Programmablauf zu verfolgen und beliebige Variablen dabei zu überwachen und auszuwerten.
Information flow properties characterize such confidentiality requirements by restricting the flow of confidential information, and an information flow analysis permits to check that a program respects those restrictions.
Informationsflusseigenschaften beschreiben solche Vertraulichkeitsanforderungen, indem sie den Fluss vertraulicher Informationen einschränken. Informationsflussanalysen ermöglichen die Überprüfung von Programmen bezüglich dieser Einschränkungen.
These include COSMOSWorks for structural analysis, COSMOSMotion, for motion simulation and kinematics analysis and COSMOSFloWorks for fluid flow analysis, with robust capabilities normally found in only high-end CFD programs.
Dazu gehören COSMOSWorks für strukturmechanische Analysen, COSMOSMotion für Bewegungssimulationen und Kinematik-Analysen und COSMOSFloWorks für Fließverhaltensanalysen mit robusten Funktionen, die normalerweise nur in CFD-Spitzenprogrammen enthalten sind.
This thesis contributes to the field of language-based information flow analysis with a focus on detection and exploitation of information flow leaks in programs.
Diese Dissertation befasst sich mit dem Bereich der sprachbasierten Informationsflussanalyse und erweitert den aktuellen Kenntnisstand insbesondere in den Gebieten der Erkennung und Ausnutzung unsicheren Informationsflusses in Programmen.
We exploit the connection to transfer concepts from our type-based analysis for multi-threaded programs to PDGs, resulting in a provably sound PDG-based information flow analysis for multi-threaded programs.
Darauf basierend überführen wir Konzepte der typ-basierten Analysen für nebenläufige Programme in die Welt der PDGs, was in einer beweisbar korrekten PDG-basierten Informationsflussanalyse für nebenläufige Programme resultiert.
In addition to developing novel type-based information flow analyses we also explore information flow analysis for multi-threaded programs with program dependence graphs (PDGs) which is used successfully to analyze sequential programs.
Neben der Entwicklung typ-basierter Analysen betrachten wir auch Analysen für nebenläufige Programme mittels Programmabhängigkeitsgraphen (PDGs), die erfolgreich zur Analyse sequentieller Programme eingesetzt werden.
Validation of data flow results for program modules [2.35 to the validation of interprocedural data flow results for separated software modules, in order to enable the safe use of data flow results on devices which cannot afford to run the data flow analysis on their own.
Diese Arbeit beschreibt einen allgemeinen Ansatz zur Validierung von interprozeduralen Analyseergebnissen für einzelne Softwaremodule, um die sichere Nutzung von Datenflussergebnissen auf Zielplattformen zu ermöglichen, die die Analyse nicht eigenständig durchführen können.
Performance analysis and visualization of program flows
Leistungsanalyse und Visualisierung von Programmabläufen
Synoniemen voor Program flow analysis in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 944. Exact: 1. Verstreken tijd: 377 ms.
