Concept
Dead-code elimination
Séances de cours associées (29)
Optimisation : Attribution des registres
Couvre les sujets de construction avancés du compilateur sur les techniques d'optimisation telles que l'élimination du code mort, le pliage constant et l'allocation des registres.
Conversion de fermeture et analyse de flux de données
Explore la conversion de fermeture, le levage de fonction et l'analyse de flux de données pour l'optimisation de programme.
Optimisations de code : constantes et variables
Explore les techniques d'optimisation de code telles que le pliage constant, le précalcul et la propagation constante pour améliorer l'efficacité et la qualité du code.
Optimisation de code : analyses accélérées
Explore les techniques pour accélérer les analyses de flux de données et discute de l'importance de l'ordonnancement des nœuds et de la traversée post-commande.
Simulation et modélisation dans les systèmes VLSI
Explore les techniques de simulation et les procédures de simulation de défauts dans les systèmes VLSI.
Analyse statique pour Amy: Introduction à l'analyse basée sur l'AST
Introduit l'analyse basée sur l'AST et ses avantages sur les tests, couvrant ses applications, les implémentations de règles, et les limitations.
Vérification basée sur la simulation
Explore la vérification basée sur la simulation dans les systèmes VLSI à l'aide d'algorithmes basés sur le code compilé et les événements.
Résoudre les programmes linéaires : méthode SIMPLEX
Explique la méthode SIMPLEX pour résoudre les programmes linéaires et optimiser la solution par la manipulation de la variable de base.
Analyse de flux de données : optimisation
Explore l'analyse de flux de données pour l'optimisation, y compris la résolution d'équations, les variables en direct, l'atteinte de définitions et les expressions très occupées.
Contrôle et accessibilité
Explore l'accessibilité et la contrôlabilité dans les systèmes de contrôle multivariables, en discutant des essais, des épreuves et de leurs implications.