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.
code correction
Lors d'une reproduction spéciale, on n'effectue que la correction du code externe.
In special reproduction, only the external code correction is performed.
Le principal inconvénient de produire des certificats pour assurer l'exactitude du code source est que les preuves ne comportent pas la correction du code compilé.
The main drawback of producing certificates ensuring source code correctness is that they do not entail correctness of the final compiled code.
Chaque participant connaît les propriétés et les exemples pratiques d'utilisation de ces modèles, ce qui permettra à son tour de générer efficacement la correction du code de l'application.
Each participant know the properties and practical examples of the use of these patterns, which in turn will enable the efficient build correct the application code.
Comme avec de nombreux programmes d'analyse, il y a beaucoup de cas inhabituels d'expressions idiomatiques qui peuvent être acceptables, dans des cas ciblés particulier, ou à l'extérieur de la portée du programmeur pour la correction du code source.
As with many analysis programs, there are many unusual cases of programming idioms which may be acceptable in particular target cases, or outside of the programmer's scope for source code correction.
L'interface conviviale et personnalisée facilite la correction du code d'erreur 0xc00d36e5 et d'autres problèmes liés à la vidéo
User friendly and cleaned interface makes fixing of error code 0xc00d36e5 and other video related issues easy
En présence d'une telle annotation, il est impossible de garantir la correction du code généré dans le cas général (ni même sa convergence).
When there is a user's defined rule annotation in the type specification, the code generated by Moca is not guaranteed to be correct or even to terminate anymore.
Réduisez de plus de 50 % la durée du projet et jusqu'à 90 % les ressources pour la correction du code
Save over 50% of project time and up to 90% of code correction resources.
Le système améliore sensiblement l'efficacité de codage / de décodage, ce qui permet non seulement de répondre aux exigences de la correction du code d'erreur RS mais aussi d'éviter la présentation des bits restants dans chaque ligne ou dans chaque colonne de la matrice.
The system obviously improves enconding/decoding efficiency, which not only assure to accord with the requirements of RS code error-correcting, but also avoid remainder bits presented at the each row or each column of the matrix.
Son expertise dans le langage OCaml lui permet de développer son activité dans tous les domaines où la correction du code, la haute disponibilité et la sécurité sont des enjeux importants.
Its expertise in OCaml empowers this start-up to develop its activity in all areas where code correction, high availability and security are of major importance.
George Necula a proposé une technique pour apporter de la confiance aux consommateurs sur la correction du code sans faire confiance aux producteurs.
George Necula proposed a technique to provide trust to code consumers about the program correctness without trusting the code producer side.
Cette extension Magento ne remplace pas un vrai référenceur technique mais permet de se concentrer sur l'optimisation des pages plutôt que sur la détection des facteurs bloquants et la correction du code.
This Magento extension does not replace a real SEO spécialist but it allows her to focus on the optimization rather than the detection of the blocking factors and on the code correction.
Nous utilisons Frama-C pour générer les théorèmes qui garantissent la correction du code.
La complexité du code peut être réduite au minimum, facilitant la maintenance et la correction du code au fil du temps
Code complexity can be minimized-making it easier to maintain and troubleshoot code over time Automated Unit Testing
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.
