Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model.

Daniel Bristot de Oliveira, Rmulo Silva de Oliveira

Browse the full SAC paper archive.