Examples with "Multi-ML program" and their translation in Frans
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
Andere resultaten
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.
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
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.