Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
data-structures
Vertaling van "data-structures" in Frans
structures de données
We define a language to describe decomposable data-structures and descent schemes on them.
Nous définissons un langage de spécification pour définir des structures de données décomposables et des procédures de descente sur celles-ci.
From these results we develop new data-structures and algorithms for solving emptiness and reachability problems for timed automata and regular expressions.
L'application de ces résultats nous amène à des nouvelles structures de données et à des algorithmes pour le problème du langage vide dans les automates temporisés et les expressions régulières.
Description: Explains the Whys of algorithms and data-structures.
Description: Explication du Pourquoi des algorithmes et des structures de données.
METHODS CIRCUITS DATA-STRUCTURES DEVICES AND SYSTEM FOR OPERATING A NON-VOLATILE MEMORY DEVICE
PROCÉDÉS, CIRCUITS, STRUCTURES DE DONNÉES, DISPOSITIFS ET SYSTÈME D'EXPLOITATION D'UN DISPOSITIF DE MÉMOIRE NON VOLATILE
Gom is a generator of typed data-structures.
Gom est un générateur de structures de données typées.
Reasoning simultaneously over both the garbage collection algorithm itself and the implementation of the concurrent data-structures it uses would entail an undesired additional complexity.
Raisonner simultanément sur l'algorithme de collection et sur l'implantation des structures de données concurrentes manipulées générerait une complexité additionnelle indésirable.
From those equations, we can then determine in polynomial time the exact average-case cost for a given size of the input data-structures.
À partir de ces équations, nous pouvons ensuite déterminer en temps polynomial le coût moyen exact pour une valeur fixée de la taille des données.
From those equations, we can then determine in polynomial time the exact average-case cost for a given size of the input data-structures.
À partir de ces équations, nous pouvons ensuite déterminer en temps polynomial le coût moyen exact pour une valeur fixée de la taille des données.
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.
A recursive program may also use several unbounded stack and queue data-structures for its local-computation needs.
Un programme récursif peut également utiliser pour ses calculs locaux des structures de données non bornées, comme des files ou des piles.
To justify this simplification, we introduce in a second phase a methodology inspired by the work of Vafeiadis and dedicated to the proof of observational refinement for so-called "linearisable" concurrent data-structures.
Pour légitimer cette simplification, nous introduisons une méthode inspirée par les travaux de Vafeiadis et permettant la preuve de raffinement de structures de données concurrentes dites «linéarisables».
To ease this task, we propose to start the development with a high-level implementation embodied by functional programs manipulating inductive data-structures, that are easily verified in proof assistants such as Isabelle/HOL.
Pour la simplifier, nous proposons de démarrer le développement par une implémentation haut-niveau sous la forme de programmes fonctionnels sur des types de données inductifs facilement vérifiables dans des assistants à la preuve tels que Isabelle/HOL.
Learn some algorithmic data-structures not explored in IN101/ IN102.
Apprendre quelques structures de données algorithmiques non abordées en IN101 / IN102.
Uitdrukkingen met data-structures: voorbeelden en bijbehorende vertalingen in het Frans
Synoniemen voor data-structures in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 20. Exact: 20. Verstreken tijd: 41 ms.
