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.
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 code correcteur d'erreurs et le vecteur de bruit (epsilon) sont adaptés pour que le poids de hamming du vecteur de bruit (epsilon) soit inférieur ou égal à la capacité de correction du code correcteur.
the error correction code and the noise vector (epsilon) are adapted so that the weight of the hamming of the noise vector (epsilon) is lower than or equal to the correction capacity of the correction code.
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.
Nous vous montrerons un exemple de correction du code PHP à effectuer vous-même.
We will show an example of how to go about fixing the PHP code yourself.
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.
