Download for Windows Premium
-50% Premium
Publiciteit
incremental refinement
affinement incrémentiel m
We show how, through simple reasoning about transactions, it becomes easier to apply formal verification, incremental refinement and high-level synthesis.
Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d'appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau.
You should use OCaml classes when you need inheritance, that is, incremental refinement of data and their functionality.
Les classes d'OCaml s'imposent lorsqu'on a besoin d'héritage, c'est-à-dire d'un raffinement incrémental des données et de leurs fonctionnalités.
The RIMEL (incremental refinement of event models) project was selected by the Agence National de la Recherche in the context of the 2006 edition of the "Security and Information Technology" program.
Le projet RIMEL (Raffinement Incrémental de Modèles événementiELs) a été retenu par l'Agence Nationale de la Recherche, dans le cadre de l'édition 2006 du programme "Sécurité et Informatique".
We show how, through simple reasoning about transactions, it becomes easier to apply formal verification, incremental refinement and high-level synthesis.
Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d'appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau.

Andere resultaten

There are fundamental, major breakthroughs, and there are incremental refinements of those breakthroughs.
Il y a des percées majeures, fondamentales, et il y a des améliorations progressives de ces percées.
In addition, incremental refinements were made to the remainder of the acquisition cost model to ensure the most current cost data is used.
De plus, des précisions supplémentaires ont été apportées au reste du modèle de coût d'acquisition pour assurer l'utilisation des plus récentes données sur les coûts.
usually with no more than incremental refinements.
qui s'affinent, plus qu'elles ne changent.
The correlation surfaces are modeled as quadratic or other parametric surfaces to allow easy recognition and rejection of outliers and to simplify computation of incremental refinements for ego-motion and structure.
Les surfaces de corrélation sont modelées en surfaces quadratiques ou autres surfaces paramétriques pour faciliter la reconnaissance et le rejet des valeurs aberrantes et pour simplifier le calcul des affinages incrémentaux du mouvement de l'observateur et de la structure.
Incremental changes lead to refinements in processes and products.
Les changements graduels mènent à un perfectionnement des processus et des produits.
Incremental Technological Innovation Refinements in the use of conveyor drying for OSB.
Projections de la technologie Perfectionnement du séchoir à bandes pour l'OSB.
It includes incremental improvements and refinements over these versions which may improve the overall user experience.
Il comporte des améliorations et corrections cumulatives par rapport à ces versions, susceptibles d'améliorer l'expérience utilisateur globale.
It includes incremental improvements and refinements over these versions which may improve the overall user experience.
Il intègre des améliorations et perfectionnements supplémentaires par rapport à ces versions, pouvant améliorer l'expérience utilisateur globale.
This largely reduces the complexity of search allowing heuristics for sub-optimal solutions and, by mean of incremental algorithmic refinements permits to attain the expected performance requirements.
Cela réduit largement la complexité de l'heuristique permettant une recherche pour des solutions sous-optimales et, au moyen d'affinements algorithmiques incrémentaux, permet d'atteindre les exigences de performance attendues.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor incremental refinement in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
mop: cleaning tool with absorbent material on a handle
Ontdek het woord
Publiciteit

Resultaten: 24. Exact: 4. Verstreken tijd: 39 ms.