Lock Optimization for Hoare Monitors in Real-Time Systems

Georges-Axel Jaloyan, Lee Pike. Lock Optimization for Hoare Monitors in Real-Time Systems. In 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. pages 126-135, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.