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
Double-ended queue
Formal sciences
Theoretical computer science
Algorithms and data structures
Data structures
Graph Chatbot
Related lectures (8)
Login to filter by course
Login to filter by course
Reset
Universal Constructions: Consensus and Shared Memory Models
Explores universality, consensus objects, shared memory models, and FIFO Queue implementation.
Infinite Sequences: Laziness
Covers lazy lists, infinite sequences, prime numbers, and list processing challenges.
Stacks and Queues: Implementation and Efficiency
Explores the implementation and efficiency of stacks and queues, along with an algorithmic challenge involving train order determination.
Lazy Lists: Delayed Evaluation and Efficient Computation
Covers Lazy Lists, delaying computation for efficiency in combinatorial search.
Hash Tables Analysis
Covers the analysis of hash tables, including search operations and expected collisions.
Data Abstraction: Modules and Specifications in Coq
Discusses data abstraction in programming, focusing on modules and specifications in Coq.
Lazy Evaluation: Lazy Lists
Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.
Concurrency and Parallelism: Queue
Explores thread safety, synchronization, and concurrent collections in Scala, focusing on a lock-free concurrent queue implementation.
Previous
Page 1 of 1
Next