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.
Datenflussanalyse
The method of claim 1, wherein the analyzing (508) comprises performing dataflow analysis (530) on the intermediate code (503).
Das Verfahren gemäß Anspruch 1, bei dem das Analysieren (508) ferner ein Durchführen einer Datenflussanalyse (530) an dem Zwischencode (503) aufweist.
It's features include multiple branch prediction, dataflow analysis and speculative execution all of which help to ensure the efficiency of the processor and to boost overall performance.
Die P6-Mikroarchitektur bietet Merkmale wie Multiple Branch Prediction, Datenflussanalyse und Speculative Execution, wodurch die Effizienz des Prozessors und eine gesteigerte Gesamtleistung gewährleistet werden.
Dataflow analysis and optimizing transformations with the goal to obtain a better program behavior
Datenflussanalyse und optimierende Transformationen zur Verbesserung des Programmverhaltens
A METHOD AND SYSTEM FOR ASSIGNING REGISTER CLASS THROUGH EFFICIENT DATAFLOW ANALYSIS
VERFAHREN UND SYSTEM ZUM ZUWEISEN DER REGISTERKLASSE DURCH EFFIZIENTE DATENFLUSSANALYSE
Advanced dataflow analysis prunes infeasible program paths from the exploration.
The method of claim 6 wherein the backward dataflow analysis is iteratively performed until said live set of variables remain constant between successive iterations.
Verfahren nach Anspruch 6, wobei die Rückwärts-Datenflussanalyse iterativ ausgeführt wird, bis die lebendige Variablengruppe zwischen aufeinander folgenden Iterationen konstant bleibt.
Optimizing compiler using interprocedural dataflow analysis
Further Firm implements a new concept to model exceptions reducing the loss of preciseness of dataflow analysis if exceptions are modeled as control flow changes.
Weiter implementiert Firm ein neues Konzept zur Darstellung von Ausnahmen. Diese Darstellung minimiert den Informationsverlust bei Datenflussanalysen wenn Ausnahmen als Steuerflussänderungen dargestellt werden.
The Dataflow analysis engine incorporates an advanced, industry-proven Satisfiability Modulo Theories (SMT) solver engine* - a technology first for deep-flow static analysis products.
Die Datenflussanalyse-Engine verfügt über eine fortschrittliche industriegeprüfte SMT-Solver-Engine (Satisfiability Modulo Theories). Diese Technologie wurde für tiefgreifende statische Analysetools entwickelt.
On top of that, dataflow analysis and symbolic execution finds additional problems in program logic such as buffer overflows and data taint.
Zudem finden Datenflussanalyse und symbolische Ausführung Probleme in der Programmlogik wie zum Beispiel Buffer Overflows oder Tainted Data.
The Programs from Proofs approach uses the proof to restructure the program such that a simple dataflow analysis is sufficient to verify the restructured program.
Das Konzept Programs from Proofs nutzt die Informationen der Verifikation, um ein Programm zu erzeugen, dass der Verbraucher mit einer Datenflussanalyse verifizieren kann.
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.