Rewritten scheduler_dequeue() to use bitmaps for variable-frequency