Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Optimization: Register Allocation
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Model Interpretation and Compilation
Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
Energy Systems Optimization
Explores energy systems modeling, optimization, and cost analysis for efficient operations.
Optimization and Templates
Explores optimization in C++ code, algorithmic ideas, code profiling, and template meta-programming.
Functions and Lists: Complements and Manipulation
Explores functions' complements, parameter order, and list manipulation, including counting occurrences and solving the '100 prisoners problem'.
Optimization methods
Covers optimization methods, focusing on gradient methods and line search techniques.
Semi-Definite Programming
Covers semi-definite programming and optimization over positive semidefinite cones.
Information Theory: Basics
Covers the basics of information theory, entropy, and fixed points in graph colorings and the Ising model.
Boolean Algebra: Properties and Optimization
Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.
Graph Coloring: Theory and Applications
Covers the theory and applications of graph coloring, focusing on disassortative stochastic block models and planted coloring.