Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Tas binaire

Séances de cours associées (29)

Gestion de la mémoire: Abstraction d'espace d'adresse Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'abstraction de l'espace d'adressage, en se concentrant sur la gestion de la mémoire, les structures de pile et de tas, et leurs rôles dans l'allocation dynamique de la mémoire.

Intervalle rapide Requêtes Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la conception d'une structure de données pour des requêtes d'intervalles rapides sur un arbre binaire complet.

Gestion de la mémoire et programmes d'accident Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la gestion de la mémoire pour les ingénieurs, en se concentrant sur les programmes d'accident liés aux erreurs d'accès à la mémoire.

Gestion de la mémoire: raisons et solutions de crash Connectez-vous à Mediaspace pour regarder cette vidéo

Plonge dans les raisons derrière les pannes de programme liées à la gestion de la mémoire.

Virtualisation de la mémoire: Abstraction et gestion de l'espace d'adressage Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la virtualisation de la mémoire, en se concentrant sur l'abstraction de l'espace d'adressage et la gestion des ressources mémoire par le système d'exploitation.

L'algorithme de Huffman : mécaniser la preuve Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mécanisation de l'algorithme de Huffman et sa mise en œuvre fonctionnelle.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Analyse de tri rapide randomisé Connectez-vous à Mediaspace pour regarder cette vidéo

Analyse le temps d'exécution et les comparaisons dans un tri rapide randomisé, prouvant son efficacité et son optimisation dans le tri de comparaison.