Examples with "This code behaves" 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.
Formal verification helps confirm that your embedded system software models and code behave correctly.
La vérification formelle permet de confirmer que le code du système embarqué a le même comportement que les modèles logiciels.
Due to recent changes in how Tabber code behaves, tabbed content may be missing from some pages.
Suite aux récentes modifications du comportement du code de Tabber, il se peut que le contenu normalement organisé sous forme d'onglets ne le soit pas sur certaines pages.
A QR code behaves similarly to the better known bar code found on practically all types of packaging.
Un code QR agit comme un code barre que l'on peut trouver sur tout emballage.
If you don't specifically want to test how your code behaves with other databases, in memory SQLite might be the best option.
S'il vous est égal de savoir comment votre code fonctionne avec d'autres BDD, SQLite est sûrement la meilleure solution, et la plus rapide.
Especially with event based code, behaviour is different if you put a breakpoint somewhere, with tracing code behaves more natural.
Surtout avec un code basé sur les événements, le comportement est différent si vous mettez un point d'arrêt quelque part, avec les traces d'exécution le code se comporte d'une manière plus naturelle.
Using a Plugin allows a developer to change the way their code behaves depending upon which Plugins are installed to react to an event.
L'utilisation d'un Plugin permet à un développeur de changer la manière que leur code se comporte selon quels Plugins sont installés pour réagir à un évènement.
Let's remember that a characterization test is used to describe the behavior of a block of code and therefore, unlike a unit test or a regression test, does not try to verify that the code behaves correctly.
Rappelons nous qu'un test de caractérisation permet de décrire le comportement d'un bloc de code et donc, contrairement à un test unitaire ou à un test de régression, ne cherche pas à vérifier que ce code se comporte de manière correcte.
Initiated by Xavier Leroy, programmed and proven in Coq, CompCert comes with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program.
Impulsé par le chercheur Xavier Leroy, développé et prouvé en Coq, CompCert apporte une preuve par l'ordinateur que le code exécutable compilé se comportera exactement comme le prévoit la sémantique du code source écrit en C.
Abstract: When writing compute codes, most mathematicians and developers implicitly assume that the floating-point numbers in their code behave like real numbers.
Résumé : Aujourd'hui, la plupart des modélisateurs et des développeurs d'application de calcul font l'hypothèse implicite selon laquelle les nombres flottants utilisés dans leurs codes de calcul se comportent comme des réels.
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.