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

Concept

Computer program

Related lectures (31)

Computational Physics: A Woman's Contribution to Molecular Dynamics

Delves into Mary Ann Mansigh Karlsen's pivotal role in computational physics and her lasting impact on the field.

Ecoles Vaudoises: Programme d'activités 'PLUS'

Introduces the new program 'PLUS' for Vaud school students, offering diverse workshops.

The Story of Ada Lovelace MOOC: The Thymio robot as a tool for discovering digital science

Explores the life of Ada Lovelace, the world's first programmer, and her vision for computer programming.

Grace Hopper: Computer Programming Pioneer MOOC: The Thymio robot as a tool for discovering digital science

Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.

Algorithms: Halting Problem Quiz

Explores the Halting Problem, efficient list element positioning, and the cashier's algorithm.

Untitled

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Robot Game: Memory and Execution MOOC: The Thymio robot as a tool for discovering digital science

Explains the robot game, where one person is the memory and the other is the processor executing a program on a landscape with obstacles.

Fine Control: Babyfoot

Showcases a Bachelor's project on developing a program for precise ball control in a babyfoot game.

Scholarship by Design: Questions of Method

Delves into scholarship by design, emphasizing self-determined research and the significance of exegesis in the process.

Computer Engineering Career Insights

Emphasizes the importance of computer programming and system architecture in engineering careers.

Resultant on Sheet

Explains how to calculate and visualize resultant forces in structural systems.

Understanding Software

Covers the definition, types, and building process of software, including system software and applications.

The Story of Ada Lovelace MOOC: The Thymio robot as a tool for discovering digital science

Narrates the story of Ada Lovelace, the first programmer in the world.

Virtual Memory

Covers virtual memory, program relocation, memory protection, TLB, and memory hierarchy interactions.

Abstract Interpretation Idea

Covers abstract interpretation, fixpoints, control-flow graphs, and program state approximation.

Design for Sustainability I: Documentation and Assessment

Emphasizes the documentation and assessment of sustainability frameworks-in-action for project blueprints.

Synchronization Inference

Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.

Error Handling and Exceptions

Covers error management, exceptions, and debugging techniques in C++, emphasizing the importance of making code more robust and easier to debug.

Refinement Types: Practicality and Soundness

Explores the practicality and soundness of refinement types, focusing on safe indexing and properties verification.