Adding High-level Reasoning to Efficient Low-level Context Management: A Hybrid Approach.

Daniela Nicklas, Matthias Gromann, Jorge Mnguez, Matthias Wieland

Browse the full PERCOM paper archive.