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
Concurrency Semantics and Verification
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Asynchronous Programming with Futures
Explores asynchronous programming with futures, showcasing benefits, challenges, and efficient implementations.
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Operational Semantics: Amyli Language
Covers the Amyli language, including abstract syntax, program representation, and operational semantics.
One-place Buffer: Monitor-based Implementation
Discusses the implementation of a one-place buffer using monitors in a concurrent environment.
Distributed Transactions: Coordination, Concurrency Control, and Recovery
Explores distributed transactions, covering coordination, concurrency control, recovery, and the Two-Phase Commit protocol.
Concurrency Overview
Explores the significance of concurrency in enhancing system performance and responsiveness, emphasizing the need for synchronization and atomicity to prevent race conditions and non-determinism.
Asynchronous Programming: Callbacks and Failures
Covers the concept of asynchronous programming and how to handle dependencies and failures.
Dining Philosophers Problem
Discusses algorithms to prevent starvation and maximize philosophers eating simultaneously.
Concurrency Basics: Threads and Synchronization
Covers the basics of concurrency, focusing on threads and synchronization, including thread joining and challenges of non-deterministic execution.
