Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Sans titre

Source officielle

https://mediaspace.epfl.ch/media/0_1xmnx8lt

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (32)

Architecture matérielle

vignette|Architecture matérielle d'un processeur Intel Core2. vignette|Architecture matérielle d'un Cyclops64 (BlueGene/C). L’architecture matérielle décrit l’agencement interne de composants électroniques ainsi que leurs interactions. Le terme interne employé ici permet de bien faire la différence avec l’architecture (externe) de processeur (ou architecture de jeu d'instruction), qui s'intéresse à la spécification fonctionnelle d'un processeur, du point de vue du programmeur en langage machine.

Architecture de von Neumann

L’architecture dite architecture de von Neumann est un modèle pour un ordinateur qui utilise une structure de stockage unique pour conserver à la fois les instructions et les données demandées ou produites par le calcul. De telles machines sont aussi connues sous le nom d’ordinateur à programme enregistré. La séparation entre le stockage et le processeur est implicite dans ce modèle. Cette architecture est appelée ainsi en référence au mathématicien John von Neumann, qui a élaboré en juin 1945 dans le cadre du projet EDVAC la première description d’un ordinateur dont le programme est stocké dans sa mémoire.

Informatique

alt=Salle informatique de la bibliothèque d'Art et d'Archéologie de Genève|vignette|Salle informatique de la 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 : théorique : concerne la définition de concepts et modèles ; pratique : s'intéresse aux techniques concrètes de mise en œuvre.

Vérification formelle

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.

Machine

right|thumb|Machine à rouler les cigarettes de James Albert Bonsack (1880) Une machine est un produit fini mécanique capable d'utiliser une source d'énergie communément disponible pour effectuer par elle-même, sous la conduite ou non d'un opérateur, une ou plusieurs tâches spécifiques, en exerçant un travail mécanique sur un outil, la charge à déplacer ou la matière à façonner. Une machine peut être fixe (machine-outil, machine à laver, etc.) ou mobile (locomotive, tondeuse à gazon, machine à écrire, etc.).

Afficher plus

Séances de cours associées (28)

Capture directe et caches de l'annexe

Couvre les caches en format direct et annexe dans l'architecture informatique, expliquant la structure du cache, les modèles d'accès, les taux de succès et les calculs de latence.

Architecture informatique: résumé

Explore l'architecture informatique, la mémoire, les registres, les circuits VLSI, les algorithmes et l'interaction logiciel-matériel.

NIOS II - Bus d'Avalon

Explore le processeur softcore NIOS II et le bus Avalon dans les systèmes embarqués FPGA.

Introduction: Structure du cours et principes fondamentaux de l'informatique

Explore le rôle de l'informatique dans la société et les bases de l'informatique, des algorithmes, des systèmes de communication et de la sécurité informatique.

Architecture informatique : Mémoire électronique (transistor)

Explique la mémoire électronique dans l'architecture informatique à l'aide de circuits basés sur des transistors pour le stockage et la récupération des données.

Afficher plus

Concepts associés (32)

Architecture matérielle

Architecture de von Neumann

Informatique

Vérification formelle

Machine

Afficher plus