Search results for "Microkernel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Tianzhou Chen, Wei Hu 0001, Yi Lian	Power-Efficient Microkernel of Embedded Operating System on Chip.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	power-efficient, microkernel, embedded operating system
101	Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez 0001, Frédéric Salles	Dependability of COTS Microkernel-Based Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	COTS microkernels, dependability characterization, error confinement, fault injection, wrapping
95	Michel Gien	Evolution of the CHORUS Open Microkernel Architecture: The STREAM Project.	FTDCS	1995	DBLP DOI BibTeX RDF	Real-time Executive, Embedded System, Operating System, Object-Oriented System, Real-time Operating System, Distributed Operating System, Microkernel
89	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
82	Matthias Daum 0001, Jan Dörrenbächer, Burkhart Wolff	Proving Fairness and Implementation Correctness of a Microkernel Scheduler.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL
82	Kun-Yuan Hsieh, Yung-Chia Lin, Chien-Ching Huang, Jenq Kuen Lee	Enhancing Microkernel Performance on VLIW DSP Processors via Multiset Context Switch.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	VLIW DSP processor, optimizing context switch overhead, microkernel design
82	Juan C. Moure, Daniel Franco 0002, Elisa Heymann, Emilio Luque	TransCom: A Communication Microkernel for Transputers.	PDP	1996	DBLP DOI BibTeX RDF	communication microkernel, TransCom, TransRouter, data transport, processor resource, parallel programming, parallel programming, parallel architecture, message passing, message passing, communication network, communication protocols, distributed memory systems, processor scheduling, network operating systems, access protocols, operating system kernels, transputers, distributed-memory multiprocessor, load distribution, communication primitives, transputer systems
74	Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger	A programmable microkernel for real-time systems.	VEE	2005	DBLP DOI BibTeX RDF	real time, virtual machine, operating system
74	Jugwan Eom, Dohun Kim, Chanik Park	L4oprof: A System-Wide Profiler Using Hardware PMU in L4 Environment.	ICESS	2007	DBLP DOI BibTeX RDF	L4 microkernel, statistical profiling, hardware PMU, performance analysis, performance measures, performance monitoring
68	Gerwin Klein, Philip Derrin, Kevin Elphinstone	Experience report: seL4: formally verifying a high-performance microkernel.	ICFP	2009	DBLP DOI BibTeX RDF	seL4, haskell, microkernel, Isabelle/HOL
68	Jean-Charles Fabre, Manuel Rodríguez 0001, Jean Arlat, J.-M. Sizun	Building dependable COTS microkernel-based systems using MAFALDA.	PRDC	2000	DBLP DOI BibTeX RDF	dependable COTS, microkernel-based systems, MAFALDA, COTS microkernels, error confinement wrappers, fault injection, software fault tolerance, operating system kernels
68	Gregory Bollella, Kevin Jeffay	Support for real-time computing within general purpose operating systems-supporting co-resident operating systems.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time computing support, co-resident operating systems, workstation applications, real-time communication services, real-time computation services, real-time computing technology development, commercial systems, predictable real-time kernel, shared device multiplexing, shared data structure partitioning, CPU executive, IBM Microkernel, Mach microkernel, OSF/1 server, uniprocessor periodic task scheduling, CPU capacity allocation, scheduling, software engineering, real-time systems, hardware, multimedia systems, processor scheduling, operating systems (computers), operating system kernels, distributed multimedia applications, general purpose operating systems
61	Dohun Kim, Jugwan Eom, Chanik Park	L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
61	Manuel Rodríguez 0001, Frédéric Salles, Jean-Charles Fabre, Jean Arlat	MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.	EDCC	1999	DBLP DOI BibTeX RDF
55	Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig	Capability wrangling made easy: debugging on a microkernel with valgrind.	VEE	2010	DBLP DOI BibTeX RDF	l4, valgrind, capability, microkernel
55	Toshikazu Ohkubo, I. Takenaka, Tetsuo Wasano, M. Omiya	Quality criteria for realtime microkernel products.	RTCSA	1996	DBLP DOI BibTeX RDF	microkernel products, realtime OS, realtime kernel, quality evaluation parameters, quantitative rating, software products, operating system kernels, quantification, quality criteria
55	Jaehong Shim, Kyunghee Choi, Gihyun Jung, Seungkyu Park, HyeonSik Shin, Dongyoon Kim	Priority inversion handling in microkernel-based Real-Time Mike.	RTCSA	1996	DBLP DOI BibTeX RDF	resource management model, microkernel-based, Real-Time Mike, resource locking, job identifier inheritance, priority ceiling inheritance, multiple blocking, client/server communication, real-time systems, deadlock, priority inversion
54	Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum	Enhancing a dependable multiserver operating system with temporal protection via resource reservations.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel
54	Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters	Towards trustworthy computing systems: taking microkernels to the next level.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
48	Jason Agron, David Andrews 0001	Building heterogeneous reconfigurable systems with a hardware microkernel.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	FPGAs, operating systems, heterogeneous architectures
48	Yan Liu, Ted Wong	Component Architecture and Modeling for Microkernel-Based Embedded System Development.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Embedded system, component, model driven development
48	Sebastian Hessel, Felix Bruns, Attila Bilgic, Adam Lackorzynski, Hermann Härtig, Josef Hausner	Acceleration of the L4/Fiasco microkernel using scratchpad memory.	MobiVirt	2008	DBLP DOI BibTeX RDF
48	Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy	The B-Method for the Construction of Microkernel-Based Systems.	B	2007	DBLP DOI BibTeX RDF
48	Xiaoqi Lu, Scott F. Smith 0001	A microkernel virtual machine: : building security with clear interfaces.	PLAS	2006	DBLP DOI BibTeX RDF	Java, access control, frameworks, virtual machine, interface, kernel, language-based security
48	Philip Machanick	The Value of a Small Microkernel for Dreamy Memory and the RAMpage Memory Hierarchy.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	low-power design, cache memories, virtual memory, microkernels, main memory
48	Khawar M. Zuberi, Kang G. Shin	EMERALDS: A Small-Memory Real-Time Microkernel.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	task synchronization, embedded systems, real-time scheduling, Real-time operating systems, intertask communication
48	Khawar M. Zuberi, Padmanabhan Pillai, Kang G. Shin	EMERALDS: a small-memory real-time microkernel.	SOSP	1999	DBLP DOI BibTeX RDF
47	Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood	seL4: formal verification of an OS kernel.	SOSP	2009	DBLP DOI BibTeX RDF	l4, sel4, microkernel, isabelle/hol
47	Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-μKernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
47	Frédéric Salles, Jean Arlat, Jean-Charles Fabre	Can we rely on COTS microkernels for building fault-tolerant systems?	FTDCS	1997	DBLP DOI BibTeX RDF	COTS microkernels, functional primitives, fault containment mechanisms, detection mechanisms, Chorus microkernel, embedded fault-tolerant systems, commercial executives, dependability, fault injection, application program interfaces, API, safety-critical systems, fault-tolerant systems, application software, Commercial-Off-The-Shelf components
47	Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska	Sharing and Protection in a Single-Address-Space Operating System.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF	capability-based systems, microkernel operating systems, single-address-space operating systems, wide-address architectures, protection, object-oriented database systems, persistent storage, 64-bit architectures
41	Tae-You Lee, Yong-Ki Ku, Choon-Sung Nam, Dong Ryeol Shin	The Microkernel Concept Based Dependable System Architecture.	NCM	2009	DBLP DOI BibTeX RDF	operating system, dependability, microkernel
41	Sang-Min Lee, Dong-Geun Kim, Dong Ryeol Shin	Design of the L4 Microkernel Based Lightweight Mobile Middleware for Mobile Phone.	NCM (1)	2008	DBLP DOI BibTeX RDF	L4 Microkernel, Iguana, Wombat, Mobile Middleware, BREW, WIPI
40	Norman Feske	A case study on the cost and benefit of dynamic RPC marshalling for low-level system components.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
40	Jing Chen, Jian-Horng Liu	Developing Embedded Kernel for System-On-a-Chip Platform of Heterogeneous Multiprocessor Architecture.	RTCSA	2006	DBLP DOI BibTeX RDF
40	Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther	The SawMill multiserver approach.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
40	J. Bradley Chen, Brian N. Bershad	The Impact of Operating System Structure on Memory System Performance.	SOSP	1993	DBLP DOI BibTeX RDF	UNIX, Mach
34	Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer	Formal Verification of a Microkernel Used in Dependable Software Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
34	Long Wang 0003, Zbigniew Kalbarczyk, Weining Gu, Ravishankar K. Iyer	Reliability MicroKernel: Providing Application-Aware Reliability in the OS.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
34	Volkmar Uhlig	The mechanics of in-kernel synchronization for a scalable microkernel.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
34	Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima	Constructing machine emulator on portable microkernel.	SAC	2007	DBLP DOI BibTeX RDF	virtualizations, emulators, microkernels
34	Tianzhou Chen, Hu Wei, Lian Yi	Microkernel of Embedded Operating System in SRAM.	IWNAS	2006	DBLP DOI BibTeX RDF
34	Xuesen Ma, Jianghong Han, Yang Lu, Zhenchun Wei	Research of Component-Based Hybrid Design Pattern for Real-Time Microkernel.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
34	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty	Running the manual: an approach to high-assurance microkernel development.	Haskell	2006	DBLP DOI BibTeX RDF	formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
34	Michael Hohmuth, Hendrik Tews, Shane G. Stephens	Applying source-code verification to a microkernel: the VFiasco project.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
34	Wim Van de Velde, Johan Opsommer, Erik H. D'Hollander	Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors.	PARLE	1993	DBLP DOI BibTeX RDF
34	Christian B. Czech, Bertram Hütter, Michael Gwinner	Flexible Protocol Stacks by In-Kernel Composition.	HPDC	1998	DBLP DOI BibTeX RDF	operating systems, communication protocols, microkernel
34	Tatsuo Nakajima	A toolkit for building continuous media applications.	RTCSA	1997	DBLP DOI BibTeX RDF	continuous media applications, multimedia programming, dynamic QOS control, real-time Mach microkernel, complexities, multimedia computing, multimedia computing, scripting language, real-time processing, media synchronization
34	Anastasio Molano, Kanaka Juvva, Ragunathan Rajkumar	Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach.	RTSS	1997	DBLP DOI BibTeX RDF	real-time file systems, RT-Mach, real-time database applications, real-time disk scheduling algorithm, earliest deadline scheduling, just-in-time scheduling, aperiodic servers, disk throughput, admission control policies, microkernel-based system, real-time shell, resource reservation paradigm, disk scheduling algorithms, performance, usability, real-time systems, multimedia systems, timing constraint, disks, disk access, concurrent applications
34	George M. Mohay, J. Zellers	Kernel and Shell-Based Applications Integrity Assurance.	ACSAC	1997	DBLP DOI BibTeX RDF	kernel-based applications integrity assurance, shell-based applications integrity assurance, software authenticity verification, CASS project, Computer Architecture for Secure Systems, UNIX SVR4.2, Mach 3.0 microkernel, portable shell, UNIX-style platforms, security, data integrity, operating system, executables, computer viruses, integrity checking, implementation issues
34	Rita de Cássia Pivetta Machado, Celso Maciel da Costa	GPS: A Parallel Programming Tool based on Process Groups.	SCCC	1997	DBLP DOI BibTeX RDF	parallel application development, microkernel environment, parallel programming, message passing, GPS, application programming interface, ease of use, networked environment, process groups, distributed systems design, parallel programming tool
34	Hideyuki Tokuda	Operating system support for continuous media applications-RT-Mach extensions.	RTCSA	1995	DBLP DOI BibTeX RDF	continuous media applications, Real-Time Mach microkernel, resource management support, real-time systems, operating system, operating systems (computers), multimedia computing, operating system kernels, programming support, architectural support
34	Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Mary Gray Baker	RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	RELACS, reliable applications, large geographic distances, reliability requirements, communication subsystem, distributed processing, programming, programming, wide area networks, software fault tolerance, software portability, asynchrony, microkernel, reliable computing, communications infrastructure, large-scale distributed systems
27	Gernot Heiser, Ben Leslie	The OKL4 microvisor: convergence point of microkernels and hypervisors.	ApSys	2010	DBLP DOI BibTeX RDF	real-time systems, embedded systems, virtual machines, hypervisors, microkernels
27	Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David A. Cock, Michael Norrish	Mind the Gap.	TPHOLs	2009	DBLP DOI BibTeX RDF
27	Michael Hohmuth	Introduction.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
27	Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima	Dynamic Translator-Based Virtualization.	SEUS	2007	DBLP DOI BibTeX RDF
27	Sergio Ruocco	User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection.	RTSS	2006	DBLP DOI BibTeX RDF
27	Dylan Griffiths, Dwight J. Makaroff	Hybrid vs. monolithic OS kernels: a benchmark comparison.	CASCON	2006	DBLP DOI BibTeX RDF
27	Udo Steinberg, Jean Wolter, Hermann Härtig	Fast Component Interaction for Real-Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF
27	Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul	On the Correctness of Operating System Kernels.	TPHOLs	2005	DBLP DOI BibTeX RDF
27	Ravi Shah, Yann-Hang Lee, Daeyoung Kim 0001	Sharing I/O in Strongly Partitioned Real-Time Systems.	ICESS	2004	DBLP DOI BibTeX RDF
27	Shuichi Oikawa, Hiroo Ishikawa, Masatoshi Iwasaki, Tatsuo Nakajima	Providing Protected Execution Environments for Embedded Operating Systems Using a µ-Kernel.	EUC	2004	DBLP DOI BibTeX RDF
27	Manuel Rodríguez 0001, Arnaud Albinet, Jean Arlat	MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.	DSN	2002	DBLP DOI BibTeX RDF
27	Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder	Understanding the performance of the Java operating system JX using visualization techniques.	Java Grande	2002	DBLP DOI BibTeX RDF	Java operating system, performance visualization techniques
27	Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller	The SawMill Framework for Virtual Memory Diversity.	ACSAC	2001	DBLP DOI BibTeX RDF
27	Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke	Synchronous IPC over transparent monitors.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
27	Mark R. Heckman, Karl N. Levitt	Applying the Composition Principle to Verify a Hierarchy of Security Servers.	HICSS (3)	1998	DBLP DOI BibTeX RDF
27	Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda	Design and Implementation of Dynamically Reconstructing System Software.	APSEC	1996	DBLP DOI BibTeX RDF	Dynamically Reconstructing, Object-Oriented, Operating System, Kernel, Module, Kernel Function
21	Cong Liu	Special issue: Emerging trends in real-time embedded systems: from Microkernel architecture to control system analysis and IoT frameworks.	Real Time Syst.	2024	DBLP DOI BibTeX RDF
21	Leping Zhang, Yongwang Zhao, Jianxin Li	A Comprehensive Specification and Verification of the L4 Microkernel API.	TACAS (2)	2024	DBLP DOI BibTeX RDF
21	Ximeng Li 0003, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi 0002	Refinement Verification of OS Services based on a Verified Preemptive Microkernel.	FASE	2024	DBLP DOI BibTeX RDF
21	Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod	Model-driven development for the seL4 microkernel using the HAMR framework.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
21	Gernot Heiser, Ivan Velickovic	Tutorial: Using the seL4 Microkernel.	DSN-S	2023	DBLP DOI BibTeX RDF
21	Guanyu Chen, Guoqing Yang, Hong Li, Zhijie Pan, Pan Lv	Asymmetric Init: Startup Optimization for Microkernel Hypervisor.	HPCC/DSS/SmartCity/DependSys	2023	DBLP DOI BibTeX RDF
21	Fangnuo Wu, Mingkai Dong 0002, Gequan Mo, Haibo Chen 0001	TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM.	SOSP	2023	DBLP DOI BibTeX RDF
21	Everton de Matos, Markku Ahvenjärvi	seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM.	CoRR	2022	DBLP DOI BibTeX RDF
21	Jiajia Yi, Meng Li, Kun Xiao, Lirong Chen, Lei Luo 0004, Rui Xu	Capability-based Component Security Mechanism for Microkernel OS.	DSC	2022	DBLP DOI BibTeX RDF
21	Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel	Safety Certification with the Open Source Microkernel-Based Operating System L4Re.	SAFECOMP	2022	DBLP DOI BibTeX RDF
21	Yen-Ting Chen, Han-Xiang Liu, Yuan-Hao Chang 0001, Yu-Pei Liang, Wei-Kuan Shih	SACS: A Self-Adaptive Checkpointing Strategy for Microkernel-Based Intermittent Systems.	ISLPED	2022	DBLP DOI BibTeX RDF
21	Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli	Applying formal verification to microkernel IPC at meta.	CPP	2022	DBLP DOI BibTeX RDF
21	Yohannes Belayneh Bekele, Daniel B. Limbrick	Evaluating the Impact of Hardware Faults on Program Execution in a Microkernel Environment.	HOST	2022	DBLP DOI BibTeX RDF
21	Yauhen Klimiankou	Micro-CLK: returning to the asynchronicity with communication-less microkernel.	APSys	2021	DBLP DOI BibTeX RDF
21	Jing Liu, Anthony Rebello, Yifan Dai, Chenhao Ye, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Scale and Performance in a Filesystem Semi-Microkernel.	SOSP	2021	DBLP DOI BibTeX RDF
21	De Jian Li, Hui Wang, Xiao Ke Tang, Li Xin Yang, Chong Fei Shen, Kun Xiao	Secure Trusted Operating System Based on Microkernel Architecture.	ICICT (3)	2021	DBLP DOI BibTeX RDF
21	Deepa Mathew, Bijoy Antony Jose, Jimson Mathew, Priyadarsan Patra	Enabling Hardware Performance Counters for Microkernel-Based Virtualization on Embedded Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
21	Peng Xinghai, Xiao Kun, Li Yun, Lirong Chen, Zhang Wen	Fast Interprocess Communication Algorithm in Microkernel.	Int. J. Perform. Eng.	2020	DBLP DOI BibTeX RDF
21	Carsten Weinhold, Adam Lackorzynski, Jan Bierbaum, Martin Küttler, Maksym Planeta, Hannes Weisbach, Matthias Hille, Hermann Härtig, Alexander Margolin, Dror Sharf, Ely Levy, Pavel Gak, Amnon Barak, Masoud Gholami, Florian Schintke, Thorsten Schütt, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel	FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing.	Software for Exascale Computing	2020	DBLP DOI BibTeX RDF
21	Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia	A heterogeneous microkernel OS for Rack-Scale systems.	APSys	2020	DBLP DOI BibTeX RDF
21	Dominik Sisejkovic, Farhad Merchant, Lennart M. Reimann, Rainer Leupers, Massimiliano Giacometti, Sascha Kegreiß	A secure hardware-software solution based on RISC-V, logic locking and microkernel.	SCOPES	2020	DBLP DOI BibTeX RDF
21	David S. Hardin	Synthesis of Verified Architectural Components for Critical Systems Hosted on a Verified Microkernel.	HICSS	2020	DBLP BibTeX RDF
21	Yuxin Ren 0001, Gabriel Parmer, Dejan S. Milojicic	Ch'i: Scaling Microkernel Capabilities in Cache-Incoherent Systems.	ROSS@SC	2020	DBLP DOI BibTeX RDF
21	Leandro Poloni Dantas, Rodolfo Jardim de Azevedo, Salvador Pinillos Gimenez	A Novel Processor Architecture With a Hardware Microkernel to Improve the Performance of Task-Based Systems.	IEEE Embed. Syst. Lett.	2019	DBLP DOI BibTeX RDF
21	Rongfei Xu, Li Zhang 0029, Ning Ge 0002	Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System.	IEEE Access	2019	DBLP DOI BibTeX RDF
21	Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi 0002, Yong Guan	MicroTEE: Designing TEE OS Based on the Microkernel Architecture.	CoRR	2019	DBLP BibTeX RDF
21	Deepa Mathew, Bijoy Antony Jose, Priyadarsan Patra	Performance Analysis of Microkernel Based Virtualization Techniques on Embedded Systems.	J. Low Power Electron.	2019	DBLP DOI BibTeX RDF
21	Jun Chen, Wei Liu 0070, Xiaoliang Lv, Deliang Ji, Jia Shi, Bo Li 0005	Research on Microkernel-based Power Dedicated Secure Operating System.	J. Signal Process. Syst.	2019	DBLP DOI BibTeX RDF
21	Carsten Weinhold, Adam Lackorzynski, Hermann Härtig	FFMK: An HPC OS Based on the L4Re Microkernel.	Operating Systems for Supercomputers and High Performance Computing	2019	DBLP DOI BibTeX RDF
21	Pedro Henrique Penna, João Vicente Souto, Davidson Francis Lima, Márcio Castro 0001, François Broquedis, Henrique C. Freitas, Jean-François Méhaut	On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores.	SBESC	2019	DBLP DOI BibTeX RDF
21	Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar 0001, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat	Snap: a microkernel approach to host networking.	SOSP	2019	DBLP DOI BibTeX RDF