Skip to main content
Graph
Search
fr
|
en
Switch to dark mode
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Microsoft Excel
Applied sciences
Computer engineering
Software development
Entities in software develo...
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 4 of 4
Next
Learning-aided Program Reasoning
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Micro-architectural Analysis of Database Workloads
Explores the micro-architectural analysis of modern DBMS, focusing on performance optimization and data cache stall mitigation.
