Constraint satisfactionIn artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region. The techniques used in constraint satisfaction depend on the kind of constraints being considered.
Dépassement de tamponEn informatique, un dépassement de tampon ou débordement de tampon (en anglais, buffer overflow ou BOF) est un bug par lequel un processus, lors de l'écriture dans un tampon, écrit à l'extérieur de l'espace alloué au tampon, écrasant ainsi des informations nécessaires au processus. Lorsque le bug se produit, le comportement de l'ordinateur devient imprévisible. Il en résulte souvent un blocage du programme, voire de tout le système. Le bug peut aussi être provoqué intentionnellement et être exploité pour compromettre la politique de sécurité d’un système.
Framebufferthumb|400px|Photo d'un framebuffer SUN TGX. Un framebuffer (soit en français tampon de trame ou mémoire d'image) est un équipement de sortie vidéo qui commande un affichage vidéo à partir d'un tampon mémoire contenant une trame complète de données. Les informations dans le tampon mémoire sont en général les valeurs des composantes de couleurs pour chaque pixel (chaque point à afficher sur l'écran). Les valeurs sont habituellement mémorisées sous les formats 1-bit monochrome, 4-bit palettisées, 8-bit palettisées, 16-bit highcolor ou 24-bit truecolor (vraies couleurs).
Hazard (computer architecture)In the domain of central processing unit (CPU) design, hazards are problems with the instruction pipeline in CPU microarchitectures when the next instruction cannot execute in the following clock cycle, and can potentially lead to incorrect computation results. Three common types of hazards are data hazards, structural hazards, and control hazards (branching hazards). There are several methods used to deal with hazards, including pipeline stalls/pipeline bubbling, operand forwarding, and in the case of out-of-order execution, the scoreboarding method and the Tomasulo algorithm.
Algorithme de TomasuloL’algorithme de Tomasulo est un algorithme facilitant le parallélisme au sein des processeurs mis au point en 1967 par Robert Tomasulo. Cet algorithme, est l'une des implémentations possibles pour l'exécution dans le désordre : il trie les instructions de manière à traiter plus tard les instructions qui seraient normalement bloquées en raison de dépendances de données. Mise en place pour la première fois pour l'unité de calcul en virgule flottante de l'IBM 360 modèle 90. Robert Tomasulo a reçu le Prix Eckert-Mauchly en 1997 pour cet algorithme.
Théorème de ZermeloEn mathématiques, le théorème de Zermelo, appelé aussi théorème du bon ordre, est un résultat de théorie des ensembles, démontré en 1904 par Ernst Zermelo, qui affirme : Le théorème de Zermelo, l'axiome du choix et le lemme de Zorn sont équivalents : Soient E un ensemble bien ordonné, et P(E) l'ensemble de ses parties. Alors, on définit une fonction de choix sur P(E){⌀} en associant, à chaque partie non vide de E, son plus petit élément (l'existence d'une telle fonction est un des énoncés possibles de l'axiome du choix).
Protection de l'espace exécutableLa protection de l'espace exécutable (executable space protection) correspond, en sécurité informatique, à une protection contre les dépassements de tampon en prévenant l'exécution d'un code sur la pile ou le tas. Une tentative d'attaque sur un système protégé ainsi provoque une exception. Des exemples d'implémentation de ce mécanisme sont : sous Linux : PaX, Exec Shield, et Openwall ; sous OpenBSD et d'autres systèmes : W^X ; sous Microsoft Windows : Data Execution Prevention. Dépassement de tampon Catégo
PréordreEn mathématiques, un préordre est une relation binaire réflexive et transitive. C'est-à-dire que si E est un ensemble, une relation binaire sur E est un préordre lorsque : (réflexivité) ; (transitivité). Un ensemble préordonné est un ensemble muni d'un préordre, ou plus formellement un couple où désigne un ensemble et un préordre sur . Les ordres sont les préordres antisymétriques. Les relations d'équivalence sont les préordres symétriques. Dans un anneau commutatif, la relation « divise » est une relation de préordre.
Trim (informatique)trim (mot anglais pouvant signifier : réduire, tailler, bien arranger...) est, en informatique, une commande qui permet à un système d’exploitation d'indiquer à un contrôleur de stockage de type mémoire flash (SSD) quels blocs de données ne sont plus utilisés et peuvent donc être effacés. Cette commande améliore les performances d'accès aux SSD. Le but de cette instruction est de maintenir la vitesse du SSD tout au long de sa durée d'utilisation, évitant le ralentissement que les premiers modèles manifestaient une fois que toutes les cellules avaient été écrites au moins une fois.
