Examples with "la correction de programmes" and their translation in Engels
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.
Puis j'ai étudié la correction de programmes impératifs par rapport à des propriétés temporelles et des spécifications fonctionnelles formelles.
Then I studied the correction of imperative programs with respect to temporal properties and formal functional specifications.
ALT-ERGO est un démonstrateur automatique spécialement conçu pour garantir la correction de programmes.
L'intention originale de ces logiques est de vérifier formellement la correction de programmes manipulant des pointeurs.
These logics were originally intended for the formal verification of programs with pointers.
Outre ses applications en mathématiques, l'outil Coq permet également de certifier la correction de programmes informatiques.
In addition to its applications in mathematics, Coq also allows certifying the correctness of computer programs.
Andere resultaten
Nous offrons une expérience de gestion complète qui comprend le suivi, la correction de programme et le soutien administratif pour votre service d'hébergement de messagerie Exchange.
We offer a completely managed experience including monitoring, patching, and administrative support for your exchange service.
Un tel mécanisme offre un niveau de protection optimal contre les techniques de craquage spécifiques comme le vidage de mémoire, la correction de programme et l'émulation de la protection des logiciels.
Such a mechanism provides an optimal protection level against typical cracking techniques like memory dumping, patching and emulation of software protection.
Cette couche de protection double offre une protection optimale contre les techniques de craquage spécifiques comme le vidage de mémoire, la correction de programme et l'émulation de la protection des logiciels.
This double protection layer provides optimal protection against typical cracking techniques like memory dumping, patching and emulation of software protection.
Je ne pourrais plus exécuter sur scène le genre de traitement de signal que je réalisais dans la bande originale de Violin Power, parce que la correction de programme et la mise en œuvre prennent trop de temps.
I would never be able to perform on stage the kind of signal processing I did on the original Violin Power tape, because the patching and implementation takes too long.
La présente invention se rapporte à un dispositif de gestion infonuagique qui est utilisé dans la correction de programme de machines physiques et de machines virtuelles qui sont utilisées dans un service en ligne, tel qu'un service de gestion de contenu en ligne.
A cloud manager is utilized in the patching of physical machines and virtual machines that are used within an online service, such as an online content management service.
la partie de traitement des corrections de programme vérifie un environnement d'exploitation lorsqu'elle reçoit des informations relatives à la correction de programme par le serveur web de gestion de licences.
the patch processing part checks an operation environment when it acquires information related to the patch from the license management web server.
Il supporte plusieurs langues, personnalisation de l'interface, l'installation de DLL, la correction de programme, la protection de mot de passe, et beaucoup plus.
It supports multiple languages, interface customization, DLL installation, patching, password protection, and much more. Round-Robin Mailer
La correction de programme a été installée le dimanche.
La direction veut réduire les coûts liés à la correction des erreurs de programmation répétitives.
Management wants to cut the costs associated with repeatedly fixing programming errors.
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.
