A general technique for implementation of efficient priority queues | IEEE Conference Publication | IEEE Xplore