Latest project publications
[ Show all publications ]
| | Towards a User-Mode Approach to Partitioned Scheduling in the seL4 Microkernel, Mikael Åsberg, Thomas Nolte, 5th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'12), ACM, San Juan, Puerto Rico, December, 2012 |
| | ExSched: An External CPU Scheduler Framework for Real-Time Systems, Mikael Åsberg, Thomas Nolte, Shinpei Kato (University of California, Santa Cruz, USA), Ragunathan Rajkumar (Carnegie Mellon University, USA), 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'12), Seoul, Korea, August, 2012 |
| | Compositional and Adaptive Scheduling of Cyber-Physical Systems, Thomas Nolte, 2nd Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA'12), satellite workshop of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'12), Seoul, Korea, August, 2012 |
|
