Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
program P
Vertaling van "program P" in Frans
programme P
P aramétrage
The way in which the processor should respond to machine instructions, i.e. its translation data, is computed from an arbitrary bit string B and a program P as inputs.
La façon dont le processeur doit répondre aux instructions machine, c'est-à-dire ses données de traduction, est calculée à partir d'une chaîne de bits B arbitraire et d'un programme P servant d'entrées.
The translation data of a processor are computed that will execute operations defined by the program P when the processor uses the given bit string B as a source of machine instructions.
Les données de traduction d'un processeur sont calculées, données servant à exécuter des opérations définies par le programme P lorsque le processeur utilise la chaîne de bits B donnée comme source d'instructions machine.
If such a program P {\displaystyle P} is consistent then P {\displaystyle P} has a unique minimal model, and that model is considered the only stable model of P {\displaystyle P}.
Si un tel programme P {\displaystyle P} est cohérent alors P {\displaystyle P} a un modèle minimal unique : c'est le seul modèle stable de P {\displaystyle P}.
The theorem asserting that all elements of any stable model of a program P {\displaystyle P} are head atoms of P {\displaystyle P} can be extended to sets of propositional formulas, if we define head atoms as follows.
Le théorème affirmant que les éléments de tous les modèle stable d'un programme P {\displaystyle P} sont des atomes des têtes de P {\displaystyle P} peut être étendu à des ensembles de formules propositionnelles en utilisant la définition suivante.
If a program P is released under the GPL that means any and every part of it can be used under the GPL.
Si un programme P est publié sous la GPL, cela signifie qu'il peut être utilisé sous la GPL, en totalité ou en partie, quelle que soit cette partie.
Suppose, for concreteness, that we have an algorithm for examining a program p and determining infallibly whether p is an implementation of the squaring function, which takes an integer d and returns d2.
Supposons que nous ayons un algorithme qui détermine de manière infaillible qu'un programme p est une implémentation correcte de la fonction de mise au carré.
At time T, free program P won't run without nonfree programming platform Q.
Head atoms If an atom A belongs to a stable model of a logic program P then A is the head of one of the rules of P.
Minimality Any stable model of a logic program P is minimal among the models of P relative to set inclusion.
Then it extracts the bits following the 8 first bits encoding the ASID own user program P in the word M2 and stores them in the size register 10.
Puis elle extrait les bits suivant les 8 premiers bits codant l'ASID propre au programme utilisateur P dans le mot M2 et les mémorise dans le registre de taille 10.
If you integrate module Q, and release the combined program P+Q under the GPL, that means any part of P+Q can be used under the GPL.
Si vous intégrez le module Q et publiez le programme combiné P+Q sous la GPL, cela signifie que chaque partie de P+Q peut être utilisée sous la GPL.
Highlight the relevant program and click on the Program P arameters button
Sélectionnez le programme approprié, puis cliquez sur le bouton P aramétrage
To change arguments within the program, click on the program name to highlight the one to change and click the Program P arameters button (see section 8 for details).
Pour modifier les arguments dans un programme, cliquez sur le nom du programme pour le mettre en surbrillance, puis cliquez sur le bouton P aramétrage (voir la section 8 pour en savoir plus).
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor program P in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 14. Exact: 14. Verstreken tijd: 37 ms.
