Abstract is missing.
- Configurable memory protection by aspectsDaniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, Wolfgang Schröder-Preikschat. [doi]
- Resource management aspects for sensor network softwareSean Walton, Eric Eide. [doi]
- A DSL approach for object memory management of small devicesKevin Marquet, Gilles Grimaud. [doi]
- Towards easing the diagnosis of bugs in OS codeHenrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller. [doi]
- Writing systems software in a functional language: an experience reportIavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach. [doi]
- Why the grass may not be greener on the other side: a comparison of locking vs. transactional memoryPaul E. McKenney, Maged M. Michael, Jonathan Walpole. [doi]
- Predictive thread-to-core assignment on a heterogeneous multi-core processorTyler Sondag, Viswanath Krishnamurthy, Hridesh Rajan. [doi]
- A high-performance operating system for structured concurrent programsLuc Bläser. [doi]
- Formalising device driver interfacesLeonid Ryzhyk, Ihor Kuz, Gernot Heiser. [doi]
- Checking the hardware-software interface in spec#Kevin Bierhoff, Chris Hawblitzel. [doi]