Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Télécharger
Accès plus rapide que le navigateur!
 

Charles Antony Richard Hoare

Indice Charles Antony Richard Hoare

Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.

66 relations: Academic Press, ACM Computing Surveys, Acta Informatica, Ada (langage), Algol (langage), Algorithme de sélection, Algorithme de tri, Andreï Kolmogorov, Association for Computing Machinery, École polytechnique fédérale de Lausanne, Éméritat, Cambridge, Christopher Strachey, Colombo, Communicating sequential processes, Communications of the ACM, Dîner des philosophes, Donald Knuth, Edsger Dijkstra, Elliott Brothers, Grande-Bretagne, IEEE Computer Society, Informatique, Institute of Electrical and Electronics Engineers, Knight Bachelor, Langage de programmation, Langage formel, Logique de Hoare, Médaille John von Neumann, Méthode formelle (informatique), Merton College (Oxford), Microsoft Research, Moniteur (programmation), Mountain View (Californie), Musée de l'Histoire de l'ordinateur, Nashville, Null, Occam (langage), Ole-Johan Dahl, Parallélisme (informatique), Pointeur (programmation), Président du conseil d'administration, Premier cycle universitaire, Prentice Hall, Prix de Kyoto, Prix Friedrich L. Bauer, Prix Turing, Programmation concurrente, Quickselect, Royal Academy of Engineering, ..., Royal Navy, Royal Society, Science de l'information, Special Interest Group on Programming Languages, Sri Lanka, Système d'exploitation, Traduction automatique, Tri rapide, Union des républiques socialistes soviétiques, Université complutense de Madrid, Université d'État de Moscou, Université d'économie d'Athènes, Université d'Oxford, Université de Bath, Université de Varsovie, Université Queen's de Belfast. Développer l'indice (16 plus) »

Academic Press

Academic Press est une maison d'édition américaine faisant partie du groupe Elsevier.

Nouveau!!: Charles Antony Richard Hoare et Academic Press · Voir plus »

ACM Computing Surveys

ACM Computing Surveys est une revue scientifique basée sur l'évaluation par les pairs publiée par l'Association for Computing Machinery.

Nouveau!!: Charles Antony Richard Hoare et ACM Computing Surveys · Voir plus »

Acta Informatica

Acta Informatica est une revue scientifique évaluée par des pairs éditée par Springer Science+Business qui publie des articles originaux de recherche en informatique La revue est surtout connue pour ses publications en informatique théorique.

Nouveau!!: Charles Antony Richard Hoare et Acta Informatica · Voir plus »

Ada (langage)

Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980.

Nouveau!!: Charles Antony Richard Hoare et Ada (langage) · Voir plus »

Algol (langage)

Algol est un langage de programmation créé à la fin des années 1950.

Nouveau!!: Charles Antony Richard Hoare et Algol (langage) · Voir plus »

Algorithme de sélection

En algorithmique, un algorithme de sélection est une méthode ayant pour but de trouver le k-ième plus petit élément d'un ensemble d'objets (étant donné un ordre et un entier k).

Nouveau!!: Charles Antony Richard Hoare et Algorithme de sélection · Voir plus »

Algorithme de tri

Tri d'une liste aléatoire à l'aide du tri par fusion. Un algorithme de tri est, en informatique ou en mathématiques, un algorithme qui permet d'organiser une collection d'objets selon une relation d'ordre déterminée.

Nouveau!!: Charles Antony Richard Hoare et Algorithme de tri · Voir plus »

Andreï Kolmogorov

Andreï Nikolaïevitch Kolmogorov (à Tambov – à Moscou) est un mathématicien russe et soviétique qui a apporté des contributions significatives en mathématiques, notamment en théorie des probabilités, topologie, turbulence, mécanique classique, logique intuitionniste, théorie algorithmique de l'information et en analyse de la complexité des algorithmes.

Nouveau!!: Charles Antony Richard Hoare et Andreï Kolmogorov · Voir plus »

Association for Computing Machinery

L'ACM (en anglais « », littéralement « association pour les machines de calcul ») est une association internationale à but non lucratif fondée en 1947, la première à être vouée à l'informatique.

Nouveau!!: Charles Antony Richard Hoare et Association for Computing Machinery · Voir plus »

École polytechnique fédérale de Lausanne

