Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach (Englisch)
- Neue Suche nach: Crespo, A.
- Neue Suche nach: Ripoll, I.
- Neue Suche nach: Masmano, M.
- Neue Suche nach: Crespo, A.
- Neue Suche nach: Ripoll, I.
- Neue Suche nach: Masmano, M.
In:
EDCC, European Dependable Computing Conference, 2010
;
67-72
;
2010
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE Computer Society
-
Erscheinungsort:Los Alamitos
-
Erscheinungsdatum:2010
-
Format / Umfang:6 Seiten, 11 Quellen
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 45
-
Towards On-line Adaptation of Fault Tolerance MechanismsFabre, Jean-Charles / Killijian, Marc-Olivier / Pareaud, Thomas et al. | 2010
- 67
-
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM ApproachCrespo, A. / Ripoll, I. / Masmano, M. et al. | 2010
- 117
-
HP: Hybrid Paxos for WANsDobre, Dan / Majuntke, Matthias / Serafini, Marco / Suri, Neeraj et al. | 2010
- 155
-
A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay NetworkMitzlaff, Martin / Lang, Michael / Kapitza, Ruediger / Schroeder-Preikschat, Wolfgang et al. | 2010
- 165
-
Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model ApproachGronbaek, Jesper / Schwefel, Hans-Peter / Kjaergard, Jens Kristian / Toftegaard, Thomas S. et al. | 2010
- 199
-
Beyond attack trees: dynamic security modeling with Boolean logic Driven Markov Processes (BDMP)Pietre-Cambacedes, Ludovic / Bouissou, Marc et al. | 2010
- 242
-
[Publisher's information]| 2010
- C1
-
[Front cover]| 2010
- i
-
[Title page i]| 2010
- iii
-
[Title page iii]| 2010
- iv
-
[Copyright notice]| 2010
- v
-
Table of contents| 2010
- x
-
Organizing Committee| 2010
- xi
-
Program Committee| 2010
- xiv
-
Steering Committee| 2010
- xv
-
list-reviewer| 2010
- xvii
-
Keynote Abstracts| 2010