An Energy-Efficient Abstraction for Simultaneous Breadth-First Searches