Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Frans

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

control-flow

/kən'troʊl floʊ/

Vertaling van "control-flow" in Frans

flot m

flux de commande

de flux de contrôle

de débits de commande

control-flow

The invention is directed to a new technique to analyze the control-flow, i.e., the workflow graph (100) of a business process model, which is called symbolic 10 execution.

La présente invention concerne une nouvelle technique pour analyser le flux de commande, c'est-à-dire, le graphe de flux de travaux (100) d'un modèle de processus d'affaires, désigné exécution symbolique.

COMPUTER-IMPLEMENTED METHOD, COMPUTER PROGRAM PRODUCT AND SYSTEM FOR ANALYZING A CONTROL-FLOW IN A BUSINESS PROCESS MODEL

PROCÉDÉ INFORMATISÉ, PROGICIEL ET SYSTÈME POUR L'ANALYSE D'UN FLUX DE COMMANDE DANS UN MODÈLE DE PROCESSUS D'AFFAIRES

At execution time, control-flow statements, variable assignment, expression evaluation, etc., are handled by the standalone database server.

Au moment de l'exécution, les énoncés de flux de contrôle, l'affectation des variables, l'évaluation des expressions etc. sont gérés par le serveur de base de données autonome.

In particular, developers must deal with memory and control-flow divergences.

En particulier, les développeurs doivent faire face à la divergence mémoire et la divergence de contrôle.

This model requires hardware or software mechanisms to keep track of control-flow divergence and convergence among threads.

Ce modèle nécessite des mécanismes matériels ou logiciels pour gérer la divergence et la reconvergence de contrôle entre threads.

This parameter should be removed when the delay slot code is rewritten to maintain the control-flow graph.

Ce paramètre devrait être supprimé quand le code de tranche de temps sera réécrit pour maintenir le graphe du flux de contrôle.

We present a new classification of these techniques based on their common characteristic, namely traversals of the control-flow graph based on lists of paths.

Nous présentons une classification de ces techniques sur la base de leur caractéristique commune, un parcours de graphe à base de liste.

It features increased modularity allowing for the specification of complex control-flow patterns, data-structures, and different intruder models.

Il se caractérise par une modularité accrue qui lui permet de spécifier des modèles complexes de flux de contrôle, des structures de données et différents modèles d'intrus.

Thus a speculative data attack could overwrite read-only data, which include code pointers, vtables, and control-flow mitigation metadata.

Ainsi, une attaque de données spéculative peut écraser des données en lecture seule, qui incluent des pointeurs de code, des vtables et des métadonnées de mitigation de flux de contrôle.

a control-flow dataflow graph pipelined loop structure that includes a loop body that processes an input value to generate an output value in successive iterations of the loop body

une structure de boucle en pipeline d'un diagramme de contrôle de flux de données qui comprend un corps de boucle qui traite une valeur d'entrée pour générer une valeur de sortie dans des itérations successives du corps de boucle

We discuss in particular how to automatically recover the control-flow graph of binary self-modifying programs, and how to automatically prove that a program written in C (in which pointer arithmetic is pervasive) cannot produce a run-time error.

Nous présentons notamment comment reconstruire automatiquement le graphe de flot de contrôle de programmes binaires auto-modifiants et comment prouver automatiquement qu'un programme écrit en C (où l'arithmétique de pointeurs est omniprésente) ne peut pas produire d'erreurs à l'exécution.

In particular, our security analysis proves that the type-safety property, the control-flow integrity and the application isolation can be tampered with by the combination of adequate fault injections and malicious applications.

En particulier, notre analyse sécuritaire permet de démontrer que la propriété de sûreté du typage, l'intégrité du flot de contrôle, ainsi que le mécanisme d'isolation des applications peuvent être contournés et exploités par des combinaisons adéquates.

Furthermore we show that a modification of the classical size-types approach allows us to perform a fine control-flow analysis in a higher-order language.

D'un autre côté nous modifions l'approche classique de la terminaison à base de tailles et montrons que le système modifié permet une analyse fine du flot de contrôle dans un langage d'ordre supérieur.