Welcome Day 2018, place Nord de l'EPFL. L’École polytechnique fédérale de Lausanne (EPFL) est une université technique, spécialisée dans le domaine de la science et de la technologie, située à Lausanne (sur le territoire de la commune d'Écublens), en Suisse, et fondée en 1853 sous le nom d’École spéciale de Lausanne.

Nouveau!!: Charles Antony Richard Hoare et École polytechnique fédérale de Lausanne · Voir plus »

Éméritat

Léméritat, ou honorariat en Belgique, est un titre honorifique accordé à certains enseignants du supérieur et chercheurs, qui leur permet de poursuivre certains travaux alors qu'ils sont admis à faire valoir leur droit à la retraite.

Nouveau!!: Charles Antony Richard Hoare et Éméritat · Voir plus »

Cambridge

Cambridge /'keɪm.brɪdʒ/ est une ville d’Angleterre, au Royaume-Uni, située à au nord de Londres, sur la rivière Cam.

Nouveau!!: Charles Antony Richard Hoare et Cambridge · Voir plus »

Christopher Strachey

Christopher Strachey (né le, décédé le d'une hépatite) est un informaticien britannique.

Nouveau!!: Charles Antony Richard Hoare et Christopher Strachey · Voir plus »

Colombo

Colombo (en කොළඹ, Kolamba,; en கொழும்பு, Koḻumpu) est la capitale économique du Sri Lanka et sa plus grande ville par le nombre d'habitants.

Nouveau!!: Charles Antony Richard Hoare et Colombo · Voir plus »

Communicating sequential processes

En programmation concurrente, Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l'interaction de systèmes.

Nouveau!!: Charles Antony Richard Hoare et Communicating sequential processes · Voir plus »

Communications of the ACM

Communications of the ACM (CACM) est la principale revue mensuelle de l'Association for Computing Machinery (ACM).

Nouveau!!: Charles Antony Richard Hoare et Communications of the ACM · Voir plus »

Dîner des philosophes

Le problème du « dîner des philosophes » illustre le partage de ressources dans les systèmes informatique en mettant en scène des philosophes qui doivent se partager des fourchettes pour pouvoir déguster des spaghettis.

Nouveau!!: Charles Antony Richard Hoare et Dîner des philosophes · Voir plus »

Donald Knuth

Donald Ervin Knuth (. La prononciation proposée est Ka-NOUSS.), né le à Milwaukee dans le Wisconsin, est un informaticien et mathématicien américain de renom, professeur émérite en informatique à l'université Stanford (en tant que « professeur émérite de l'art de programmer »).

Nouveau!!: Charles Antony Richard Hoare et Donald Knuth · Voir plus »

Edsger Dijkstra

Edsger Wybe Dijkstra (prononciation), né à Rotterdam le et mort à Nuenen le, est un mathématicien et informaticien néerlandais du.

Nouveau!!: Charles Antony Richard Hoare et Edsger Dijkstra · Voir plus »

Elliott Brothers

Le constructeur d'ordinateurs Elliott Brothers est l'un des premiers fabricants d'ordinateurs en Grande-Bretagne.

Nouveau!!: Charles Antony Richard Hoare et Elliott Brothers · Voir plus »

Grande-Bretagne

La Grande-Bretagne (ou plus rarement Britain,,,,, en breton: Breizh-Veur) est une île au large du littoral nord-ouest de l'Europe continentale.

Nouveau!!: Charles Antony Richard Hoare et Grande-Bretagne · Voir plus »

IEEE Computer Society

L'IEEE Computer Society (CS) est une association professionnelle fondée en 1971 pour faire avancer la théorie, la pratique et les applications de l'informatique et des technologies de l'information.

Nouveau!!: Charles Antony Richard Hoare et IEEE Computer Society · Voir plus »

Informatique

bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.

Nouveau!!: Charles Antony Richard Hoare et Informatique · Voir plus »

Institute of Electrical and Electronics Engineers

L’Institute of Electrical and Electronics Engineers ou IEEEL'acronyme se prononce « ail triple i » ou « i trois e ».

Nouveau!!: Charles Antony Richard Hoare et Institute of Electrical and Electronics Engineers · Voir plus »

Knight Bachelor

Le rang de Knight Bachelor (Kt) fait partie des distinctions du Royaume-Uni.

