conftrace_

work stealing

3 papers

Explore in graph

Co-occurring keywords

core allocation (5) propositional logic (55) model counting (46) multicore processing (2) queue scheduling (1) datacenter efficiency (1) scheduling policy (5) latency optimization (119) load balancing (55) task scheduling (19)

Papers

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing OSDI 2023
Efficient Scheduling Policies for Microsecond-Scale Tasks NSDI 2022
DMC: A Distributed Model Counter IJCAI 2018