fr

prédicat

Définition

Assertion contrôlant le déroulement d'un programme. Une instruction correcte pour effectuer une tâche donnée respecte les prédicats spécifiés en sortie pour toutes les valeurs possibles des prédicats reçus en entrée. Voir invariant.

Robinson (règle de)

Définition

Règle d'unification utilisée en logique formelle pour calculer la valeur de vérité d'une proposition. Son application permet en effet des chaînes de résolution plus courtes que l'application de la logique conventionnelle (modus ponens, modus tollens, etc), tout étant équivalente.

proxy inverse

En d'autres termes

fin 90s

Définition

Logiciel client et serveur, typiquement pour HTTP. Il interroge régulièrement des serveurs à publier, afin de disposer des réponses statiques formulables rapidement pour les clients requérant des informations de ces serveurs. Il est considéré comme inverse car il est d'un point de vue logique placé sur le site serveur, et c'est lui qui est connu comme destinataire des requêtes, et non le serveur origine, au contraire d'un proxy normal, dans lequel le serveur origine est celui adressé, et où le proxy est invisible dans les URLs.

SGDT

En d'autres termes

Système de Gestion de Données Techniques

Définition

APROGED

En d'autres termes

Association des Professionnels de la GEIDE

Définition

Voir "EIDE", "GEIDE".

Tribunix

Définition

Magazine UNIX de l'AFUU.

Epoque du terme

80s

AFUU

En d'autres termes

Association Française des Utilisateurs d'Unix

Définition

Voir AFUL, Tribunix.

Epoque du terme

80s

AFUL

En d'autres termes

Association Française des Utilisateurs de Linux et des logiciels libres

Définition

Voir LUG, FLOSS.

palette

En d'autres termes

palette

Définition

Liste de couleurs acceptées simultanément par une unité d'affichage ou impression raster.

L'utilisation d'une palette permet d'exploiter des périphériques disposant d'un nombre élevé de couleurs (gamut), et notamment les périphériques analogiques, au-travers d'un contrôleur aux ressources restreintes en termes d'adressage, comme une carte vidéo à faible mémoire.

Un terme plus spécialisé (en anglais) est CLUT. Les échantillons de rendu de couleur qui constituent la palette sont dits swatch, ce dernier terme étant souvent emloyé pour désigner une présentation de la palette.

color depth

En d'autres termes

profondeur de couleur

Définition

Voir profondeur de couleur

« premier‹ précédent444546474849505152suivant ›dernier »

Get started with Drupal 7

Marques les plus citées

toutes les marques

acheter sur OSInet

Accès direct

Recherche

Le mot du jour

BSOD

Blue Screen Of Death

in | |

cf Ecran bleu 

Syndiquer le contenu

Dernières définitions

Chrome - Chromium - digitaalisen kuilun - ghetto sharding - HTTP - MongoDB - PNaCl - QUIC - Skia - SPDY

Un mot au hasard

coarse WDM  

Alertes CERTA