Informatique & Cybersécurité

3185 tuit · page 2/80
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
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

I Cloned Calendly and Now It’s Free Forever

J'ai cloné Calendly et c'est désormais gratuit pour toujours

Nate Herk
14 min
4/5
IA GénérativeDéveloppement No-CodeAutomatisation
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

GitHub Hacker EXPOSED BY HIS CAT

Un hacker de GitHub DÉMASQUÉ PAR SON CHAT

John Hammond
17 min
4/5
OSINTCybersécuritéSupply Chain
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

I Built a FREE App That Runs Your Entire Business

J'ai créé une application GRATUITE pour gérer toute votre entreprise

Matt Wolfe
27 min
4/5
IAProductivitéVibe Coding
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Endpoint Security is the Future of AI Prevention

La sécurité des endpoints est l'avenir de la prévention par IA

Cloud Security Podcast
55 min
4/5
Endpoint SecurityIAPrévention
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 29: Parallelism Fundamentals

Lec 29: Fondamentaux du parallélisme

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
27 min
4/5
ParallélismeEntraînement DistribuéGPU
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 36: Cognitive Walkthrough

Lec 36 : Déambulation cognitive

Prof. Sharmistha Banerjee
17 min
4/5
Cognitive WalkthroughÉvaluation UtilisateurErgonomie