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.
The following table lists the styles for which the string-to-datetime conversion is nondeterministic.
Le tableau ci-dessous répertorie les styles pour lesquels la conversion chaîne-datetime est non déterministe.
The basic nondeterministic level adds support for backtracking and undoable side effects.
Le niveau non déterministe basique ajoute un support pour la journalisation et les effets de coté irréalisables.
Generally, these missions are executed in nondeterministic environments with the presence of random events that can affect the mission's progress.
Ces missions se déroulent souvent dans des environnements non déterministes avec la présence d'évènements aléatoires pouvant perturber le déroulement de la mission.
The missing elements corresponding to these changes of state are classed into four categories: internal or external, deterministic or nondeterministic.
Les éléments manquants correspondants à ces changements d'état sont classés en quatre catégories: internes ou externes, déterministes ou non déterministes.
It is advantageous, in some cases, for a program to exhibit nondeterministic behavior.
Il peut être avantageux pour un programme, dans certains cas, de montrer un comportement non-déterministe.
The first class extends local automata with a global acceptance condition and the ability to alternate between nondeterministic and parallel computations.
La première classe étend les automates locaux avec une condition d'acceptation globale et la capacité d'alterner entre des modes de calcul non-déterministe et parallèle.
If the nondeterministic choice were only present, the agent would be condemned to a chaotic functioning.
Si le choix non déterministe était seul présent, l'agent serait condamné à un fonctionnement chaotique.
For such nondeterministic models, we propose a symbolic simulation scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une simulation symbolique, inspirée des techniques de vérification des automates temporisés.
For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés.
This concept is known as nondeterministic garbage collection because it cannot be determined in advance when the objects would be released from memory.
Ce concept est connu en tant que collection non déterministe d'ordures parce qu'il ne peut pas déterminer à l'avance quand les objets seraient libérés de la mémoire.
The problem with this approach is its nondeterministic behavior: the values from the first execution affect all executions.
Le problème de cette approche est son comportement non déterministe : les valeurs provenant de la première exécution affectent toutes les exécutions.
This process is inherently nondeterministic, because of the randomized choices made during both the initial population selection and subsequent "mutation" of the best candidates.
Ce processus est intrinsèquement non-déterministe, du fait des choix aléatoires effectués lors de la sélection initiale de la population et lors des « mutations » des meilleurs candidats qui s'en suivent.
system and method for nondeterministic media playback selected from a plurality of distributed media libraries
système et procédé de lecture multimédia non déterministe sélectionnée dans une pluralité de bibliothèques multimédia distribuées
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.