Publications scientifiques

Cycle accurate simulation

model

generation for soc prototyping
... We first introduce a new

computation model

that can be used for cycle accurate simulation of register transfer level synthesized hardware.
...
... Nous introduisons d’abord une nouvelle manière de modéliser les descriptions de circuit de niveau transfert de registre qui peut être utilisée pour créer des modèle de simulation précis au cycle et au bit près...
Europe / activité agricole / recherche et propriété intellectuelle - core.ac.uk - PDF: citeseerx.ist.psu.edu
Logique, réalisabilité et concurrence
... This study leads us to the definition of a more geometric computation model that allows a formal exploration of the notion of causality in concurrent calculi....
Europe - core.ac.uk - PDF: tel.archives-ouvertes.fr
Développement numérique d’un macro-elément pour le calcul des pieux sous sollicitation axiales, transversales et groupe de pieux
... This model reduces computational costs because the nonlinearities related to the SSI are concentrated in particular points of the computation model....
... Ce modèle réduit les coûts de calcul car les non-linéarités liées au SSI sont concentrées dans des points particuliers du modèle de calcul...
recherche et propriété intellectuelle - core.ac.uk -
A quality computation model for software architecture... The set of metrics obtained from such quality model can then be used to evaluate candidates, whether designs, architectures or systems using a quality computation model....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Kernel andorra prolog and its computation modelThe logic programming language framework Kernel Andorra Prolog is defined by a formal computation model....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
The computation modelContents 1 The computation model 1 2 Syntax 1 2.1...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Kernel andorra prolog and its computation modelThe logic programming language framework Kernel Andorra Prolog is defined by a formal computation model....
général - core.ac.uk - PDF: soda.swedish-ict.se
Kernel andorra prolog and its computation modelThe logic programming language framework Kernel Andorra Prolog is defined by a formal computation model....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

Exemples anglais - français

analyse économique / sciences / informatique et traitement des données / pouvoir exécutif et administration publique / santé / droit pénal / droit international / justice / métallurgie et sidérurgie / industrie mécanique / finances / fiscalité / droit de l'union européenne / environnement - iate.europa.eu
informatique et traitement des données - iate.europa.eu
informatique et traitement des données - iate.europa.eu
[...]
analyse économique - iate.europa.eu
analyse économique - iate.europa.eu
communication - acta.es
[...]

Traductions en contexte anglais - français

A computation device provides a subject score using a scoring

computation model

that depends upon the expected item-dependent operating characteristics of the speech recognition system.

Un dispositif de calcul produit un résultat d'individu en utilisant un modèle de calcul de notation qui dépend des caractéristiques de fonctionnement prévues du système de reconnaissance vocale dépendantes de l'article.

communication - wipo.int
A finite state machine (FSM) is a general computation model.

La machine à états finis (FSM) est un modèle de comportement d’un système.

général - CCMatrix (Wikipedia + CommonCrawl)
C. H. Bennett, “The thermodynamics of computation - a review“, International Journal of Theoretical Physics, 21:12, 905-940 (1982) [Brownian computation model; logical irreversibility and Maxwell’s demon]. [↩]

C. H. Bennett, “The thermodynamics of computation - a review“, International Journal of Theoretical Physics, 21:12, 905-940 (1982) [Modèle de calcul Brownien; irréversibilité logique et démon de Maxwell]. [↩]

général - CCMatrix (Wikipedia + CommonCrawl)
The computation model was applied to visual features of more than 4,000 images of 55 early 20th-century artists.

Ce modèle de calcul a été appliqué aux caractéristiques visuelles de plus de 4 000 œuvres de 27 artistes du début du 20e siècle.

général - CCMatrix (Wikipedia + CommonCrawl)
Instantaneous values of this amplification factor and time constant are determined on the basis of information from a computation model which continuously determines current states in the catalyst.

On détermine les valeurs instantanées de ce facteur d'amplification et de la constante de temps sur la base d'informations fournies par un modèle de calcul qui détermine en continu les états en cours du catalyseur.

industrie mécanique - wipo.int
The injection is controlled according to an accumulation actual value and an accumulation set-point value which are calculated on the basis of information from a computation model.

On commande l'injection en fonction d'une valeur réelle d'accumulation et d'une valeur de point d'établissement d'accumulation qui sont calculées en fonction d'informations provenant d'un modèle de calcul.

industrie mécanique - wipo.int
A distributed computation infrastructure can also provide a substrate on which existent distributed computation models can be enhanced to become failure-resilient.

Une infrastructure de calcul répartie permet également de fournir un substrat sur lequel des modèles de calcul répartis existants peuvent être améliorés afin qu'ils deviennent résistants aux pannes.

informatique et traitement des données - wipo.int
The definition of possible states and events is formulated in a computation model, such as the Turing machine or the finite automaton.

La définition des états et événements possibles est formulée dans un modèle de calcul, comme la machine de Turing ou l’automate fini.

général - CCMatrix (Wikipedia + CommonCrawl)
Evaluation of each of the models includes computation of a model squared error and computation of a Norm that is derived from the model square errors calculated for the models.

L'évaluation de chacun des modèles consiste à calculer une erreur quadratique de modèle et à calculer une norme obtenue à partir des erreurs quadratiques de modèles calculées pour les modèles.

industrie mécanique - wipo.int
The present invention exponentially shortens computation time for NP-complete problems and the like that are mapped using an Ising model by exponentially shortening computation time for the Ising model.

La présente invention raccourcit de manière exponentielle le temps de calcul de problèmes NP complets et autres qui sont mappés à l'aide d'un modèle d'Ising en raccourcissant de manière exponentielle le temps de calcul du modèle d'Ising.

sciences naturelles et appliquées - wipo.int
Then the server separately or compares its master computation with the client's predictive computation to resolve any inaccuracies that may exist in the client's model.

Puis le serveur compare son traitement directeur avec le traitement prévisionnel du client de façon à corriger toutes les inexactitudes qui peuvent exister dans le modèle du client.

électronique et électrotechnique - wipo.int
A Generic Model of Computation Framework for Model Execution and Dynamic Analysis

Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles

général - CCMatrix (Wikipedia + CommonCrawl)
Requirements are specified in a requirements model called Computation Independent Model (CIM).

les modèles d’exigences sont appelés des CIM (Computation Independent Model),

général - CCMatrix (Wikipedia + CommonCrawl)
A computation device provides a subject score using a scoring computation model that depends upon the expected item-dependent operating characteristics of the speech recognition system.

Un dispositif de calcul produit un résultat d'individu en utilisant un modèle de calcul de notation qui dépend des caractéristiques de fonctionnement prévues du système de reconnaissance vocale dépendantes de l'article.

communication - wipo.int
The computation is made as a function of the desired cardiac membrane response function, the patient model and the defibrillator circuit model.

Ce calcul est effectué comme une fonction de la fonction de réponse de la membrane cardiaque souhaitée, du modèle du patient et du modèle de circuit du défibrillateur.

santé - wipo.int


1 milliard de traductions classées par domaine d'activité en 28 langues