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 3 of 4
Next
Dining philosopher problem
Presents an algorithm to prevent starvation and maximize philosophers eating simultaneously.
The Power of Registers
Covers wait-free implementations of atomic objects, focusing on counters and snapshots, discussing key ideas for enforcing atomicity and wait-freedom.
Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM
Explores theoretical foundations for RDMA and NVRAM in multiprocessor technologies, covering contention, concurrency control, and fault tolerance.
Akka Streams: Programming Reactive Systems
Covers Akka Streams basics, stream stages concurrency, materialized values, and more.
Parallel Programming in Scala: Computing p-norm
Explores computing p-norm using parallel programming in Scala and its impact on performance.
Parallelism and Concurrency
Covers the course CS206 on Parallelism and Concurrency, including logistics, materials, exercise sessions, labs, exams, and grading criteria.
Concurrency and Mutual Exclusion
Covers the importance of concurrency, atomic operations, and mutual exclusion using locks.
Transactions: Concepts and Implementations
Explores the significance and challenges of transactions, emphasizing ACID properties and the practical implications of using transactional memory for concurrency control.
Transactions & Concurrency Control: Pessimistic CC
Explores transactions, concurrency control, deadlock handling, and challenges in dynamic databases.
Shared Work Systems: Optimization
Covers query engines, shared work systems, and data processing optimization strategies.
