1.

Conference Proceedings
Conference Proceedings
1. Cache Management Techniques for Time Isolation in Partitioned Systems
M. Soler ; A. Crespo ; M. Masmano ; R. Llorca-Cejudo
Pub. info.: DASIA 2012 : Data Systems in Aerospace, 14–16 May 2012, Drubrovnik, Croatia.  2012.  Noordwijk, The Netherlands.  ESA Communications
Title of ser.: ESA SP
Ser. no.: 701
2.

Conference Proceedings
Conference Proceedings
2. Time and Space Partitioning Computational Model
A. Crespo ; M. Masmano ; J. Coronel
Pub. info.: DASIA 2012 : Data Systems in Aerospace, 14–16 May 2012, Drubrovnik, Croatia.  2012.  Noordwijk, The Netherlands.  ESA Communications
Title of ser.: ESA SP
Ser. no.: 701
3.

Conference Proceedings
Conference Proceedings
3. XtratuM: An Open Source Hypervisor for TSP Embedded Systems in Aerospace
A. Crespo ; I. Ripoll ; M. Masmano
Pub. info.: DASIA 2009 : Data Systems in Aerospace, 26–29 May 2009, Istanbul, Turkey.  2009.  Noordwijk, the Netherlands.  ESA Communication Production Office
Title of ser.: ESA SP
Ser. no.: 669
4.

Conference Proceedings
Conference Proceedings
4. Configuration and Scheduling Tools for TSP systems Based on XtratuM
I. Ripoll ; A. Crespo ; M. Masmano
Pub. info.: Proceedings of DASIA 2010, DAta Systems in Aerospace : 1-4 June 2010, Budapest, Hungary.  2010.  Noordwijk.  ESA Communications
Title of ser.: ESA SP
Ser. no.: 682