Computing & Cybersecurity

2955 tuit · page 1/74
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 36: Cognitive Walkthrough
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 36: Cognitive Walkthrough

Prof. Sharmistha Banerjee
17 min
★ ★ ★ ★ ☆ 4/5
UsabilityCognitive WalkthroughUX Evaluation
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
Lec 30: CTL Model Checking Algorithms
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 30: CTL Model Checking Algorithms

Prof. Chandan Karfa
36 min
★ ★ ★ ★ ☆ 4/5
CTLModel CheckingFormal Verification