Computer architecture and logic design

Thema UYF

101 tuit · page 1/3
Lec 29: Parallelism Fundamentals
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 29: Parallelism Fundamentals

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
27 min
★ ★ ★ ★ ☆ 4/5
Distributed TrainingParallelismGPU
Lec 33: Büchi Automata
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 33: Büchi Automata

Prof. Chandan Karfa
27 min
★ ★ ★ ★ ☆ 4/5
Büchi AutomataLTL Model CheckingOmega-Regular Languages
Constable: ISCA 2024 Best Paper
Formal & Physical Sciences Computing & Cybersecurity
EN

Constable: ISCA 2024 Best Paper

Rahul Bera
17 min
★ ★ ★ ★ ★ 5/5
Computer ArchitectureLoad EliminationInstruction Level Parallelism
Lec 22: Introduction to Model Checking
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 22: Introduction to Model Checking

Prof. Chandan Karfa
30 min
★ ★ ★ ★ ☆ 4/5
Model CheckingFormal VerificationFSM
Verifying Networks On Chip
Applied Sciences & Engineering Computing & Cybersecurity
EN

Verifying Networks On Chip

Semiconductor Engineering
30 min
★ ★ ★ ★ ☆ 4/5
Formal VerificationNetworks-on-ChipSilent Data Corruption
Lec 1: CPU Architecture
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 1: CPU Architecture

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
35 min
★ ★ ★ ★ ☆ 4/5
CPU ArchitectureAI AcceleratorsPerformance Metrics
Overcoming Bottlenecks In Data Movement
Applied Sciences & Engineering Computing & Cybersecurity
EN

Overcoming Bottlenecks In Data Movement

Semiconductor Engineering
13 min
★ ★ ★ ★ ☆ 4/5
Data MovementNetwork on ChipAI Hardware
Differences Between CPU and GPU
Applied Sciences & Engineering Computing & Cybersecurity
EN

Differences Between CPU and GPU

Ronnie Vasishta
45 min
★ ★ ★ ★ ☆ 4/5
CPUGPUNvidia
Why Proof Convergence Matters
Applied Sciences & Engineering Computing & Cybersecurity
EN

Why Proof Convergence Matters

Semiconductor Engineering
17 min
★ ★ ★ ★ ☆ 4/5
Formal VerificationProof ConvergenceSemiconductor