Système de systèmesUn système de systèmes est un système constitué de systèmes constituants hétérogènes. Un système de système a des capacités plus grandes que la somme des fonctions de ses systèmes constituants. Un système de système se caractérise par: Une indépendance opérationnelle de ses systèmes constituants Une indépendance managériale de ses systèmes Une distribution géographique marquée de ses systèmes constituants Un processus de développement incrémental La présence de comportements émergeant Un système de contrôle
Function modelIn systems engineering, software engineering, and computer science, a function model or functional model is a structured representation of the functions (activities, actions, processes, operations) within the modeled system or subject area. A function model, similar with the activity model or process model, is a graphical representation of an enterprise's function within a defined scope. The purposes of the function model are to describe the functions and processes, assist with discovery of information needs, help identify opportunities, and establish a basis for determining product and service costs.
Couche d'abstraction matérielleEn informatique, et plus particulièrement en architecture, une couche d'abstraction matérielle (abrégé en HAL pour hardware abstraction layer) est un logiciel intermédiaire entre le système d'exploitation et le matériel informatique. Il offre des fonctions standardisées de manipulation du matériel informatique tout en cachant les détails techniques de la mise en œuvre. De nombreux producteurs de système d'exploitation incluent une couche d'abstraction matérielle dans leurs produits.
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.
Comparison of BSD operating systemsThere are a number of Unix-like operating systems based on or descended from the Berkeley Software Distribution (BSD) series of Unix variant options. The three most notable descendants in current use are FreeBSD, OpenBSD, and NetBSD, which are all derived from 386BSD and 4.4BSD-Lite, by various routes. Both NetBSD and FreeBSD started life in 1993, initially derived from 386BSD, but in 1994 migrating to a 4.4BSD-Lite code base. OpenBSD was forked from NetBSD in 1995. Other notable derivatives include DragonFly BSD, which was forked from FreeBSD 4.
GénéralisationLa généralisation est un processus cognitif qui consiste à abstraire un ensemble de concepts ou d'objets en négligeant les détails de sorte qu'ils puissent être considérés de façon comparable. Si la généralisation s'effectue de façon discrète, elle s'accompagne d'une transition à un niveau où la granularité des éléments de la structure considérée est plus grande. À l'inverse, la spécialisation permet de se focaliser davantage sur certains objets ayant des caractéristiques communes.
Pragmatismethumb|right|Les pères fondateurs du pragmatisme de haut en bas et de gauche à droite : Charles Sanders Peirce, William James, John Dewey, George Herbert Mead. Le pragmatisme est une école philosophique américaine fondée par Charles Sanders Peirce à la fin du . La thèse principale de Peirce est que le sens d'une expression réside dans ses conséquences pratiques. Les principaux membres ultérieurs de l'école pragmatiste sont William James et John Dewey, James ayant popularisé le mot pragmatisme grâce à un cycle de conférences qui sera édité en 1907 dans un ouvrage intitulé Le Pragmatisme : Un nouveau nom pour d'anciennes manières de penser.
Resource contentionIn computer science, resource contention is a conflict over access to a shared resource such as random access memory, disk storage, cache memory, internal buses or external network devices. A resource experiencing ongoing contention can be described as oversubscribed. Resolving resource contention problems is one of the basic functions of operating systems. Various low-level mechanisms can be used to aid this, including locks, semaphores, mutexes and queues.
Outline of machinesMachine – mechanical system that provides the useful application of power to achieve movement. A machine consists of a power source, or engine, and a mechanism or transmission for the controlled use of this power. The combination of force and movement, known as power, is an important characteristic of a machine.
Hiérarchie arithmétiquethumb|Illustration de la hiérarchie arithmétique. En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano. Un ensemble d'entiers est classé suivant les alternances de quantificateurs d'une formule sous forme prénexe qui permet de le définir.
