Architecture informatique et conception logique

If You Don't Understand Apple Silicon, You Don't Understand Apple

Si vous ne comprenez pas Apple Silicon, vous ne comprenez pas Apple

Computer Architecture L13 - Interconnects (Fall 2026)

Architecture des ordinateurs L13 - Interconnexions (Fall 2026)

Comp. Arch. - Lecture 12: Memory Controllers and Memory Contention (Fall 2026)

Comp. Arch. - Lecture 9: Memory Latency & Memory Controllers (Fall 2026)

Comp. Arch. - Leçon 9 : Latence mémoire et contrôleurs mémoire (Automne 2026)

Comp. Arch. - Lecture 10: Memory Controllers (Fall 2026)

QuCS Lecture 83: Prof. Swamit Tannu (UW-Madison) | FTQC Architecture: Performance & Scalability

QuCS Conférence 83 : Prof. Swamit Tannu (UW-Madison) | Architecture FTQC : Performance et évolutivité

The AI Memory Wall: Why LLMs & AI Accelerators Hit a Bottleneck

Le mur de mémoire de l'IA : pourquoi les LLM et les accélérateurs d'IA atteignent un goulot d'étranglement

Comp. Arch. - Lecture 6: Memory Robustness II (Fall 2026)

Comp. Arch. - Lecture 6 : Robustesse mémoire II (Automne 2026)

Seminar in Computer Architecture - L3: Cutting Through the Virtual Memory Wall (Fall 2026)

Séminaire d'architecture des ordinateurs - L3 : Percer le mur de la mémoire virtuelle (Automne 2026)

Comp. Arch. - Lecture 5: Memory Robustness I (Fall 2026)

Comp. Arch. - Lecture 5 : Robustesse de la mémoire I (Automne 2026)

Turning microservice chaos into a beautiful concerto - Marc Duiker - NDC Oslo 2026

Transformer le chaos des microservices en un magnifique concerto - Marc Duiker - NDC Oslo 2026

Stop scaling and start tuning - Matt Burke - NDC Oslo 2026

Arrêtez de scaler et commencez à tuner - Matt Burke - NDC Oslo 2026

Seminar in Computer Architecture - L2: Premiere: MIMDRAM and FC-DRAM (Fall 2026)

Séminaire d'architecture des ordinateurs - L2 : Première : MIMDRAM et FC-DRAM (Automne 2026)

Comp. Arch. - Lecture 2: Memory Systems and Course Logistics (Fall 2026)

Comp. Arch. - Cours 2 : Systèmes de mémoire et logistique du cours (Automne 2026)

Lec 50: RTL to C Reverse Engineering

Lec 50 : Ingénierie inverse de RTL vers C

Ce CPU 3D japonais DETRUIT NVIDIA… SANS GPU !

Lec 43: Equivalence Checking Problems in Embedded Systems

Lec 43 : Problèmes de vérification d'équivalence dans les systèmes embarqués

La Chine Crée Le Premier Ordinateur Ternaire Au Monde — Il Pourrait Tout Changer

Lec 38: ROBDD based State Traversal in Symbolic Model Checking

Lec 38 : Traversée d'états basée sur ROBDD dans la vérification symbolique de modèles

Lec 37: BDD based Symbolic Model Checking - ROBDD Construction

Lec 37: Vérification de modèles symboliques basée sur BDD - Construction de ROBDD

Lec 29: Parallelism Fundamentals

Lec 29: Fondamentaux du parallélisme

Lec 33: Büchi Automata

Lec 33: Automates de Büchi

Lec 32: Introduction to LTL Model Checking

Lec 32 : Introduction au model checking LTL

Modern Computer Architecture & Organization • Jim Ledin & Maciej «MJ» Jedrzejewski • GOTO 2026

Architecture et organisation des ordinateurs modernes • Jim Ledin & Maciej «MJ» Jedrzejewski • GOTO 2026

Athena: Synergizing Data Prefetching and Off-Chip Prediction via Online Reinforcement Learning

Athena: Synergiser la prélecture de données et la prédiction hors puce via l'apprentissage par renforcement en ligne

Constable: ISCA 2024 Best Paper

Constable : Meilleur article de l'ISCA 2024

Lec 22: Introduction to Model Checking

Lec 22: Introduction à la vérification de modèles

Lec 20: Introduction to Formal Property Verification

Lec 20: Introduction à la vérification formelle de propriétés

Digital Design & Comp. Arch: L33: Problem Solving VII (Spring 2026)

Conception numérique et architecture informatique : L33 : Résolution de problèmes VII (printemps 2026)

Digital Design & Comp. Arch: L32: Problem Solving VI (Spring 2026)

Conception numérique et architecture des ordinateurs : L32 : Résolution de problèmes VI (printemps 2026)

Digital Design & Comp. Arch: L31: Problem Solving V (Spring 2026)

Conception numérique et architecture d'ordinateurs : L31 : Résolution de problèmes V (printemps 2026)

Digital Design & Comp. Arch. - L30: Problem Solving IV (Spring 2026)

Conception numérique et architecture des ordinateurs - L30 : Résolution de problèmes IV (Printemps 2026)

Verifying Networks On Chip

Vérification des réseaux sur puce

Digital Design & Comp. Arch: L29: Problem Solving III (Spring 2025)

Conception numérique et architecture informatique : L29 : Résolution de problèmes III (Printemps 2025)

Digital Design & Comp. Arch: L28: Problem Solving II (Spring 2026)

Conception numérique et architecture des ordinateurs : L28 : Résolution de problèmes II (Printemps 2026)

Digital Design & Comp. Arch: L27: Problem Solving I (Spring 2026)

Digital Design & Comp. Arch: L27: Résolution de problèmes I (Printemps 2026)

Lec 1: CPU Architecture

Lec 1: Architecture du CPU

R&DB: The Third Workshop on Ramulator & DRAM Bender, held with ICS 2026, 6th July 2026

R&DB: Le Troisième Atelier sur Ramulator et DRAM Bender, tenu avec ICS 2026, 6 juillet 2026

MCCSys-7: 7th Workshop on Memory-Centric Computing Systems, held with ICS 2026 - 6 July 2026

MCCSys-7 : 7e atelier sur les systèmes informatiques centrés sur la mémoire, tenu avec ICS 2026 - 6 juillet 2026

Arch4Health: 3rd Workshop on Architecture for Health (held with ICS 2026) -- 6 July 2026

Arch4Health: 3e Atelier sur l'Architecture pour la Santé (tenu avec ICS 2026) -- 6 juillet 2026