Concept
Data-flow analysis
Séances de cours associées (42)
Wurzelkriterium: Majorantenkriterium
Couvre le Majorantenkriterium et Wurzelkriterium pour les tests de convergence de séries.
Idée d'interprétation abstraite
Couvre l'interprétation abstraite, les points de fixation, les graphiques de flux de contrôle et l'approximation de l'état du programme.
Critères de convergence : calcul des limites
Couvre les critères de convergence pour le calcul des séquences et des limites, en discutant des propriétés, des règles, des exemples et des limites.
Machine virtuelle WASM : Groupe 13
Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.
Techniques de résolution de problèmes
Couvre diverses techniques de résolution de problèmes et leurs applications dans le monde réel.
Algorithmes en ligne: ratio concurrentiel
Couvre les algorithmes en ligne et le ratio concurrentiel dans les stratégies de mise en cache pour optimiser l'utilisation de la mémoire.
Questions et optimisations du OLAP
Couvre les requêtes OLAP, des exemples de comparaisons, de classement et d'optimisations pour la performance de la requête.
Retiming basé sur la relaxation
Couvre le retiming basé sur la relaxation pour optimiser le temps de cycle en raccourcissant les chemins avec des retards excessifs.
Analyse des flux de données : Inefficacités et optimisations de la traduction
Explore les inefficacités de traduction, les optimisations, les fonctions de levage, la conversion de fermeture et les concepts d'analyse de flux de données tels que les expressions disponibles et les variables en direct.
Analyse statique pour Amy: Techniques et Implémentations
Explore les techniques d'analyse statique comme l'analyse basée sur l'AST et l'analyse des taints appliquée au langage Amy.