De plus, nous proposons une machine abstraite permettant de décrire formellement l'évaluation d'un programme Multi-ML sur une machine Multi-BSP.
An abstract machine is defined to formally describe the evaluation of a Multi-ML program on a Multi-BSP architecture.
Other results
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.
To ensure the execution safety of Multi-ML programs, we also propose a typing system that preserves replicated coherence.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "programme Multi-ML" in French
