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.
Therefore, it would be interesting to apply these techniques on slices rather than the initial program, but it requires theoretical foundations to interpret the results obtained on the slices.
Il serait donc souhaitable d'appliquer ces techniques sur des slices plutôt que sur le programme initial, mais cela nécessite de pouvoir justifier théoriquement l'interprétation des résultats obtenus sur les slices.
Concerning the initial program for the shipment of the machinery, the learned trial judge stated:
Concernant le programme initial en vue de l'expédition de la machine, le savant juge de première instance a dit:
Please note the change in room, compared to the initial program.
However, the task was not easy because of the dissociation into two sites, incomplete initial diagnosis or modifications made several times on the initial program... during the works.
La tâche n'était cependant pas aisée en raison notamment de la dissociation en deux sites, du diagnostic initial incomplet ou de modifications apportées à plusieurs reprises au programme initial... en cours de travaux.
if the initial program is under CeCILL-B, you can distribute your program under any license that you want (without the need to distribute the source code) provided you properly mention the use that you did of the intial program.
Si le logiciel initial est sous CeCILL-B, vous pouvez distribuer votre logiciel sous n'importe quelle licence (sans avoir à distribuer un quelconque code source) à condition de citer l'utilisation que vous avez faite du logiciel initial.
The model can be started in any of the programs, analysed and optimized in SCIA Engineer and then finalised with detailing and documentation in the initial program.
Le modèle peut être commencé dans l'un ou l'autre des logiciels, calculé et optimisé dans SCIA Engineer pour ensuite être finalisé avec des dispositions et documentations dans le logiciel initial.
If an error is detected in the slice, does this mean that it can also be triggered in the initial program?
Si une erreur est détectée dans une slice, cela veut-il dire qu'elle se déclenchera aussi dans le programme initial ?
We are now working with some of the organizations that had previously rolled out the initial program and that are now starting to roll out the booster sessions to make sure they're meeting the goal.
Nous travaillons maintenant avec certaines organisations qui ont antérieurement présenté le programme initial et qui commencent maintenant à présenter les séances de rappel pour s'assurer d'atteindre l'objectif.
This is based on the strength of the financials of the first's how we get the initial program set up.
C'est comme cela qu'est établi le programme initial.
The soundness of the type system with respect to the semantics has been proven, as well as the semantical equivalence of the composition of the fragments obtained via the automatic distribution method with the initial program.
La correction du système de types avec la sémantique du langage est prouvée, ainsi que l'équivalence sémantique de l'exécution des fragments obtenus par la méthode de répartition automatique avec le programme initial.
On the contrary, if the slice is proved to be error-free, does this mean that the initial program is error-free too?
Et inversement, si l'absence d'erreurs est prouvée dans une slice, cela veut-il dire que le programme initial en est lui aussi exempt ?
We provide guarantees on the soundness of the verdicts issued by the monitor by exhibiting a weak simulation (relation) between the initial program and the interactively runtime verified program.
Nous fournissons des garanties sur la validité des verdicts produits par le moniteur en nous appuyant sur une relation de simulation faible entre le programme initial et le programme vérifié interactivement.
You did indicate that this was a sunsetting program, with the initial program around $70 million.
Vous avez dit que c'est un programme qui arrive à terme, le programme initial ayant été de 70 millions de dollars.
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.