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
Consistency
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 3
Next
Memory Consistency: Taking it to the Compiler
Explores memory consistency, weak consistency, and language-level guarantees in memory ordering, emphasizing the importance of data race free programming.
Transactions: Concepts and Implementations
Explores the elegance and challenges of transactions, including ACID properties and transactional memory benefits in concurrent programming.
Maximum Likelihood Estimation
Explores Maximum Likelihood Estimation, covering assumptions, properties, distribution, shrinkage estimation, and loss functions.
Introduction to Numerical Analysis
Covers the basics of numerical analysis, including adaptive feature computation, residual analysis, and the importance of well-posed problems.
Untitled
Memory Consistency I
Explores memory ordering in multiprocessor systems, discussing load/store semantics, total ordering, and different consistency models.
Untitled
Memory Consistency: Programming Languages and Compilers
Explores memory consistency, data races, and synchronization variables in programming languages and compilers.
Replication and Consensus in Distributed Systems
Explores replication, consensus, Paxos algorithm, majoritarian consensus, and time-stop reservation in distributed systems.
Maxwell's Equations and Displacement Current
Explores Maxwell's equations, displacement current, and constituent equations in electromagnetism problem-solving.
