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.
en temps de compilation, un compilateur amélioré peut analyser le dossier de source annoté et produire automatiquement les mécanismes nécessaires pour exposer sa fonctionnalité de service web ou de service accessible sur réseau
at compile time, an enhanced compiler can analyze the annotated source file and generate the mechanisms required to facilitate the automated deployment of web service components
Nota: La description des aperçus doit comprendre la définition de l'aperçu et la description des déclencheurs doit contenir le code source annoté.
Note: The description of views should include the view definition, and the description of triggers should include annotated source code.
Note: La description des vues doit inclure la définition de la vue et la description des déclencheurs doit contenir le code source annoté.
Note: The description of views should include the view definition, and the description of triggers should include annotated source code.
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.
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".
Les procéduresde décision sont les moteurs des solveurs SMT, et la plateforme Why engendre des conditions devérification dérivées d'un programme source annoté, qu'elle transmet aux solveurs SMT (ou assistants depreuve) pour vérifier la correction du programme.Mots-clés
Secondly, the Why platform extracts verification conditions from a sourceprogram annotated by specifications, and then transmits them to SMT solvers or proof assistants to check the program correctness.
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.
