„Hypervisor“

Suchergebnisse

1.000+ Treffer

• Hypervisor-basierte Partitionierung von Mixed-Criticality-Anwendungen in heterogenen eingebetteten Systemen
  Schade, Florian ; Becker, Jürgen ; Fleischer, Jürgen 2024 KIT-Bibliothek
• Performance Improvement of Hypervisors for HPC Workload
  Zhang, Yu ; Rehm, Wolfgang ; Werner, Matthias ; Masrur, Alejandro 2019 Universitätsverlag Chemnitz
• Virtualisierung eingebetteter Echtzeitsysteme im Mehrkernbetrieb zur Partitionierung sicherheitsrelevanter Fahrzeugsoftware
  Reinhardt, Dominik ; Kühnhauser, Winfried ; Baumgarten, Uwe ; Kucera, Markus 2016 Universitätsverlag Ilmenau
• Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
  Schmaltz, Sabine Bettina ; Paul, Wolfgang J. 2013 Saarländische Universitäts- und Landesbibliothek
• TLB virtualization in the context of hypervisor verification
  Kovalev, Mikhail ; Paul, Wolfgang J. 2013 Saarländische Universitäts- und Landesbibliothek
• Mixed low- and high level programming language semantics and automated verification of a small hypervisor
  Shadrin, Andrey ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• Optimierung der Schnittstelle zwischen Hypervisor und Betriebssystemkern bei virtuellen Maschinen
  Höxer, Hans-Jörg
• A Query, a Minute – Evaluating Performance Isolation in Cloud Databases
  Kiefer, Tim ; Schön, Hendrik ; Habich, Dirk ; Lehner, Wolfgang 2023 Technische Universität Dresden
• Einsatz hardwaregestützter Virtualisierungstechnologien in der Malwareanalyse und Angriffserkennung
  Schmitz, Alexander 2025 Westfälische Hochschule Gelsenkirchen Bocholt Recklinghausen
• Challenges and Solutions for a Flexible High-Performant SDN Hypervisor
  Deric, Nemanja ; Blenk, Andreas ; Basta, Arsany ; Kellerer, Wolfgang 2017 Universitätsbibliothek Tübingen
• Strengthening system security on the ARMv7 processor architecture with hypervisor-based security mechanisms
  Vetter, Julian ; Seifert, Jean-Pierre ; Margraf, Marian ; Gueron, Shay 2017 Technische Universität Berlin
• Design and provability of a statically configurable hypervisor
  Nordholz, Jan ; Seifert, Jean-Pierre ; Jähnichen, Stefan ; Massacci, Fabio 2017 Technische Universität Berlin
• Verification of hypervisor subroutines written in Assembler – = Verifikation von Hypervisorunterrutinen, geschrieben in Assembler
  Maus, Stefan ; Podelski, Andreas 2011 Universität
• Virtualization for Reliable Embedded Systems
  Strobl, Marius 2013 GRIN Verlag
• Retraction Note to: Hypervisor injection attack using X-cross API calls (HI-API attack)
  Arul, E.
• HyFAR: A hypervisor-based fault tolerance approach for heterogeneous automotive real-time systems
  Lex, Johannes ; Margull, Ulrich ; Mader, Ralph ; Fey, Dietmar 2024 Technische Hochschule Ingolstadt
• The Omnivisor: A Real-Time Static Partitioning Hypervisor Extension for Heterogeneous Core Virtualization over MPSoCs
  Ottaviano, Daniele ; Ciraolo, Francesco ; Mancuso, Renato ; Cinque, Marcello 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• JuMP2start: Time-Aware Stop-Start Technology for a Software-Defined Vehicle System
  Farrukh, Anam ; West, Richard 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Omnivisor: A real-time static partitioning hypervisor extension for heterogeneous core virtualization over MPSoCs (Artifact)
  Ottaviano, Daniele ; Ciraolo, Francesco ; Mancuso, Renato ; Cinque, Marcello
• H-MBR: Hypervisor-Level Memory Bandwidth Reservation for Mixed Criticality Systems
  Oliveira, Afonso ; Costa, Diogo ; Moreira, Gonçalo ; Martins, José ; Pinto, Sandro 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik