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
Advanced Metaprogramming Queries: Code Volume & Complexity
Graph Chatbot
Related lectures (32)
Previous
Page 2 of 4
Next
Operating Systems: The Role of Glue Services
Covers the role of operating systems as glue services that simplify application design and enhance resource management.
Rethinking OSes for Datacenters
Explores Junction, a new approach combining kernel bypass with resource multiplexing for improved datacenter OS performance.
Memory Virtualization: Page-Based Management Techniques
Discusses page-based virtual memory, focusing on its mechanisms, benefits, and address translation techniques.
Process Protection and Efficient Execution
Explores process execution, protection, and efficient OS mechanisms for secure and reliable multi-program environments.
Data: Clouds and Things
Covers the fundamentals of data, cloud storage, and the Internet of Things.
Static Analysis for Amy: Techniques and Implementations
Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.
Abstract Interpretation and Octagon Domain
Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.
Process Abstraction: Managing Execution and Resources
Covers process abstraction in operating systems, focusing on execution management and resource allocation for concurrent program execution.
Intelligent Real-time Systems: Women in DB Award
Discusses JIT engines, HTAP, data virtualization, and challenges for women in computer systems.
Isolation and Protection: Ensuring Process Security
Covers the concepts of isolation and protection in computer systems, focusing on process security and resource management techniques.