Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of a solver
Vertaling van "of a solver" in Frans
d'un solveur
This approach allows us to easily verify properties like correctness, completeness, and termination of a solver.
Cette approche nous permet de vérifier facilement des propriétés telles que la correction, la complétude et la terminaison d'un solveur.
Finally, there was also a substantial model numerical scheme development activity such as that of a solver for atmospheric chemistry models.
Finalement, un effort important a porté sur le développement de schémas numériques tel que celui d'un solveur pour des modèles de chimie atmosphérique.
It has been used for testing purposes, through the implementation of a solver, named Heron.
Celui-ci a été utilisé pour les problématiques de test des systèmes, à travers l'implantation d'un solveur nommé Heron.
On the one hand, the implementation of a solver for Parametric Linear Programming (PLP) problems led to improved scalability both in the dimension and in the number of constraints.
D'un côté, l'implémentation d'un solveur de problèmes de programmation linéaire paramétrique (PLP) a mené à une meilleure efficacité tant en nombre de contraintes que de générateurs.
Thanks to these theoretical results, we can solve the Riemann problem with the help of a solver written like tensorial product of Heaviside functions (or like a sum of tensorial product of Heaviside functions) in order to obtain the weak solutions.
Grâce à ces résultats théoriques, on résout le problème de Riemann 2D à l'aide d'un solveur s'écrivant comme produit tensoriel de fonctions type Heaviside (ou comme somme de produit tensoriel de fonctions type Heaviside) afin d'obtenir les solutions faibles.
The tool consists of a solver dedicated to solving the Navier-Stokes equations using a weakly compressible approach.
L'outil est composé d'un solveur dédié à la résolution des équations de Navier-Stokes avec une approche faiblement compressible.
NaSt3DGP is an implementation of a solver for the incompressible Navier-Stokes equations in three dimensions.
NaSt3DGP est une implémentation d'un solveur pour les incompressibles équations de Navier-Stokes en trois dimensions.
Following summary presents selection criteria of a solver interface, taking into account the characteristics of the systems that you model and simulate.
The optimal configuration of a number of optional pipeline stages within the data paths of systems-on-chip is determined by application of a solver.
Selon l'invention, la configuration optimale d'un certain nombre d'étages de pipeline facultatifs dans des chemins de données de systèmes sur puce est déterminée par l'application d'un résolveur.
The development of a solver for the simulation of the dynamic of a bubble cloud is started.
Dans un deuxième temps, l'élaboration d'un code de calcul permettant la simulation de la dynamique d'un nuage de bulles est débutée.
I developed a software called CSP Singer which, given a trace of a solver (i.e. the list of actions taken before finding a solution or proving insatisfiability) and a mapping between trace events and musical events, generates the corresponding MIDI file.
J'ai développé un logiciel du nom de CSP Singer qui, étant donné la trace de résolution d'un CSP, et un ensemble de correspondances entre événements musicaux et événements de trace, génère un fichier MIDI.
We first introduce in this manuscript a Communication-Avoiding ILU preconditioner, denoted CA-ILU(k), that factors A in parallel and then is applied at each iteration of a solver as GMRES, both steps without communication.
Ce manuscrit présente CA-ILU(k), un nouveau préconditionneur qui minimise les communications autant durant la phase de factorisation que durant son application à chaque itération d'un solveur tel que GMRES.
It consists of a solver library and a set of Grasshopper components.
Il est composé d'une bibliothèque de résolveurs et d'un ensemble de composants pour Grasshopper.
Synoniemen voor of a solver in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 17. Verstreken tijd: 76 ms.
