Résultats de la recherche

{{ébauche|informatique}} ...>2^n</math>, n est le nombre de bits nécessaire pour écrire ces états en [[Système binaire|binaire]]. Par exemple, pour une valence de 4, il y a 4 états possi ...

{{ébauche|informatique|ingénierie|électronique}} ...e méthodologie [[Test (informatique)|pour tester]], vérifier et valider un système logiciel. ...

...e de données|structures de données infinies]] comme les flux ou pour les [[système de transition d'états|systèmes transitionnels]]. {{Portail|programmation informatique|informatique théorique}} ...

* en [[informatique]] : ...informatique)|confluence]] est une propriété d'un système de [[réécriture (informatique)|réécriture]] <math>\rightarrow_R</math> qui est convergent, ...

...ant de type : le [[Polymorphisme (informatique)|polymorphisme]] (d'où le [[Système F]]); {{Portail|logique|Informatique théorique}} ...

...]] associant des systèmes qui se comportent de la même façon au sens qu'un système ''simule'' l'autre. Intuitivement, un système simule l'autre s'il peut imiter toutes ses actions. ...

{{Ébauche|informatique théorique}} ...nformatique]], et en particulier en [[théorie de la calculabilité]], un '''système de programmation''' est une [[numérotation de Gödel]] de l'ensemble <math>\ ...

...e 'A' de [[Rivest Shamir Adleman|RSA]], est à l'origine du terme « [[virus informatique]] » qu'il aurait inventé au début des années 1980. ...fichier]]s avec une [[clé de chiffrement|clé]] codée sur plus de 40 [[Bit (informatique)|bits]] ! ...

{{Ébauche|informatique}} ...) est une [[Unité de mesure en informatique|unité de mesure]] commune en [[informatique]]. Elle est utilisée dans les [[Test de performance|tests de performance]] ...

{{ébauche|informatique}} ...spondant à un nombre qui possède (en [[Système binaire|base deux]] ou en [[Système décimal|base dix]]) un nombre fixe de chiffres après la virgule. Les nombre ...

* Un '''intégrateur''', en [[informatique]], est la personne chargée d'intégrer différents composants informatiques e ** Un [[intégrateur logiciel]] est un technicien en informatique qui teste, livre, installe et maintient une application métier à intervalle ...

{{ébauche|informatique}} ...priété de Church-Rosser''' est une propriété des systèmes de [[Réécriture (informatique)|réécriture]]. Elle est nommée ainsi d'après les mathématiciens [[Alonzo Ch ...

En [[typographie]] [[informatique]], un système d’'''impression élégante'''<ref>[http://ubuntu.cs.utah.edu/ubuntu/dists/nat ...nt une suite de caractères [[télétype]]s « <tt>x ^ 2 + 3 * x</tt> » un tel système pourra afficher <math>x^2+3x</math>. Certaines [[Calculatrice_graphique | c ...

=== Mathématiques et informatique === ...ue|objectif]] doublement [[Astigmatisme|anastigmatique]], le premier des [[Système anastigmatique à trois miroirs|systèmes anastigmatiques à trois miroirs]]. ...

...n d'une tâche ''à temps d'exécution constant'' que l'on peut attendre d'un système dont on améliore les ressources. Elle est énoncée par l'informaticien [[Joh ...n de la partie de la tâche bénéficiant de l'amélioration des ressources du système ; ...

...sur les événements basé sur la [[causalité]] de deux événements dans un [[système distribué]] [[asynchrone]]. Elle est introduite par [[Leslie Lamport]] en [ ...oge centrale. La relation arrivé-avant permet de donner aux événements du système une structure de [[Treillis_(ensemble_ordonné)|treillis]]. ...

* La machine parasitaire établit une connexion à un [[serveur informatique|serveur]] via un protocole applicatif comme [[HTTP]] ; Il existe des modules de logiciel de [[Système de détection d'intrusion|détection d'intrusion]] pour [[Snort]] qui permett ...

En [[informatique théorique]], un '''système de transition d'états''' est une forme de [[machine abstraite]] utilisée po Un système de transition d'états est constitué d'un ensemble d'[[État (informatique)|états]] et d'un ensemble de transitions d'un état à un autre, qui peuvent ...

...iques)|fonctions]] calculables par une [[machine de Turing]] ou tout autre système de programmation [[Turing-complet]]. Selon la [[thèse de Church]], la class Un algorithme, ou un [[Programme informatique|programme]], calculant la fonction : ...

...-à-dire que, quoi qu'il se soit passé auparavant, à partir du moment où le système arrive dans un état donné, son [[évolution]] sera toujours identique<ref>[h Ce processus s'oppose donc au [[Processus stochastique|système stochastique]]. ...