Operating Systems Courses

Seds Online

Autogenic Processes in Sedimentary Systems Are Just Part of the Allogenic Spectrum

Explore the debate on autogenic processes in sedimentary systems, examining their relationship to allogenic factors and implications for understanding Earth's geological history.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video

Ryan O'Donnell

Multi-Qubit Systems - Lecture 5 of Quantum Computation at CMU

Explore multi-qubit systems, tensor products, and joint states in quantum computation. Learn about Bell states and fundamental properties of quantum systems with multiple qubits.

• YouTube
• 1 hour 23 minutes
• Self-Paced
• Free Video

Ryan O'Donnell

More on Constant-Round Interactive Proof Systems - Graduate Complexity Lecture at CMU

Explore constant-round interactive proof systems in computational complexity theory, covering MA, AM, BPP, and efficient error reduction techniques.

• YouTube
• 1 hour 21 minutes
• Self-Paced
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.

• YouTube
• 1 hour 22 minutes
• Self-Paced
• Free Video

Docker

Considerations for Operating at Scale

Explore architectural considerations, scaling strategies, and best practices for operating Docker Enterprise Edition at scale in enterprise environments.

• YouTube
• 36 minutes
• Self-Paced
• Conference Talk

Docker

Accelerating Development Velocity of Production ML Systems with Docker

Learn to accelerate ML system development using Docker, exploring Pinterest's evolution, ranking models, mobile development, automated training, and debugging frameworks.

• YouTube
• 46 minutes
• Self-Paced
• Conference Talk

Docker

Constructing Scalable, Resilient and Consistent Systems with Flexible Paxos

Explore Flexible Paxos, a novel approach to consensus in distributed systems that enhances performance, scalability, and resilience by relaxing majority agreement requirements in Paxos phases.

• YouTube
• 16 minutes
• Self-Paced
• Conference Talk

Graphical User Interface Using Flutter in Embedded Systems

Learn to create graphical user interfaces for embedded systems using Flutter, exploring its architecture, advantages, and integration with Wayland for efficient and performant GUI development.

• YouTube
• 25 minutes
• Self-Paced
• Conference Talk

Code Size Compiler Optimizations and Techniques for Embedded Systems

Explore compiler optimizations and techniques to reduce code size in embedded systems, enhancing performance and efficiency for resource-constrained environments.

• YouTube
• 50 minutes
• Self-Paced
• Conference Talk

Improving Embedded Systems Boot Time by Hibernation - An Overview on the State of the Art and a Case of Study on i.MX Family of Processors

Explore hibernation as a method to drastically reduce boot time in embedded systems, focusing on ARM architectures and i.MX processors. Learn implementation techniques and benefits.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

A Few Effective GCC - Clang Optimizations for Embedded Systems

Explore effective gcc/clang optimizations for embedded systems, focusing on code size reduction, performance enhancement, and compiler-friendly coding practices for Linux-based platforms.

• YouTube
• 45 minutes
• Self-Paced
• Conference Talk

Collaborate on Linux for Use in Safety-Critical Systems

Explore Linux's potential in safety-critical systems for autonomous driving. Learn about industry trends, collaboration goals, and development models for robust, high-performance software solutions.

• YouTube
• 52 minutes
• Self-Paced
• Conference Talk

The Modern Linux Graphics Stack on Embedded Systems

Explore the modern Linux graphics stack for embedded systems, focusing on Wayland, DRM, and Weston. Learn about recent advancements and their impact on performance and power usage.

• YouTube
• 32 minutes
• Self-Paced
• Conference Talk

The Modern Operating System - A Clear Choice

Explore Clear Linux OS: a modern, secure, and high-performance Linux distribution optimized for edge-to-cloud computing, featuring innovative approaches to updates, security, and customization.

• YouTube
• 41 minutes
• Self-Paced
• Conference Talk

Using the TPM NVRAM to Protect Secure Boot Keys in POWER9 OpenPOWER Systems

Explore TPM NVRAM's role in safeguarding secure boot keys for POWER9 OpenPOWER systems, covering design and implementation aspects in firmware and Linux kernel layers.

• YouTube
• 41 minutes
• Self-Paced
• Conference Talk