Design Verification and Test of Digital VLSI Circuits (View More...)
Introduction to Model Checking | lec19 | 07:15 to 10:41 | VIDEO | |
Introduction to Model Checking | lec19 | 10:41 to 13:55 | VIDEO | |
Introduction to Model Checking | lec19 | 14:53 to 18:18 | VIDEO |
High Performance Computer Architecture (View More...)
Control Hazards | lec15 | 53:10 to upto | VIDEO | |
Branch Prediction | lec16 | 01:24 to 04:56 | VIDEO | |
Branch Prediction | lec16 | 07:16 to 08:12 | VIDEO |
Low Power VLSI Circuits Systems (View More...)
MOS Dynamic Circuits - I | lec12 | 12:20 to 22:20 | VIDEO | |
Supply Voltage Scaling I | lec22 | 14:18 to 21:15 | VIDEO | |
MOS Inverters-I | lec6 | 02:08 to 08:38 | VIDEO |
Mathematics-III (View More...)
Fourier series Part -1 | lec24 | 36:37 to 37:41 | VIDEO | |
Convergence of the Fourier Series | lec26 | 10:22 to 12:07 | VIDEO | |
Convergence of the Fourier Series | lec26 | 12:07 to 12:54 | VIDEO |
Numerical Optimization (View More...)
Steepest Descent Method | lec13 | 20:32 to 23:30 | VIDEO | |
Steepest Descent Method | lec13 | 23:30 to 27:31 | VIDEO | |
Steepest Descent Method | lec13 | 27:31 to 32:20 | VIDEO |
Ordinary Differential Equations and Applications (View More...)
General Systems and Diagonalizability | lec24 | 22:03 to 26:55 | VIDEO | |
General Systems and Diagonalizability | lec24 | 26:55 to 32:01 | VIDEO | |
General Systems and Diagonalizability | lec24 | 36:38 to 41:42 | VIDEO |
Theory of Automata, Formal Languages and Computation (View More...)
FSA with Output Moore and Mealy Machines | lec19 | 25:54 to upto | VIDEO | |
Generalized Versions of Turing Machines | lec29 | 08:49 to 21:02 | VIDEO | |
Generalized Versions of Turing Machines | lec29 | 29:29 to 33:34 | VIDEO |
No Records Found