Problème du consensusLe problème du consensus est un problème fondamental en théorie du calcul distribué. Il consiste pour un ensemble de machines à se mettre d'accord sur une valeur ou, par extension, sur une séquence de valeurs. La résolution du consensus est primordiale pour la coordination des systèmes distribués. Elle permet notamment la consistance des systèmes répliqués malgré la défaillance d'une partie de leurs composants.
Synchronisation d'horlogesLa synchronisation d'horloges est un mécanisme permettant à deux systèmes distincts d'être synchronisés, c'est-à-dire d'avoir une différence entre leurs temps subjectifs la plus faible possible. En sciences de l'information (Informatique, télécommunications et traitement du signal), le temps est une notion omniprésente.
Paxos (informatique)En informatique distribuée, Paxos est une famille de protocoles permettant de résoudre le consensus dans un réseau de nœuds faillibles, c'est-à-dire susceptible d'avoir des pannes. Le consensus désigne ici le fait que les différents nœuds se mettent d'accord sur un résultat, et c'est une opération difficile quand les nœuds ou leurs moyens de communications ont des pannes. Les protocoles de consensus sont les bases de l' à l'informatique distribuée, comme suggéré par Leslie Lamport et par Fred Schneider.
Horloge atomiquevignette|Horloge atomique commerciale à césium ayant servi à réaliser le temps légal français dans les années 1980 et comme référence pour l'horloge parlante. vignette|Horloge atomique à césium, vue interne. Une horloge atomique est une horloge qui utilise la pérennité et l'immuabilité de la fréquence du rayonnement électromagnétique émis par un électron lors du passage d'un niveau d'énergie à un autre pour assurer l'exactitude et la stabilité du signal oscillant qu'elle produit.
Horloge logiqueUne horloge logique est un dispositif logiciel qui sert à établir et mesurer une notion de temps établie selon la relation de causalité arrivé-avant dans un système réparti asynchrone. Différents types d'horloges logiques existent et fournissent plus ou moins d'information sur la causalité.
Protocole de communicationDans les réseaux informatiques et les télécommunications, un protocole de communication est une spécification de plusieurs règles pour un type de communication particulier. Initialement, on nommait protocole ce qui est utilisé pour communiquer sur une même couche d'abstraction entre deux machines différentes. Par extension de langage, on utilise parfois ce mot aussi aujourd'hui pour désigner les règles de communication entre deux couches sur une même machine.
Calcul distribuéUn calcul distribué, ou réparti ou encore partagé, est un calcul ou un traitement réparti sur plusieurs microprocesseurs et plus généralement sur plusieurs unités centrales informatiques, et on parle alors d'architecture distribuée ou de système distribué. Le calcul distribué est souvent réalisé sur des clusters de calcul spécialisés, mais peut aussi être réalisé sur des stations informatiques individuelles à plusieurs cœurs. La distribution d'un calcul est un domaine de recherche des sciences mathématiques et informatiques.
Horloge300px|vignette|Le Gros-Horloge de Rouen, horloge astronomique (Époque Renaissance). Une horloge est un instrument de mesure du temps qui généralement indique l'heure en continu. Le mot vient du latin , « qui dit l’heure », lui-même dérivé du grec ὡρολόγιον (formé à partir de oρα, « l'heure », et de λέγειν, « dire », λόγιον, « le dire »). Depuis l'Antiquité, le terme latin « horologium » désigne tout instrument susceptible d'indiquer l'heure, ce qui a mené bien souvent à des difficultés d'interprétation des textes anciens.
ThessaloniqueThessalonique (en grec : , ; en langues slaves Солун / Solun, ; en judéo-espagnol : סאלוניקו / Saloniko ; en aroumain : Sãruna ; en turc : Selanik) ou Salonique (, ) est une ville de Grèce, chef-lieu du district régional du même nom, située au fond du golfe Thermaïque. Elle est l'actuelle capitale de la périphérie de Macédoine-Centrale en Macédoine grecque et celle du diocèse décentralisé de Macédoine-Thrace.
Horloge radio-pilotéevignette|Atomic clock Une horloge radio-pilotée (en Anglais RCC, qui signifie Radio-Controlled Clock) est une horloge qui est synchronisée sur un signal horaire émis par une station disposant d'une référence de temps, par exemple une horloge atomique. Une horloge radio-pilotée peut être synchronisée sur les signaux d'un émetteur unique comme DCF77, Allouis, ou bien sur de multiples émetteurs comme les satellites GPS. Les horloges radio-pilotées peuvent être des horloges décoratives, des montres, des horloges d'ordinateur, ou d'autres systèmes qui ont besoin de disposer de l'heure avec précision.
Problème des généraux byzantinsEn informatique, le problème des généraux byzantins est une métaphore qui traite de la remise en cause de la fiabilité des transmissions et de l'intégrité des interlocuteurs. La question est donc de savoir comment, et dans quelle mesure, il est possible de prendre en compte une information dont la source ou le canal de transmission est suspect. La solution implique l'établissement d'un algorithme (d'une stratégie) adapté. Ce problème a été traité en profondeur pour la première fois dans l'article The Byzantine Generals Problem publié en 1982.
Network Time ProtocolNetwork Time Protocol (« protocole de temps réseau ») ou NTP est un protocole qui permet de synchroniser, via un réseau informatique, l'horloge locale d'ordinateurs sur une référence d'heure. La première version v. 0 de NTP, formalisée dans la RFC 958, date de . Dès le début, ce protocole fut conçu pour offrir une précision de synchronisation meilleure que la seconde. Par rapport au service « Time Protocol » qui offre un service d'heure sans proposer une infrastructure, le projet NTP propose une solution globale et universelle de synchronisation qui est utilisable dans le monde entier.
Pendule (horloge)vignette|Pendule de bois. Une pendule, au féminin, est une horloge de moyenne taille fonctionnant grâce à un pendule. Un pendule, au masculin, est le balancier d'un tel mécanisme. Leur force motrice est généralement des ressorts. Une horloge (du grec hôra : heure ; et legein = logo : dire - parler) est un dispositif indiquant l'heure (ex. : horloge à eau, horloge à poids, horloge d'édifice...). Un mécanisme de grande ou très grande taille sera plutôt appelé horloge (même s'il est équipé d'un pendule) (ex.
Horloge vectorielleUne horloge vectorielle est un dispositif logiciel introduit indépendamment en 1988 par Colin Fidge et Friedemann Mattern afin de donner à chaque processus d'un système distribué asynchrone des informations sur la relation de causalité arrivé-avant. Chaque processus p possède un vecteur d'entiers appelé estampille dans lequel chaque composant estampille[i] est l'estimation par p de la valeur de l'horloge de Lamport du processus i. En particulier, estampille[p] est exactement l'horloge de Lamport de p.
Horloge astronomique300px|Détail du cadran de l'horloge astronomique de Prague Czech-2013-Prague-Astronomical clock face 200px|vignette|Prague, horloge astronomique Une horloge astronomique est une horloge qui affiche l'heure ainsi que des informations relatives à l'astronomie. De façon générale, le terme fait référence à toute horloge qui affiche, en plus de l'heure, des informations astronomiques.
Pendule à coucouUne pendule à coucou, ou elliptiquement coucou, est une pendule dont la sonnerie imite le cri du coucou. Le concept d’horloge à coucou aurait été créé par , en 1738, dans le village de Schönwald, en Forêt-Noire (Allemagne). Le coucou a été choisi parce que son cri est facile à imiter par des moyens mécaniques simples. Le modèle traditionnel, défini vers 1850, se présente typiquement comme une horloge murale à balancier apparent, mue par deux contrepoids en forme de cône, avec un boîtier décoré en forme de chalet ou de tronc d’arbre.
Distribution de DiracEn mathématiques, plus précisément en analyse, la distribution de Dirac, aussi appelée par abus de langage fonction δ de Dirac, introduite par Paul Dirac, peut être informellement considérée comme une fonction qui prend une « valeur » infinie en 0, et la valeur zéro partout ailleurs, et dont l'intégrale sur R est égale à 1. La représentation graphique de la « fonction » δ peut être assimilée à l'axe des abscisses en entier et le demi axe des ordonnées positives.
Blockchainvignette|redresse|Représentation d’une chaîne de blocs. La chaîne principale (en noir) est composée de la plus longue suite de blocs après le bloc initial (vert). Les blocs orphelins sont représentés en violet. Une blockchain, ou chaîne de blocs, est une technologie de stockage et de transmission d'informations sans autorité centrale. Techniquement, il s'agit d'une base de données distribuée dont les informations envoyées par les utilisateurs et les liens internes à la base sont vérifiés et groupés à intervalles de temps réguliers en blocs, formant ainsi une chaîne.
Validité externeLa validité externe d'une expérience scientifique désigne la capacité de ses conclusions à être généralisées à des contextes non-expérimentaux. Une expérience a une grande validité externe dès lors que ses résultats permettent de comprendre des phénomènes hors du laboratoire. À l'inverse, elle manque de validité externe si les conclusions que l'on peut en tirer ne sont valables que pour des conditions expérimentales restrictives.
Sainte-Sophie (Constantinople)Sainte-Sophie (du grec , Hagía Sophía, « sagesse de Dieu », « sagesse divine », nom repris en turc sous la forme Ayasofya) est une ancienne église devenue mosquée, située à Istanbul, dans l'ancienne Constantinople sur le côté ouest du Bosphore. À l'origine basilique chrétienne, elle est construite dans un premier temps au , puis reconstruite bien plus grande au sous l'empereur byzantin Justinien, où elle acquiert sa forme actuelle.
