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
Concept
Multiversion concurrency control
Applied sciences
Computer engineering
High-performance computing
Distributed computing
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 4 of 4
Next
Concurrency and transactional memory in Dafny
Covers Dafny basics, modeling concurrency, and implementing transactional memory with safety and liveness proofs.
Buffer Management in DBMS
Discusses buffer management in a DBMS, covering challenges, buffer pool, and replacement policies.