Nouveau!!: Charles Antony Richard Hoare et Knight Bachelor · Voir plus »

Langage de programmation

Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.

Nouveau!!: Charles Antony Richard Hoare et Langage de programmation · Voir plus »

Langage formel

Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.

Nouveau!!: Charles Antony Richard Hoare et Langage formel · Voir plus »

Logique de Hoare

La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé.

Nouveau!!: Charles Antony Richard Hoare et Logique de Hoare · Voir plus »

Médaille John von Neumann

John von Neumann dans les années 1980 La médaille John von Neumann est une récompense attribuée tous les ans depuis 1992 par l'IEEE à une ou deux personnes en reconnaissance de leurs « accomplissements extraordinaires en sciences et technologies informatiques ».

Nouveau!!: Charles Antony Richard Hoare et Médaille John von Neumann · Voir plus »

Méthode formelle (informatique)

En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.

Nouveau!!: Charles Antony Richard Hoare et Méthode formelle (informatique) · Voir plus »

Merton College (Oxford)

Merton College est l'un des colleges constituant l'université d'Oxford au Royaume-Uni.

Nouveau!!: Charles Antony Richard Hoare et Merton College (Oxford) · Voir plus »

Microsoft Research

Microsoft Research (MSR) est une division de Microsoft spécialisée dans la recherche en informatique créée en 1991.

Nouveau!!: Charles Antony Richard Hoare et Microsoft Research · Voir plus »

Moniteur (programmation)

Un moniteur est une approche pour synchroniser deux ou plusieurs tâches qui utilisent des ressources partagées, habituellement des appareils séparés (imprimantes) ou des ensembles de variables.

Nouveau!!: Charles Antony Richard Hoare et Moniteur (programmation) · Voir plus »

Mountain View (Californie)

Mountain View est une municipalité située dans le comté de Santa Clara, en Californie, dans le sud de la baie de San Francisco, entre Palo Alto, Sunnyvale et Los Altos.

Nouveau!!: Charles Antony Richard Hoare et Mountain View (Californie) · Voir plus »

Musée de l'Histoire de l'ordinateur

Le musée de l'Histoire de l'ordinateur (Computer History Museum en anglais) est un musée américain fondé en 1996 à Mountain View en Californie, lorsque le Computer Museum de Boston déménagea sa collection d'ordinateurs centraux et d'articles historiques à Moffett Field, préférant se concentrer sur des expositions sur l'informatique destinées aux enfants.

Nouveau!!: Charles Antony Richard Hoare et Musée de l'Histoire de l'ordinateur · Voir plus »

Nashville

Nashville (Prononciation en français standard standard retranscrite phonémiquement selon la norme API.; en anglais: Prononciation en anglais américain standard retranscrite phonémiquement selon la norme API.) est la capitale de l'État du Tennessee, aux États-Unis.

Nouveau!!: Charles Antony Richard Hoare et Nashville · Voir plus »

Null

Null (nil dans certains languages) est une valeur, une constante ou un mot clef présent dans de nombreux langages informatiques, et qui désigne l'état d'un pointeur qui n'a pas de cible ou d'une variable qui n'a pas de valeur.

Nouveau!!: Charles Antony Richard Hoare et Null · Voir plus »

Occam (langage)

Le langage de programmation Occam est un langage de programmation adapté à l'architecture parallèle, apparu en 1983.

Nouveau!!: Charles Antony Richard Hoare et Occam (langage) · Voir plus »

Ole-Johan Dahl

Ole-Johan Dahl (-) est un informaticien norvégien.

Nouveau!!: Charles Antony Richard Hoare et Ole-Johan Dahl · Voir plus »

Parallélisme (informatique)

Blue Gene L cabinet, un des supercalculateurs massivement parallèles les plus rapides des années 2000. En informatique, le parallélisme consiste à mettre en œuvre des architectures d'électronique numérique permettant de traiter des informations de manière simultanée, ainsi que les algorithmes spécialisés pour celles-ci.

Nouveau!!: Charles Antony Richard Hoare et Parallélisme (informatique) · Voir plus »

Pointeur (programmation)

En programmation informatique, un pointeur est un objet qui contient l'adresse mémoire d'une donnée ou d'une fonction.

Nouveau!!: Charles Antony Richard Hoare et Pointeur (programmation) · Voir plus »

Président du conseil d'administration

