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
Lazy Lists: Delayed Evaluation and Efficient Computation
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Code Optimization: Speeding-up Analyses
Explores techniques to speed up dataflow analyses and discusses the importance of node ordering and post-order traversal.
Optimization Methods: Theory Discussion
Explores optimization methods, including unconstrained problems, linear programming, and heuristic approaches.
Introduction to Algorithms
Explores the ingredients and selection of algorithms for different goals.
Optimization in Large Search Spaces: GPU-Accelerated Join Order
Explores GPU-accelerated join order optimization in large search spaces, leveraging graph topology to reduce computational overheads.
Programming for Engineers: Advanced MATLAB Techniques
Explores advanced MATLAB techniques, emphasizing vectorization, 'find' function, and plot manipulation.
Recursive Functions: Examples and Applications
Explores recursive functions, including factorials and Fibonacci sequences, and their scope and namespaces.
Programming Concepts: Functions, Inheritance, Code Optimization
Covers advanced programming concepts like higher-order functions and inheritance.
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Elements of Programming
Covers primitive expressions, evaluation processes, function applications, types, and evaluation strategies in programming.
Rescuing Data Center Processors
Explores challenges and solutions for data center processors, focusing on efficiency, cache issues, branch prediction, and architectural optimizations.
