„microkernel“

Suchergebnisse

33 Treffer

• Scalability of microkernel-based systems
  Uhlig, Volkmar
• Communication in microkernel-based operating systems
  Aigner, Ronald
• Design and Implementation of Port-Mapped IO Management Subsystem and Kernel Interface for True Microkernels on IA-32 Processors
  Klimiankou, Yauhen
• On the Integration of Digital Signal Processors into Microkernelbased Operating Systems
  Baumgartl, Robert 2001 Shaker
• On the integration of digital signal processors into microkernel based operating systems
  Baumgartl, Robert 2001 Shaker
• Security in embedded avionic systems using the concept of multiple independent levels of security
  Müller, Kevin 2017 [epubli]
• Research on Microkernel-based Power Dedicated Secure Operating System
  Chen, Jun ; Liu, Wei ; Lv, Xiaoliang ; Ji, Deliang ; Shi, Jia ; Li, Bo
• An I - O architecture for microkernel based operating systems
  Härtig, Hermann 2003 TU, Fak. Informatik
• Provable protection of confidential data in microkernel based systems
  Völp, Marcus
• An energy-efficient design of microkernel-based on-chip OS for NOC-based manycore system
  Hu, Wei ; Guo, Hong ; Zhang, Kai ; Liu, Jun ; Liu, Xiaoming ; Shi, Qingsong
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• A microkernel architecture for constraint programming
  Michel, L. ; Van Hentenryck, P.
• A Real-Time Programmer's Tour of General-Purpose L4 Microkernels
  Ruocco, Sergio