Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
the correctness of programs
Examples with "the correctness of programs" and their translation in Frans
Since arrays are ubiquitous in most software systems, and software defects related to mis-uses of arrays are hard to avoid in practice, a lot of efforts have been devoted to ensuring the correctness of programs manipulating arrays.
Les tableaux sont omniprésents dans de nombreux programmes, et les erreurs liées à leur manipulation sont difficile à éviter en pratique.
ALT-ERGO is an automatic prover specially designed to guarantee the correctness of programs.
ALT-ERGO est un démonstrateur automatique spécialement conçu pour garantir la correction de programmes.
Andere resultaten
In this thesis, I also expose three transversal contributions, related to the correctness of program.
Dans cette thèse, j'expose également trois contributions transversales liées à l'exactitude du programme.
Memory operations in between two synchronisation variables can be overlapped and reordered without affecting the correctness of the program.
Les opérations de mémoire entre deux variables de synchronisation peuvent être superposées et réordonnées sans affecter la correction du programme.
In addition to its applications in mathematics, Coq also allows certifying the correctness of computer programs.
Outre ses applications en mathématiques, l'outil Coq permet également de certifier la correction de programmes informatiques.
The state data for verifying the correctness of the updated program is entangled with application data used for the program functionality.
Les données d'état permettant de vérifier l'exactitude du programme mis à jour sont enchevêtrées avec des données d'application utilisées pour la fonctionnalité du programme.
It consists of a bunch of tools that operate on user-annotated C programs and generates verification conditions that would establish the correctness of the input programs.
Elle se compose d'un ensemble d'outils qui fonctionnent sur des programmes C annotés et génère des conditions de vérification qui établissent la correction des programmes fournis.
Most of these investigations require the development of notations, languages, and other tools specifically tailored for the calculi themselves, their representations, for measuring the complexity, analyzing the behavior or verifying correctness of programs.
Ces études passent par l'élaboration de notations, de langages et de divers outils dédiés aux calculs comme leurs représentations, l'évaluation de leurs complexités, l'analyse de leurs comportements ou encore la vérification de leurs validités.
Besides, it is virtually impossible to ensure the correctness of such programs via classical testing approaches since one may never successfully reach the execution that leads to unwanted behaviors in the programs.
En outre, il est pratiquement impossible de garantir l'exactitude de tels programmes via des approches de test classiques, car il est possible que l'on n'atteigne jamais avec succès l'exécution qui conduit à des comportements indésirables dans les programmes.
This can happen despite the formal architecture-level security arrangements working as designed; in this case lower, microarchitecture-level optimizations to code execution leak information not essential to the correctness of normal program execution.
Cela peut se produire en dépit du fait que les systèmes de sécurité formels au niveau architectural fonctionnent comme prévu; des optimisations micro-architecturales de l'exécution d'un code peuvent aboutir à une fuite d'informations non essentielles à son bon fonctionnement.
It is useful in many contexts, such as capturing the correctness of, program transformations within the same language, or capturing the correctness of compilers between two different languages.
Elle est utile dans divers contextes, parmi lesquels on peut citer la preuve de transformations de programmes dans un langage donné, et la preuve de compilateurs entre deux langages.
As the parallelism can now be found everywhere from smart-phones to the super computers, it becomes critical for the parallel programming models to support the proof of correctness of the programs developed with them.
Le parallélisme étant présent maintenant dans toutes les machines, du téléphone au super-calculateur, il est important que les modèles de programmation s'appuient sur des sémantiques formelles pour permettre la vérification de programmes.
A Ptask defines a communication and protection domain, and guarantees the semantic correctness of a parallel program (tasks synchronisation, control of the communication protocols, etc.) Within a Ptask, object protection is enforced through capabilities.
Une Ptache définit un domaine de communication et de protection, et assure la correction sémantique du programme parallèle (synchronisation des taches, controle des protocoles d'echanges, etc.).
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 31232. Exact: 2. Verstreken tijd: 523 ms.
