Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
constraint solving
Vertaling van "constraint solving" in Frans
résolution de contrainte
One embodiment of the present invention provides a system that reuses information associated with a constraint solving operation for a problem domain.
Un mode de réalisation de la présente invention porte sur un système qui réutilise des informations associées à une opération de résolution de contraintes pour un domaine de problème.
Indeed, they implement symbolic backward search algorithm based on complementary approaches: proof and constraint solving.
En effet, elles mettent en œuvre une recherche symbolique vers l'arrière fondée sur des approches complémentaires : la preuve et la résolution de contraintes.
In this thesis, we present an approach combining model transformation with constraint solving to generate and explore these model sets.
Dans ce manuscrit, nous proposons une solution alliant transformation de modèles et programmation par contraintes pour permettre l'expression et l'exploration de ces ensembles de modèles.
A system and method for testing the quality of a simulation model for the DUT (device under test) with dynamic constraint solving and test generation for the testing and verification process.
Système et procédé pour tester la qualité d'un modèle de simulation de dispositif à l'essai utilisant une résolution de contrainte dynamique et une production d'essais pour le procédé d'essai et de vérification.
GNU Prolog is a standards-compliant Prolog compiler with constraint solving over finite domains.
GNU Prolog est un compilateur Prolog à résolution de contrainte sur des domaines finis, compatible avec la norme ISO.
Quantified real constraint solving using modal intervals with applications to control
Résolution de contraintes réelles quantifiées en utilisant les intervalles modaux avec applications à l'automatique
Provided that targeted biological properties are expressed in the form of LTL formulas, LTL model-checking techniques are combined with symbolic execution and constraint solving techniques to select discrete models satisfying these properties.
Sous réserve que les propriétés biologiques d'intérêt s'expriment sous la forme de formules LTL, les techniques de model-checking LTL sont combinées à celles d'exécution symbolique et de résolution de contraintes afin de sélectionner les modèles satisfaisant ces propriétés.
It anticipated a number of features of Prolog such as negation as failure, aggregation operators, the central role of backtracking and constraint solving.
Il prévoit un certain nombre de fonctionnalités de Prolog comme la négation par l'échec, les opérateurs d'agrégation, le rôle central de marche arrière et la résolution de contraintes.
It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving.
Il combine les capacités de modélisation de haut niveau de la programmation par ensembles de réponses (ASP) avec des techniques de pointe du domaine de la résolution de contraintes booléennes.
The "Contraintes" group investigates the theoretical foundations, design, implementation and applications of rule-based modeling languages and constraint solving techniques in two main domains: combinatorial optimization and computational systems biology.
Présentation de l'équipe L'équipe-projet CONTRAINTES étudie les fondements théoriques, la conception, les implémentations et les applications des langages de règles et des techniques de résolution de contraintes dans deux domaines: l'optimisation combinatoire et la biologie des systèmes.
Results showed that pairs of participants performed a constraint solving task faster and used more deictic instructions with Shape- Compare.
Les résultats ont montré qu'avec ShapeCompare, des paires de participants effectuaient plus rapidement une tâche de résolution de contraintes multiples et utilisaient plus d'instructions déictiques.
Abstract: These last years have seen the development of several constraint solving techniques dedicated to the testing of software systems, in an area called "Constraint-Based Testing".
Résumé : Ces dernières années, les recherches en matière de Test Logiciel ont conduit au développement de techniques de résolution de contraintes dédiées, dans ce qui est appelé "le test à base de contraintes".
It deals with constraint solving and simplification, and it is parameterized by the definition of a type algebra.
Il effectue la résolution et la simplification des contraintes, et est paramétré par la donnée d'une algèbre de types.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor constraint solving in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 26. Exact: 26. Verstreken tijd: 34 ms.
