La compilation correspond à la traduction des programmes sources écrits par des humains vers du code machine lisible par nos systèmes.
Compilation is the process of translating source programs written by humans to machine code readable by our systems.
Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources.
The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods.
La chaîne corrigée peut être fusionnée lorsque les programmes sources auront été mis à jour.
The corrected string can be merged in when the program sources have been updated.
le système reçoit des signaux numériques et analogiques émanant de divers programmes sources
digital and analog signals from a variety of program sources are received by the home entertainment and information system
La présente invention concerne un système d'assistance à la création de programmes sources pour faciliter la création d'un programme source contenant un processus d'événement.
Provided is a source program creation support system for easily creating a source program containing an event process.
une option d'optimisation du niveau en fonction du degré de temps écoulé de mise à jour ou de la fréquence d'exécution est fixée pour chacun des programmes sources
an optimization option of the level according to the updating elapse degree or the execution frequency is set for each of the source programs
la compilation accompagnée par l'optimisation du niveau indiqué par l'option d'optimisation est effectuée pour chacun des programmes sources
compiling accompanied by the optimization of the level indicated by the optimization option is performed for each of the source programs
dans un ordinateur dans lequel est lancé un programme outil de mise au point de logiciels, un degré de temps écoulé de mise à jour et une fréquence d'exécution pour une série de programmes sources utilisés pour produire un module d'exécution sont acquis
in a computer where a software development tool program is started, an updating elapse degree and an execution frequency for a series of source programs used for generating an execution module are acquired
L'utilisation de plusieurs programmes sources HD avec le multiplex permet avantageusement un multiplexage statistique avancé, en fournissant une plus grande concentration d'entrées de constituants et de porteuses disponibles.
The use of multiple HD source programs with the multiplex advantageously provides for enhanced statistical multiplexing by providing a larger 'pool' of constituent inputs and available carriers.
Les programmes sources sont compilés en bytecode Java et peuvent donc interagir avec des bibliothèques écrites en Java.
Source programs are compiled to Java bytecode, and can therefore interact with libraries written in Java and other programming languages targeting the Java Virtual Machine.
Fournir des programmes sources APP et LUA.
Providing APP and LUA source programs.
SYSTÈME D'ASSISTANCE À LA CRÉATION DE PROGRAMMES SOURCES
Extrait des informations codées dans les programmes sources, et produit une documentation spécifique.
Extract coded informations from programs sources and product specific documentation.
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.
