Succinct priority indexing structures for the management of large priority queues | IEEE Conference Publication | IEEE Xplore