Inter- and intra-processor synchronizations in multiprocessor real-time kernel | IEEE Conference Publication | IEEE Xplore