Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Programming Models: Overview and Examples

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (37)

Datalog Evaluation with Multi-Stage Programming Log in to Mediaspace to watch this video

Explores Datalog evaluation, DSL embedding, semantics, fixpoint algorithms, and multi-stage programming.

Big-step semantics: Defining arithmetic expressions and commands Log in to Mediaspace to watch this video

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Dataflow Analysis: Optimization Log in to Mediaspace to watch this video

Explores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.

Code Optimization: Speeding-up Analyses Log in to Mediaspace to watch this video

Explores techniques to speed up dataflow analyses and discusses the importance of node ordering and post-order traversal.

Hadoop: Execution Models Log in to Mediaspace to watch this video

Explores Hadoop's execution models, fault tolerance, data locality, and scheduling, highlighting the limitations of MapReduce and alternative distributed processing frameworks.

Decentralized Systems Engineering: Gossip Efficiency Log in to Mediaspace to watch this video

Explores gossip efficiency in decentralized systems, focusing on minimizing duplication and reducing traffic through improved gossiping techniques.

Pointers: Passing by Reference in C Log in to Mediaspace to watch this video

Explains pointers in C, focusing on passing by reference and memory management techniques.

Rescuing Data Center Processors Log in to Mediaspace to watch this video

Explores challenges and solutions for data center processors, focusing on efficiency, cache issues, branch prediction, and architectural optimizations.

Dataflow Analysis: Translation Inefficiencies and Optimizations Log in to Mediaspace to watch this video

Explores translation inefficiencies, optimizations, hoisting functions, closure conversion, and dataflow analysis concepts like available expressions and live variables.

Microcontrollers: Specific Operations Log in to Mediaspace to watch this video

Covers microcontroller programming, memory protection, code optimization, debugging, project management, and hardware control.

Advanced Types in C: Enums, Typedefs, and Structs Log in to Mediaspace to watch this video

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Untitled Log in to Mediaspace to watch this video

Imaging Techniques: Geometric and Radiometric Distortions Log in to Mediaspace to watch this video

Discusses imaging techniques, focusing on geometric and radiometric distortions in aerial photography and their implications for data interpretation.

Programming for Engineers Log in to Mediaspace to watch this video

Covers programming basics, debugging, good practices, and a semester-long project for engineering students.

Predicting New Product Life Cycles: Machine Learning Approach Log in to Mediaspace to watch this video

Explores machine learning for predicting new product life cycles and the challenges of limited historical data.

Feed-forward Networks Log in to Mediaspace to watch this video

Introduces feed-forward networks, covering neural network structure, training, activation functions, and optimization, with applications in forecasting and finance.

Page 2 of 2