Examples with "annotated source code" 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.
VeriFast, on the other hand, is an analyser for C and Java source code annotated with predicates written in separation logic.
VeriFast, quant à lui, est un analyseur de code source C et Java annoté avec des prédicats écrits en fonction d'une logique de séparation.
Platform-agnostic source code can be augmented with one or more portions of source code annotated for different platforms and/or versions.
Un code de source indépendant des plates-formes peut être enrichi d'une ou plusieurs parties du code de source annotées pour différentes plates-formes et/ou versions.
All other functioned were nearly unnoticable. When jb17some provided a source code annotated by oprofile (or its tools), that provided the final clue: The driver was obviously busy waiting on the "DMA transfer finished notifier".
Et quand jb17some fournit un code source annoté par les outils d'oprofile, la dernière pièce du puzzle se mit en place : il devint évident que le pilote était occupé à attendre d'être notifié de la fin du transfert DMA.
During this period, each of the developers worked on source code that was annotated and accompanied by a complete revision history.
Pendant cette période, chacun des fondateurs a travaillé à un code source qui a été annoté et assorti d'une fiche chronologique complète de révision.
It's filled with annotated data visualizations, which can be reproducibly built from source code and data.
Vous y trouverez de nombreuses illustrations dynamiques annotées, qui peuvent être reproduites à partir des données et du code source.
She offered to burn a disc of the source code for off-site storage.
Elle a proposé de graver un disque du code source pour un stockage hors site.
The software developer created a licensing agreement to protect their source code.
Le développeur de logiciels a créé un contrat de licence pour protéger son code source.
The software's source code is stored in a highly secure remote repository.
Le code source du logiciel est sauvegardé sur un dépôt distant très bien protégé.
This open-source software guarantees free access to its source code and technical documentation.
Ce logiciel open source garantit un accès libre à son code et à sa documentation technique.
You should be free to study and change the source code.
Vous devriez être libre d'étudier et de changer le code source.
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.