Le président du conseil d'administration (ou PCA) est une personne élue par les membres du conseil d'administration, au sein d'une société anonyme (SA).

Nouveau!!: Charles Antony Richard Hoare et Président du conseil d'administration · Voir plus »

Premier cycle universitaire

Le premier cycle universitaire est le premier des trois cycles universitaires.

Nouveau!!: Charles Antony Richard Hoare et Premier cycle universitaire · Voir plus »

Prentice Hall

Prentice Hall est un éditeur majeur d'ouvrages universitaires et scolaires.

Nouveau!!: Charles Antony Richard Hoare et Prentice Hall · Voir plus »

Prix de Kyoto

Le est une récompense internationale décernée à des personnes qui se sont distinguées par des contributions remarquables au développement de la science et de la civilisation mondiale, ainsi qu’à l’élévation spirituelle.

Nouveau!!: Charles Antony Richard Hoare et Prix de Kyoto · Voir plus »

Prix Friedrich L. Bauer

Le prix Friedrich L. Bauer (Friedrich L. Bauer-Preis en allemand) est un prix informatique de l'université technique de Munich, nommé ainsi en l’honneur de Friedrich L. Bauer.

Nouveau!!: Charles Antony Richard Hoare et Prix Friedrich L. Bauer · Voir plus »

Prix Turing

Le prix Turing ou, en hommage à Alan Turing (1912-1954), est attribué tous les ans depuis 1966 à une personne sélectionnée pour sa contribution de nature technique faite à la communauté informatique.

Nouveau!!: Charles Antony Richard Hoare et Prix Turing · Voir plus »

Programmation concurrente

La programmation concurrente est un paradigme de programmation tenant compte, dans un programme, de l'existence de plusieurs piles sémantiques qui peuvent être appelées threads, processus ou tâches.

Nouveau!!: Charles Antony Richard Hoare et Programmation concurrente · Voir plus »

Quickselect

En algorithmique, quickselect est un algorithme de sélection qui retourne le ke plus petit élément dans une liste non ordonnée.

Nouveau!!: Charles Antony Richard Hoare et Quickselect · Voir plus »

Royal Academy of Engineering

La Royal Academy of Engineering (en français, Académie royale d'ingénierie) est une académie nationale du génie du Royaume-Uni qui rassemble des ingénieurs britanniques issus de tous les secteurs de l'ingénierie dans le but de faire progresser et de promouvoir l'excellence de cette discipline.

Nouveau!!: Charles Antony Richard Hoare et Royal Academy of Engineering · Voir plus »

Royal Navy

6, destroyer La Royal Navy est la composante maritime de l'armée britannique qui forme avec la British Army (Armée de terre) et la Royal Air Force (Armée de l'air) les Forces armées britanniques.

Nouveau!!: Charles Antony Richard Hoare et Royal Navy · Voir plus »

Royal Society

La Royal Society, dont le nom officiel est Royal Society of London for the Improvement of Natural Knowledge et que l'on peut traduire littéralement par « Société royale de Londres pour l'amélioration des connaissances naturelles », est une institution fondée en 1660 siégeant au Carlton House Terrace à Londres et destinée à la promotion des sciences.

Nouveau!!: Charles Antony Richard Hoare et Royal Society · Voir plus »

Science de l'information

La science de l'information (ou les sciences de l'information) est un champ disciplinaire ayant pour objet scientifique l'information, lequel est principalement concerné par l'analyse, la collecte, la classification, la manipulation, le stockage, la récupération, la circulation, la diffusion et la protection de l'information.

Nouveau!!: Charles Antony Richard Hoare et Science de l'information · Voir plus »

Special Interest Group on Programming Languages

Le Special Interest Group on Programming Languages (SIGPLAN) est le pôle d'intérêt commun de l'ACM dans le domaine de la programmation informatique.

Nouveau!!: Charles Antony Richard Hoare et Special Interest Group on Programming Languages · Voir plus »

Sri Lanka

Le Sri Lanka, en forme longue république socialiste démocratique du Sri Lanka (en ශ්‍රී ලංකා, et ශ්‍රී ලංකා ප්‍රජාතාන්ත්‍රික සමාජවාදී ජනරජය,; en இலங்கை,,, et இலங்கை சனநாயக சோஷலிசக் குடியரசு,; et Democratic Socialist Republic of Sri Lanka), est un État insulaire de du sous-continent indien, situé au sud-est de l'Inde et à l'est des Maldives, et peuplé d'environ vingt-deux millions d'habitants.

