Fast Priority Queues for Cached Memory
Introduction to Algorithms