Agora: A Dependable High-Performance Coordination Service for Multi-cores | IEEE Conference Publication | IEEE Xplore