„microkernel“

Suchergebnisse

1.000+ Treffer

• Scalability of microkernel-based systems
  Uhlig, Volkmar
• Load Distribution – Implementation for the Mach Microkernel
  1994 Vieweg+Teubner Verlag
• Communication in Microkernel-Based Operating Systems
  Aigner, Ronald ; Härtig, Hermann ; Meyer-Wegener, Klaus 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Provable Protection of Confidential Data in Microkernel-Based Systems
  Völp, Marcus ; Härtig, Hermann ; Poll, Erik 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Formal specification and verification of a microkernel
  Dörrenbächer, Jan
• Towards fast and portable microkernels
  Dannowski, Uwe
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• Implicit Remote Attestation for Microkernel-based Embedded Systems
  Wagner, Steffen ; Eckert, Claudia ; Baumgarten, Uwe 2018 Universitätsbibliothek der TU München
• Handbuch moderner Softwarearchitektur – Architekturstile, Patterns und Best Practices
  Richards, Mark ; Ford, Neal 2020 O'Reilly
• Harmonizing Security and Performance in Microkernel File Servers
  Li, Wen-Tai ; Wang, Zi-Xuan ; Gu, Jin-Yu ; Xia, Yu-Bin ; Zang, Bin-Yu
• Handbuch moderner Softwarearchitektur – Architekturstile, Patterns und Best Practices
  Richards, Mark ; Ford, Neal 2020 O'Reilly
• Handbuch moderner Softwarearchitektur – Architekturstile, Patterns und Best Practices
  Richards, Mark ; Ford, Neal ; Lang, Jørgen W. 2021 O'Reilly
• Design and Implementation of the MTX Operating System
  Wang, K.C. 2015 Springer International Publishing
• The Value of a Small Microkernel for Dreamy Memory and the RAMpage Memory Hierarchy
  Machanick, Philip
• Task migration on top of the Mach microkernel – design and implementation
  Milojičić, Dejan ; Zint, Wolfgang ; Dangel, Andreas 1992 Zentrum Rechnergestützte Ingenieursysteme
• Special issue: Emerging trends in real-time embedded systems: from Microkernel architecture to control system analysis and IoT frameworks
  Liu, Cong
• Role based access control and microkernel operating systems
  Friberg, Christian
• Applying source code verification to a microkernel – the V-fiasco project
  Hohmuth, Michael ; Tews, Hendrik ; Stephens, Shane G. 2002 TU, Fak. Informatik
• A comparison of three microkernels
  Tanenbaum, Andrew S.
• User-level Real-Time Network System on Microkernel-based Operating Systems
  Nakajima, Tatsuo ; Tokuda, Hideyuki