Calcul formelLe calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes. Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.
Efficacité énergétique (thermodynamique)En physique et ingénierie mécanique, l'efficacité énergétique (ou efficacité thermodynamique) est un nombre sans dimension, qui est le rapport entre ce qui peut être récupéré utilement de la machine sur ce qui a été dépensé pour la faire fonctionner. Aux États-Unis, pour les appareils et équipements résidentiels, elle est déterminée par le facteur énergétique (energy factor). Cette notion est souvent confondue avec une définition du rendement thermodynamique, pour des systèmes dont l'efficacité énergétique théorique maximale est inférieure à un, comme les moteurs dithermes ou les moteurs électriques.
Inversion de prioritéL'inversion de priorité est un phénomène qui peut se produire en programmation concurrente. Il s'agit d'une situation dans laquelle un processus de haute priorité ne peut pas avoir accès au processeur car il est utilisé par un processus de plus faible priorité. Pour les exemples, nous utiliseront des tâches A, B, et C, A ayant la plus forte priorité, C la plus faible, et B une priorité intermédiaire, et un mutex X qui sert à gérer une ressource partagée entre la tâche A et la tâche C.
Equinox (celestial coordinates)In astronomy, an equinox is either of two places on the celestial sphere at which the ecliptic intersects the celestial equator. Although there are two such intersections, the equinox associated with the Sun's ascending node is used as the conventional origin of celestial coordinate systems and referred to simply as "the equinox". In contrast to the common usage of spring/vernal and autumnal equinoxes, the celestial coordinate system equinox is a direction in space rather than a moment in time.
Système de coordonnées équatorialesLe système de coordonnées équatoriales est un système de coordonnées célestes dont les valeurs sont indépendantes de la position de l'observateur. Ce système utilise comme plan de référence la projection, sur la sphère céleste, de l'équateur de la Terre. Cette projection est l'équateur céleste, qui divise le ciel en deux hémisphères, chacun ayant comme axe de référence la projection d'un pôle terrestre, perpendiculaire à l'équateur céleste. À partir de ces divisions, le système permet d'établir deux coordonnées angulaires : l'ascension droite et la déclinaison.
POWER10thumb|Single Chip Module (SCM) Power10 Le POWER10 est un processeur de la gamme POWER conçu initialement par IBM, avec un certain nombre de contributions significatives des partenaires de la fondation OpenPower. Il a été conçu en particulier pour répondre aux besoins d'informatique analytique et du Big Data (mégadonnées en français). IBM envisage de fournir le processeur POWER10 en 2021, il sera fabriqué par Samsung MicroElectronics avec une finesse de gravure à 7 nm à l'aide d'un processus de lithographie en EUV.
