Machine de TuringEn informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité.
Machine à registres illimitésEn informatique, une machine à registres illimités ou URM (de l'anglais : Unlimited Register Machine) est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tout comme les machines de Turing et le lambda-calcul. Une URM est Turing-complète. Les registres de la machine sont représentés par : et peuvent contenir des éléments de . Un programme pour cette machine est représenté par toute suite de la forme : qui contient une suite finie d'instructions.
Bibliothèquevignette|redresse=1.2|Bibliothèque de l'abbaye de Saint-Gall (, patrimoine mondial, Suisse). vignette|redresse=1.2|Bibliothèque publique à Almere (Pays-Bas). Une bibliothèque (du grec ancien , de , « livre », et , « boîte, coffre, caisse ») est un lieu où l'on conserve une collection organisée de livres et matériels de référence. Il existe des bibliothèques privées des bibliothèques publiques, et des bibliothèques spécialisées entre autres.
Bibliothèque Bodléiennevignette|droite|upright|Porche d’entrée de la bibliothèque Bodléienne, décoré des armes de plusieurs collèges de l’université d’Oxford. La bibliothèque Bodléienne (Bodleian Library), officiellement bibliothèque de Bodley (Bodley’s Library), est la plus prestigieuse des bibliothèques de l’université d'Oxford. Formellement établie en 1602 à partir de collections plus anciennes, elle tire son nom de son fondateur, Thomas Bodley, bibliothécaire du Merton College.
British LibraryLa British Library (littéralement « bibliothèque britannique »), également connue sous le sigle BL, est la bibliothèque nationale du Royaume-Uni. Située à Londres, elle est l’une des plus importantes bibliothèques de référence du monde, avec plus de 170 millions de références, dont environ 14 millions de livres. Chargée du dépôt légal, la British Library reçoit des exemplaires de tous les ouvrages publiés au Royaume-Uni et en Irlande, y compris les livres étrangers distribués dans ces pays.
Fat binaryA fat binary (or multiarchitecture binary) is a computer executable program or library which has been expanded (or "fattened") with code native to multiple instruction sets which can consequently be run on multiple processor types. This results in a file larger than a normal one-architecture binary file, thus the name. The usual method of implementation is to include a version of the machine code for each instruction set, preceded by a single entry point with code compatible with all operating systems, which executes a jump to the appropriate section.
Chargeur (informatique)En informatique, le chargeur est un composant du système d'exploitation dont le rôle est de charger des programmes en mémoire, afin de créer un processus. Ses principales responsabilités sont la lecture et l'analyse du fichier exécutable, la création des ressources nécessaires à l'exécution de celui-ci, puis enfin le lancement effectif de son exécution. Le chargeur est généralement invoqué à l'aide d'un appel système ; cependant, dans des systèmes comme Linux, des fonctionnalités comme les bibliothèques dynamiques sont gérées elles-mêmes par un programme auquel le chargeur délègue une partie de son travail.
Code correcteurvignette|Pour nettoyer les erreurs de transmission introduites par l'atmosphère terrestre (à gauche), les scientifiques de Goddard ont appliqué la correction d'erreur Reed-Solomon (à droite), qui est couramment utilisée dans les CD et DVD. Les erreurs typiques incluent les pixels manquants (blanc) et les faux signaux (noir). La bande blanche indique une brève période pendant laquelle la transmission a été interrompue.
Anguille d'EuropeL’anguille d'Europe ou anguille commune (Anguilla anguilla) est une espèce de poissons appartenant à la famille des Anguillidés. Elle mesure de à et pèse jusqu'à pour les femelles. C'est un grand migrateur, et plus précisément un migrateur amphihalin (au cours de sa vie l'anguille va passer par des milieux présentant différents taux de salinité : dans ce cas, de la mer vers l'eau douce puis à nouveau vers la mer), thalassotoque (qui se reproduit en mer) et catadrome (qui, après une période de croissance dans un cours d'eau, regagne la mer).
Linker (computing)In computing, a linker or link editor is a computer system program that takes one or more s (generated by a compiler or an assembler) and combines them into a single executable file, library file, or another "object" file. A simpler version that writes its output directly to memory is called the loader, though loading is typically considered a separate process. Computer programs typically are composed of several parts or modules; these parts/modules do not need to be contained within a single , and in such cases refer to each other by means of symbols as addresses into other modules, which are mapped into memory addresses when linked for execution.
