Abstract is missing.
- A communication mechanism for resource isolationMatthieu Lemerre, Vincent David, Guy Vidal-Naquet. 1-6 [doi]
- An asynchronous nonblocking coordination and synchronization protocol for a parallel robotic control kernelPhilippe Stellwag, Wolfgang Schröder-Preikschat, Daniel Lohmann. 7-12 [doi]
- HAAIS-DSL: DSL to develop home automation and ambient intelligence systemsPedro J. Clemente, José María Conejero, Juan Hernández 0001, Lara Sánchez. 13-18 [doi]
- Programmable temporal isolation in real-time and embedded execution environmentsSilviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova. 19-24 [doi]
- Taming subsystems: capabilities as universal resource access control in L4Adam Lackorzynski, Alexander Warg. 25-30 [doi]
- Towards automatic performance optimisation of componentised systemsNicholas Fitzroy-Dale, Ihor Kuz. 31-36 [doi]
- SmartVisor: towards an efficient and compatible virtualization platform for embedded systemDisheng Su, Wenzhi Chen, Wei Huang, Haitao Shan, Yunhong Jiang. 37-41 [doi]