Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Cette séance de cours explore le concept de files d'attente prioritaires purement fonctionnelles, en mettant l'accent sur l'optimisation des principales opérations telles que findMin, insert, meld et delMin. Il couvre la mise en œuvre des files d'attente binomiales, les files d'attente binomiales et l'introduction d'une racine mondiale pour améliorer l'efficacité. La présentation se penche sur la question de la recherche d'atteindre des performances impératives dans un cadre purement fonctionnel, mettant en évidence diverses optimisations et travaux pratiques dans la traduction standard ML en Scala.
Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.
Regarder sur Mediaspace