Login to filter by course Login to filter by course Reset
Search and Routing ProtocolsExplores unstructured and structured search and routing protocols, emphasizing the importance of network structure assumptions and introducing the 'Bubble Storm' algorithm.
A Closer Look at ListsCovers list construction, methods, and implementations, including exercises and complexity analysis.
Purely Functional Priority QueueCovers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
Implementing CombinersCovers the implementation of combiners in parallel programming in Scala, including efficient combine methods and set data structures.