Télécharger pour Windows Premium
Inscription Se connecter avec Google Se connecter avec Apple
Reverso Premium
Publicité
Multi-ML programs

Exemples avec "Multi-ML programs" et leurs traductions en français

Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
Multi
multi multiple plusieurs polyvalent
ML
millilitre cl RPC
programs
programmes programme émissions logiciels formations
To ensure the execution safety of Multi-ML programs, we also propose a typing system that preserves replicated coherence.
Afin de pouvoir garantir la sécurité d'exécution des programmes Multi-ML, nous proposons une sémantique formelle ainsi qu'un système de type afin d'accepter uniquement des programmes bien formés.

Autres résultats

An abstract machine is defined to formally describe the evaluation of a Multi-ML program on a Multi-BSP architecture.
De plus, nous proposons une machine abstraite permettant de décrire formellement l'évaluation d'un programme Multi-ML sur une machine Multi-BSP.
It is thus possible to generate an efficient parallel code from a program written in Multi-ML and execute it on any hierarchical machine
Il est donc possible d'exécuter, efficacement, des algorithmes Multi-BSP écrits à l'aide de Multi-ML sur diverses machines hiérarchiques
Aucun résultat pour cette recherche.

Synonymes et analogies de "Multi-ML programs" en anglais

Le mot et l’expression du jour
L’image du jour
pliers: tool with two handles and jaws for gripping
Découvrir le mot
pliers
Publicité

Résultats: 3. Exacts: 1. Temps écoulé: 247 ms.

Mots fréquents: 1-300, 301-600, 601-900

Expressions courtes fréquentes: 1-400, 401-800, 801-1200

Expressions longues fréquentes: 1-400, 401-800, 801-1200