nf

informatique invisible

Définition

Terme générique pour les produits à base informatique enfouis (embedded) dans des produits non perçus comme des objets informatiques, mais utilisés pour une fonction autre: machines, gadgets électroniques, voitures, etc.

Voir CE, OSGI, OAL.

programmation fonctionnelle

Définition

Technique de programmation dans laquelle les programmes source représentent une fonction des données initiales.

Les langages destinés à la programmation fonctionnelles se distinguent en général des langages traditionnels par l'absence de structure itérative (boucle) comme les classiques FOR ou WHILE, et par le fait que les variables ne varient plus après leur affectation initiale. La récursion remplace les boucles, et le fait que l'itération disparaisse supprime la majorité des cas où la modification de valeur de variables est nécessaire.

Il existe deux grandes classes de langages fonctionnels:

  • les langages spécialisés, comme CAML, Haskell, ML, Miranda, Scheme, très populaires dans le monde de la recherche informatique et peu répandus ailleurs
  • les tableurs : hormis la partie langage de script éventuelle, une feuille de calcul implémente un programme fonctionnel: chaque cellule s'exprime en fonction de valeurs initialisées une seule fois (valeurs brutes) ou calculées en fonction d'autres valeurs (formules), sans itération ou modification après l'affectation initiale.

Voir XSLT.

gestion documentaire

Définition

Voir "GEIDE".

liaison statique

Définition

Liaison des symboles et des fichiers annexes effectuée par un éditeur de liens, à la production du fichier exécutable.

Comparer avec liaison précoce, liaison tardive.

liaison tardive

Définition

Liaison des symboles effectuée au moment du chargement d'un programme, ou au moment de l'utilisation du symbole.

Comparer avec liaison précoce.

liaison précoce

Définition

Liaison des symboles effectuée par un éditeur de liens, à la production du fichier exécutable d'un programme.

Comparer avec liaison statique, liaison tardive.

Voir liaison.

liaison

Définition

Etablissement de la correspondance entre les symboles d'un programme source et les adresses correspondantes dans l'exécutable.

La liaison peut être faite lors de la production du fichier exécutable (liaison statique / liaison précoce) ou au moment de l'invocation du symbole à l'exécution (liaison tardive).

Le programme en charge de l'établissement des liaisons statique s'appelle linker ou éditeur de liens en français.

La distinction entre liaison statique et liaison précoce tient à la nature des fichiers produits : la liaison précoce se limite au contrôle et à la résolution des symboles, qui peuvent être invoqués à l'exécution depuis une module chargé dynamiquement ou un objet serveur, alors que le terme de liaison statique recouvre en complément la production d'un exécutable autonome, ne nécessitant aucun module complémentaire pour fonctionner.

stabilité

Définition

Propriété présentée par un algorithme de tri qui respect l'ordre initial des données soumises au tri et qui ne nécessitent pas réarrangement selon la clef de tri. Exemple:

ClefAutre donnée
2deuxième choix
3troisième choix
1premier choix
2autre deuxième choix

Une fois les données triées par un tri stable sur la colonne "clef", le résultat DOIT être

ClefAutre donnée
1premier choix
2deuxième choix
2autre deuxième choix
3troisième choix

Alors qu'un algorithme de tri instable sur la même clef pourrait donner indifféremment le résultat précédent ou le suivant:

ClefAutre donnée
1premier choix
2autre deuxième choix
2deuxième choix
3troisième choix

En particulier, tout algorithme de tri intégral est instable pour toute clef autre qu'une clef composée de l'ensemble des colonnes triées.

liaison

Définition

Couche 2 d'une pile de protocoles OSI ou, par extension, décrite selon le modèle OSI ou SNA.

porteuse

Définition

Signal pouvant être modulé par un signal porteur de données pour permettre sa transmission sur une ligne de communications. Le terme anglais est carrier. Voir modem.

« premier‹ précédent123456789suivant ›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

ECMA

European Computer Manufacturers Association

in | |

Association des constructeurs et éditeurs informatiques ayant une activité de production en Europe, créée en 1961 à la suite d'une initiative de Bull, IBM et ICL en 1960. Elle émet des normes… 

Syndiquer le contenu

Dernières définitions

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

Un mot au hasard

shopbot : Shopping roBot  

Alertes CERTA