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.
niveau du code source
It displays failing instructions down to the source code level.
These checks are static analysis checks that can be performed at a source code level.
Ces vérifications sont des contrôles d'analyse statique qui peuvent être effectués au niveau du code source.
This, together with the fact that verification environments target mostly high level code, makes more appropriate the idea of moving the generation of certificates at the source code level.
Ceci, combiné avec le fait que la plupart des outils de vérification ciblent le code de haut niveau, rend plus appropriée l'idée de transférer la production de certificats au niveau du code source.
We do not support the compatibility functions built into DB2 and gdbm, because they are only compatible on the source code level, but cannot handle the original dbm format.
Les fonctions de compatibilités codées dans DB2 et gdbm ne sont pas supportées, car elles ne sont compatibles qu'au niveau du code source et ne peuvent pas gérer le format dbm originel.
Annotations are usually added at source code level but WCET analysis is performed at binary code level.
Ces annotations sont généralement ajoutées au niveau du code source, tandis que l'analyse de WCET est effectuée au niveau du code binaire.
Compiler optimization is between these two levels and has an effect on the structure of the code and propose a transformation framework for each optimization to trace the annotation information from source code level to binary code level.
Nous proposons dans cette thèse une infrastructure logicielle de transformation, qui pour chaque optimisation transforme les annotations du code source au code binaire.
We do not support the compatibility functions built into DB2 and gdbm, because they are only compatible on the source code level, but cannot handle the original dbm format.
Nous ne fournissons pas de support de la compatibilité des fonctions internes à DB2 et gdbm, car elles ne sont compatibles qu'au niveau source du code, mais ne peuvent pas gérer le format original DBM.
Annotations are usually added at source code level but WCET analysis is performed at binary code level.
Ces annotations sont généralement ajoutées au niveau du code source, tandis que l'analyse de WCET est effectuée au niveau du code binaire.
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.