Nouveau!!: Charles Antony Richard Hoare et Sri Lanka · Voir plus »

Système d'exploitation

En informatique, un système d'exploitation (souvent appelé OS — de l'anglais — ou parfois SE — en français) est un ensemble de programmes qui dirige l'utilisation des ressources d'un ordinateur par des logiciels applicatifs.

Nouveau!!: Charles Antony Richard Hoare et Système d'exploitation · Voir plus »

Traduction automatique

La traduction automatique désigne la traduction brute d'un texte entièrement réalisée par un ou plusieurs programmes informatiques.

Nouveau!!: Charles Antony Richard Hoare et Traduction automatique · Voir plus »

Tri rapide

En informatique, le tri rapide ou tri pivot (en anglais quicksort) est un algorithme de tri inventé par C.A.R. Hoare en 1961 et fondé sur la méthode de conception diviser pour régner.

Nouveau!!: Charles Antony Richard Hoare et Tri rapide · Voir plus »

Union des républiques socialistes soviétiques

L'Union des républiques socialistes soviétiques, abrégé en URSS« URSS » présente la particularité de couramment s'écrire et se prononcer comme un sigle simple, chaque lettre prononcée séparément: U-R-S-S, mais aussi de couramment s'écrire et se prononcer comme un acronyme: « l'URSS » (le mot et son article sont alors prononcés comme le mot inventé « lurce », phonétique). ou Union soviétique (en russe, СССР; transcription: Soïouz Sovietskikh Sotsialistitcheskikh Riespoublik, SSSR; « Union des républiques socialistes des conseils »), était un État fédéral transcontinental à régime communiste.

Nouveau!!: Charles Antony Richard Hoare et Union des républiques socialistes soviétiques · Voir plus »

Université complutense de Madrid

L'université Complutense de Madrid (en Universidad Complutense de Madrid), connue officieusement comme « la Complutense » pour avoir été la seule université espagnole autorisée à accorder le titre de docteur au cours de la fin du, est l'une des principales et plus prestigieuses universités d'Espagne (et du monde hispanophone).

Nouveau!!: Charles Antony Richard Hoare et Université complutense de Madrid · Voir plus »

Université d'État de Moscou

L'université d'État Lomonossov de Moscou (en russe Московский государственный университет имени М., Moskovski gossoudarstvenny ouniversitet imeni M. V. Lomonossova, abréviation MGU) est une université russe située à Moscou.

Nouveau!!: Charles Antony Richard Hoare et Université d'État de Moscou · Voir plus »

Université d'économie d'Athènes

L’université d'économie d'Athènes (en Οικονομικό Πανεπιστήμιο Αθηνών / Oikonomikó Panepistímio Athinón (OPA)) est une université publique, fondée en 1920 à Athènes, en Grèce.

Nouveau!!: Charles Antony Richard Hoare et Université d'économie d'Athènes · Voir plus »

Université d'Oxford

L’université d'Oxford, située dans la ville du même nom, à 90 km au nord-ouest de Londres, dans le comté d'Oxford ou Oxfordshire, dans l'Angleterre du Sud-Est, est l'une des plus prestigieuses universités sur le plan mondial.

Nouveau!!: Charles Antony Richard Hoare et Université d'Oxford · Voir plus »

Université de Bath

L'université de Bath (en anglais: University of Bath) est une université anglaise située à Bath.

Nouveau!!: Charles Antony Richard Hoare et Université de Bath · Voir plus »

Université de Varsovie

L'université de Varsovie est une université publique polonaise fondée en 1816.

Nouveau!!: Charles Antony Richard Hoare et Université de Varsovie · Voir plus »

Université Queen's de Belfast

L'université Queen's de Belfast (abrégé en QUB; en irlandais Ollscoil na Ríona, Béal Feirste; dans les deux cas, littéralement l'« Université de la Reine de Belfast ») est une université britannique située à Belfast en Irlande du Nord.

Nouveau!!: Charles Antony Richard Hoare et Université Queen's de Belfast · Voir plus »

Redirections ici:

C. A. R. Hoare, C.A. Hoare, C.A.R. Hoare, Tony Hoare.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »