Linux on IBM ZLinux on IBM Z or Linux on zSystems is the collective term for the Linux operating system compiled to run on IBM mainframes, especially IBM Z / IBM zSystems and IBM LinuxONE servers. Similar terms which imply the same meaning are Linux/390, Linux/390x, etc. The three Linux distributions certified for usage on the IBM Z hardware platform are Red Hat Enterprise Linux, SUSE Linux Enterprise Server, and Ubuntu. Linux on IBM Z originated as two separate efforts to port Linux to IBM's System/390 servers.
Règles de codagevignette|Exemple de code avec le langage de programmation Bash Les règles de codage sont un ensemble de règles à suivre pour uniformiser les pratiques de développement logiciel, diffuser les bonnes pratiques de développement et éviter les erreurs de développement "classiques" au sein d'un groupe de développeurs.
Linux MintLinux Mint est un système d'exploitation GNU/Linux créé en 2006 à partir d'Ubuntu, lui-même basé sur Debian. Il est conçu pour les ordinateurs individuels au même titre que Windows ou Mac OS et s'affirme comme un . Selon le site Alexa, Linux Mint est la distribution Linux la plus consultée sur Internet, après Ubuntu et devant Debian. Créé par le Français Clément Lefèbvre, le projet est actuellement maintenu par l'équipe de Linux Mint. La devise en anglais de la distribution est , ce qu'on peut traduire en français par : « De la liberté vint l'élégance ».
LibavLibav est un projet logiciel qui produit des bibliothèques et des programmes libres pour la manipulation de données multimédia. Le projet a commencé comme un fork de FFmpeg en 2011. Après un démarrage rapide, il a progressivement été rattrapé par FFmpeg. En 2023 Libav est un projet abandonné dont la dernière version date de 2018, les développeurs libav historiques étant revenus à FFmpeg, se consacrant à d'autres projets multimédia comme le codec vidéo AV1, ou ayant abandonné le développement multimédia. Cat
Symbolic executionIn computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch.
Patch (informatique)Un patch ou correctif, est une section de code que l'on ajoute à un logiciel, pour y apporter des modifications : correction d'un bug, traduction, crack. Les termes recommandés en France par la DGLFLF sont « retouche » ou « correctif ». Au Canada, le terme recommandé par l'OQLF est « correctif », le mot « rustine » étant également accepté. L'origine de l'expression provient de l'utilisation des rubans perforés sur lesquels on ajoutait une rustine pour corriger un bug (voir figure).
Réflexion (informatique)En programmation informatique, la réflexion est la capacité d'un programme à examiner, et éventuellement à modifier, ses propres structures internes de haut niveau lors de son exécution. On appelle réflexivité le fait pour un langage de programmation de permettre l'écriture de tels programmes. Un tel langage de programmation est dit réflexif. On distingue deux techniques utilisées par les systèmes réflexifs : l'introspection, qui est la capacité d'un programme à examiner son propre état ; l'intercession, qui est la capacité d'un programme à modifier son propre état d'exécution ou d'altérer sa propre interprétation ou signification.
Comparison of video player softwareThe following comparison of video players compares general and technical information for notable software media player programs. For the purpose of this comparison, video players are defined as any media player which can play video, even if it can also play audio files. This section lists the operating systems on which the player works. There may be multiple versions of a player, each one for a given operating system. Information about what video formats the players understand.
Problème de la décisionEn logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples : système à la Hilbert, calcul des séquents, déduction naturelle).
Heartbleedthumb|upright|Symbole utilisé pour communiquer au sujet de la vulnérabilité Heartbleed. Heartbleed est une vulnérabilité logicielle présente dans la bibliothèque de cryptographie open source OpenSSL à partir de , qui permet à un « attaquant » de lire la mémoire d'un serveur ou d'un client pour récupérer, par exemple, les clés privées utilisées lors d'une communication avec le protocole Transport Layer Security (TLS). Découverte en et rendue publique le , elle concerne de nombreux services Internet.
