Informatique & Cybersécurité

3171 tuit · page 1/80
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 32: Introduction & Traditional Animation Techniques

Lec 32: Introduction et techniques d'animation traditionnelle

Prof. Samit Bhattacharya
32 min
4/5
Animation Par OrdinateurInfographieTechniques D'animation
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 35: Checkpointing and Fault Tolerance

Lec 35 : Point de contrôle et tolérance aux pannes

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
16 min
4/5
CheckpointingFault ToleranceDistributed Training
Sciences formelles & physiques Informatique & Cybersécurité
FR

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

Prof. Chandan Karfa
20 min
4/5
ROBDDModel CheckingVérification Formelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 36: GNBA Construction from LTL Formula - Transitions

Lec 36: Construction de GNBA à partir de la formule LTL - Transitions

Prof. Chandan Karfa
29 min
4/5
LTLGNBAVérification Formelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 28: CTL: Encoding Exmaples

Lec 28 : CTL : Exemples d'encodage

Prof. Chandan Karfa
36 min
4/5
CTLModel CheckingLogique Temporelle