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.
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.
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.
Incremental Technological Innovation Refinements in the use of conveyor drying for 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.
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.