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
Synchronization Inference
Graph Chatbot
Related lectures (32)
Previous
Page 2 of 4
Next
Atomic Operations: Basics and Applications
Covers the basics of atomic operations in concurrency and parallelism, including hardware-provided operations and synchronized algorithms.
Readers-writer Lock
Introduces the readers-writer lock for handling concurrency in scenarios with frequent reads and occasional updates.
Dining philosopher problem
Presents an algorithm to prevent starvation and maximize philosophers eating simultaneously.
Transactional Memory: Hardware Simplification
Explores transactional memory and hardware simplification for concurrency control in software, emphasizing the benefits of hardware speculation and declarative concurrency.
Concurrency and Mutual Exclusion
Covers the importance of concurrency, atomic operations, and mutual exclusion using locks.
Transactional Memory: Hardware Simplification
Explores hardware-based transactional memory for simplifying concurrency control and improving performance in hash tables.
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.
Gitlab Agent for Kubernetes (`agentk`)
Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.
One-place Buffer: Monitor-based Implementation
Discusses the implementation of a one-place buffer using monitors in a concurrent environment.
Hardware Verification using High-Level Design Languages
Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.
