%PDF-1.5
%
2 0 obj
<<
/Metadata 4 0 R
/Names 5 0 R
/OpenAction 6 0 R
/Outlines 7 0 R
/PageMode /UseOutlines
/Pages 8 0 R
/Type /Catalog
>>
endobj
4 0 obj
<<
/Length 4186
/Subtype /XML
/Type /Metadata
>>
stream
James Robb
Björn B. Brandenburg
multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP
LIPIcs, Vol.165, ECRTS 2020; Copyright (C) James Robb and Björn B. Brandenburg; licensed under Creative Commons License CC-BY
Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking
application/pdf
2020-06-30T15:12:52+02:00
LaTeX with lipics-v2019.cls and hyperref.sty
2021-07-26T09:54:10+02:00
multiprocessor real-time locking, nested locking, independence preservation, suspension-oblivious analysis, priority inversion, asymptotically optimal blocking, RNLP, OMIP
pdfTeX-1.40.21
This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) kpathsea version 6.3.2
uuid:0f4075e3-578c-4f13-a833-3937f57b6bda
uuid:b2c51e8e-850f-4a87-90b2-e14a64a76b88
endstream
endobj
29 0 obj
<<
/Filter /FlateDecode
/Length 4049
>>
stream
xڽv6_>-uN K7ͺMRvwn-Ƽ(ٜmON,r 0,nI0}qu8^ė"
W, [$e 76