Ergebnisse für: Microkernel
Hier findest Du Bücher, die sich mit Microkernel beschäftigen.
This thesis adapts the system design concept of Multiple Independent Levels of Security (MILS) as software architecture for a high-assurance use case - an avionic gateway to control data flows. Additionally, the thesis analyzes solutions to perform I/O operations securely. For this, hardware require...
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the desi...
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited...
Softwarearchitektur zeitgemäß und pragmatisch geplant
Architektonische Muster: Das technische Fundament für viele architektonische Entscheidungen
Komponenten: Identifizierung, Kopplung, Kohäsion, Partitionierung und Granularität
Architekturstile wie Microkernel, SOA, Microservices u.v....
Softwarearchitektur zeitgemäß und pragmatisch geplant
Architektonische Muster: Das technische Fundament für viele architektonische Entscheidungen
Komponenten: Identifizierung, Kopplung, Kohäsion, Partitionierung und Granularität
Architekturstile wie Microkernel, SOA, Microservices u.v....
Softwarearchitektur zeitgemäß und pragmatisch geplant
Architektonische Muster: Das technische Fundament für viele architektonische Entscheidungen
Komponenten: Identifizierung, Kopplung, Kohäsion, Partitionierung und Granularität
Architekturstile wie Microkernel, SOA, Microservices u.v....
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the desi...
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited...
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the desi...
This document presents the results of the seminar "Coneptual Arachitecture Patterns" of the winter term 2002 in the Hasso-Plattner-Institute. It is a compilation of the student's elaborations dealing with some conceptual architecture patterns which can be found in literature. One important focus lai...