conftrace_

work stealing

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

core allocation (1) propositional logic (1) model counting (1) multicore processing (1) queue scheduling (1) datacenter efficiency (1) scheduling policy (1) latency optimization (1) load balancing (1) task scheduling (1)

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