The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Microkernel with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-1993 (17) 1994-1995 (23) 1996-1997 (21) 1998-1999 (16) 2000-2002 (17) 2003-2005 (20) 2006-2007 (31) 2008 (17) 2009-2010 (24) 2011-2013 (19) 2014-2015 (20) 2016-2018 (21) 2019-2020 (19) 2021-2024 (16)
Publication types (Num. hits)
article(64) book(1) incollection(5) inproceedings(201) phdthesis(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 277 occurrences of 189 keywords

Results
Found 281 publication records. Showing 281 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
108Tianzhou Chen, Wei Hu 0001, Yi Lian Power-Efficient Microkernel of Embedded Operating System on Chip. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF power-efficient, microkernel, embedded operating system
101Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez 0001, Frédéric Salles Dependability of COTS Microkernel-Based Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF COTS microkernels, dependability characterization, error confinement, fault injection, wrapping
95Michel Gien Evolution of the CHORUS Open Microkernel Architecture: The STREAM Project. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Real-time Executive, Embedded System, Operating System, Object-Oriented System, Real-time Operating System, Distributed Operating System, Microkernel
89Khawar M. Zuberi, Kang G. Shin EMERALDS: a microkernel for embedded real-time systems. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
82Matthias Daum 0001, Jan Dörrenbächer, Burkhart Wolff Proving Fairness and Implementation Correctness of a Microkernel Scheduler. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL
82Kun-Yuan Hsieh, Yung-Chia Lin, Chien-Ching Huang, Jenq Kuen Lee Enhancing Microkernel Performance on VLIW DSP Processors via Multiset Context Switch. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF VLIW DSP processor, optimizing context switch overhead, microkernel design
82Juan C. Moure, Daniel Franco 0002, Elisa Heymann, Emilio Luque TransCom: A Communication Microkernel for Transputers. Search on Bibsonomy PDP The full citation details ... 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
74Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger A programmable microkernel for real-time systems. Search on Bibsonomy VEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF real time, virtual machine, operating system
74Jugwan Eom, Dohun Kim, Chanik Park L4oprof: A System-Wide Profiler Using Hardware PMU in L4 Environment. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF L4 microkernel, statistical profiling, hardware PMU, performance analysis, performance measures, performance monitoring
68Gerwin Klein, Philip Derrin, Kevin Elphinstone Experience report: seL4: formally verifying a high-performance microkernel. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF seL4, haskell, microkernel, Isabelle/HOL
68Jean-Charles Fabre, Manuel Rodríguez 0001, Jean Arlat, J.-M. Sizun Building dependable COTS microkernel-based systems using MAFALDA. Search on Bibsonomy PRDC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dependable COTS, microkernel-based systems, MAFALDA, COTS microkernels, error confinement wrappers, fault injection, software fault tolerance, operating system kernels
68Gregory Bollella, Kevin Jeffay Support for real-time computing within general purpose operating systems-supporting co-resident operating systems. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
61Dohun Kim, Jugwan Eom, Chanik Park L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Manuel Rodríguez 0001, Frédéric Salles, Jean-Charles Fabre, Jean Arlat MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. Search on Bibsonomy EDCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
55Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig Capability wrangling made easy: debugging on a microkernel with valgrind. Search on Bibsonomy VEE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF l4, valgrind, capability, microkernel
55Toshikazu Ohkubo, I. Takenaka, Tetsuo Wasano, M. Omiya Quality criteria for realtime microkernel products. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF microkernel products, realtime OS, realtime kernel, quality evaluation parameters, quantitative rating, software products, operating system kernels, quantification, quality criteria
55Jaehong Shim, Kyunghee Choi, Gihyun Jung, Seungkyu Park, HyeonSik Shin, Dongyoon Kim Priority inversion handling in microkernel-based Real-Time Mike. Search on Bibsonomy RTCSA The full citation details ... 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
54Antonio 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. Search on Bibsonomy Real Time Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel
54Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters Towards trustworthy computing systems: taking microkernels to the next level. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Jason Agron, David Andrews 0001 Building heterogeneous reconfigurable systems with a hardware microkernel. Search on Bibsonomy CODES+ISSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF FPGAs, operating systems, heterogeneous architectures
48Yan Liu, Ted Wong Component Architecture and Modeling for Microkernel-Based Embedded System Development. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Embedded system, component, model driven development
48Sebastian Hessel, Felix Bruns, Attila Bilgic, Adam Lackorzynski, Hermann Härtig, Josef Hausner Acceleration of the L4/Fiasco microkernel using scratchpad memory. Search on Bibsonomy MobiVirt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy The B-Method for the Construction of Microkernel-Based Systems. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Xiaoqi Lu, Scott F. Smith 0001 A microkernel virtual machine: : building security with clear interfaces. Search on Bibsonomy PLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, access control, frameworks, virtual machine, interface, kernel, language-based security
48Philip Machanick The Value of a Small Microkernel for Dreamy Memory and the RAMpage Memory Hierarchy. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF low-power design, cache memories, virtual memory, microkernels, main memory
48Khawar M. Zuberi, Kang G. Shin EMERALDS: A Small-Memory Real-Time Microkernel. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF task synchronization, embedded systems, real-time scheduling, Real-time operating systems, intertask communication
48Khawar M. Zuberi, Padmanabhan Pillai, Kang G. Shin EMERALDS: a small-memory real-time microkernel. Search on Bibsonomy SOSP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Gerwin 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF l4, sel4, microkernel, isabelle/hol
47Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis SPIRIT-μKernel for strongly partitioned real-time systems. Search on Bibsonomy RTCSA The full citation details ... 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
47Frédéric Salles, Jean Arlat, Jean-Charles Fabre Can we rely on COTS microkernels for building fault-tolerant systems? Search on Bibsonomy FTDCS The full citation details ... 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
47Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska Sharing and Protection in a Single-Address-Space Operating System. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 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
41Tae-You Lee, Yong-Ki Ku, Choon-Sung Nam, Dong Ryeol Shin The Microkernel Concept Based Dependable System Architecture. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operating system, dependability, microkernel
41Sang-Min Lee, Dong-Geun Kim, Dong Ryeol Shin Design of the L4 Microkernel Based Lightweight Mobile Middleware for Mobile Phone. Search on Bibsonomy NCM (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF L4 Microkernel, Iguana, Wombat, Mobile Middleware, BREW, WIPI
40Norman Feske A case study on the cost and benefit of dynamic RPC marshalling for low-level system components. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Jing Chen, Jian-Horng Liu Developing Embedded Kernel for System-On-a-Chip Platform of Heterogeneous Multiprocessor Architecture. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther The SawMill multiserver approach. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40J. Bradley Chen, Brian N. Bershad The Impact of Operating System Structure on Memory System Performance. Search on Bibsonomy SOSP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF UNIX, Mach
34Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer Formal Verification of a Microkernel Used in Dependable Software Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Long Wang 0003, Zbigniew Kalbarczyk, Weining Gu, Ravishankar K. Iyer Reliability MicroKernel: Providing Application-Aware Reliability in the OS. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Volkmar Uhlig The mechanics of in-kernel synchronization for a scalable microkernel. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima Constructing machine emulator on portable microkernel. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtualizations, emulators, microkernels
34Tianzhou Chen, Hu Wei, Lian Yi Microkernel of Embedded Operating System in SRAM. Search on Bibsonomy IWNAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Xuesen Ma, Jianghong Han, Yang Lu, Zhenchun Wei Research of Component-Based Hybrid Design Pattern for Real-Time Microkernel. Search on Bibsonomy ICAT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty Running the manual: an approach to high-assurance microkernel development. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
34Michael Hohmuth, Hendrik Tews, Shane G. Stephens Applying source-code verification to a microkernel: the VFiasco project. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Wim Van de Velde, Johan Opsommer, Erik H. D'Hollander Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
34Christian B. Czech, Bertram Hütter, Michael Gwinner Flexible Protocol Stacks by In-Kernel Composition. Search on Bibsonomy HPDC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF operating systems, communication protocols, microkernel
34Tatsuo Nakajima A toolkit for building continuous media applications. Search on Bibsonomy RTCSA The full citation details ... 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
34Anastasio Molano, Kanaka Juvva, Ragunathan Rajkumar Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach. Search on Bibsonomy RTSS The full citation details ... 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
34George M. Mohay, J. Zellers Kernel and Shell-Based Applications Integrity Assurance. Search on Bibsonomy ACSAC The full citation details ... 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
34Rita de Cássia Pivetta Machado, Celso Maciel da Costa GPS: A Parallel Programming Tool based on Process Groups. Search on Bibsonomy SCCC The full citation details ... 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
34Hideyuki Tokuda Operating system support for continuous media applications-RT-Mach extensions. Search on Bibsonomy RTCSA The full citation details ... 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. Search on Bibsonomy HICSS (2) The full citation details ... 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
27Gernot Heiser, Ben Leslie The OKL4 microvisor: convergence point of microkernels and hypervisors. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time systems, embedded systems, virtual machines, hypervisors, microkernels
27Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David A. Cock, Michael Norrish Mind the Gap. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Michael Hohmuth Introduction. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima Dynamic Translator-Based Virtualization. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Sergio Ruocco User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Dylan Griffiths, Dwight J. Makaroff Hybrid vs. monolithic OS kernels: a benchmark comparison. Search on Bibsonomy CASCON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Udo Steinberg, Jean Wolter, Hermann Härtig Fast Component Interaction for Real-Time Systems. Search on Bibsonomy ECRTS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul On the Correctness of Operating System Kernels. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Ravi Shah, Yann-Hang Lee, Daeyoung Kim 0001 Sharing I/O in Strongly Partitioned Real-Time Systems. Search on Bibsonomy ICESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Shuichi Oikawa, Hiroo Ishikawa, Masatoshi Iwasaki, Tatsuo Nakajima Providing Protected Execution Environments for Embedded Operating Systems Using a µ-Kernel. Search on Bibsonomy EUC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Manuel Rodríguez 0001, Arnaud Albinet, Jean Arlat MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. Search on Bibsonomy DSN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder Understanding the performance of the Java operating system JX using visualization techniques. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java operating system, performance visualization techniques
27Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller The SawMill Framework for Virtual Memory Diversity. Search on Bibsonomy ACSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke Synchronous IPC over transparent monitors. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Mark R. Heckman, Karl N. Levitt Applying the Composition Principle to Verify a Hierarchy of Security Servers. Search on Bibsonomy HICSS (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda Design and Implementation of Dynamically Reconstructing System Software. Search on Bibsonomy APSEC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Dynamically Reconstructing, Object-Oriented, Operating System, Kernel, Module, Kernel Function
21Cong Liu Special issue: Emerging trends in real-time embedded systems: from Microkernel architecture to control system analysis and IoT frameworks. Search on Bibsonomy Real Time Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Leping Zhang, Yongwang Zhao, Jianxin Li A Comprehensive Specification and Verification of the L4 Microkernel API. Search on Bibsonomy TACAS (2) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Ximeng Li 0003, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi 0002 Refinement Verification of OS Services based on a Verified Preemptive Microkernel. Search on Bibsonomy FASE The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Jason 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. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Gernot Heiser, Ivan Velickovic Tutorial: Using the seL4 Microkernel. Search on Bibsonomy DSN-S The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Guanyu Chen, Guoqing Yang, Hong Li, Zhijie Pan, Pan Lv Asymmetric Init: Startup Optimization for Microkernel Hypervisor. Search on Bibsonomy HPCC/DSS/SmartCity/DependSys The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Fangnuo Wu, Mingkai Dong 0002, Gequan Mo, Haibo Chen 0001 TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. Search on Bibsonomy SOSP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Everton de Matos, Markku Ahvenjärvi seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Jiajia Yi, Meng Li, Kun Xiao, Lirong Chen, Lei Luo 0004, Rui Xu Capability-based Component Security Mechanism for Microkernel OS. Search on Bibsonomy DSC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel Safety Certification with the Open Source Microkernel-Based Operating System L4Re. Search on Bibsonomy SAFECOMP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Yen-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. Search on Bibsonomy ISLPED The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli Applying formal verification to microkernel IPC at meta. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Yohannes Belayneh Bekele, Daniel B. Limbrick Evaluating the Impact of Hardware Faults on Program Execution in a Microkernel Environment. Search on Bibsonomy HOST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Yauhen Klimiankou Micro-CLK: returning to the asynchronicity with communication-less microkernel. Search on Bibsonomy APSys The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Jing 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. Search on Bibsonomy SOSP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21De Jian Li, Hui Wang, Xiao Ke Tang, Li Xin Yang, Chong Fei Shen, Kun Xiao Secure Trusted Operating System Based on Microkernel Architecture. Search on Bibsonomy ICICT (3) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Deepa Mathew, Bijoy Antony Jose, Jimson Mathew, Priyadarsan Patra Enabling Hardware Performance Counters for Microkernel-Based Virtualization on Embedded Systems. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Peng Xinghai, Xiao Kun, Li Yun, Lirong Chen, Zhang Wen Fast Interprocess Communication Algorithm in Microkernel. Search on Bibsonomy Int. J. Perform. Eng. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Carsten 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. Search on Bibsonomy Software for Exascale Computing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia A heterogeneous microkernel OS for Rack-Scale systems. Search on Bibsonomy APSys The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Dominik 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. Search on Bibsonomy SCOPES The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21David S. Hardin Synthesis of Verified Architectural Components for Critical Systems Hosted on a Verified Microkernel. Search on Bibsonomy HICSS The full citation details ... 2020 DBLP  BibTeX  RDF
21Yuxin Ren 0001, Gabriel Parmer, Dejan S. Milojicic Ch'i: Scaling Microkernel Capabilities in Cache-Incoherent Systems. Search on Bibsonomy ROSS@SC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Leandro 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. Search on Bibsonomy IEEE Embed. Syst. Lett. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Rongfei Xu, Li Zhang 0029, Ning Ge 0002 Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi 0002, Yong Guan MicroTEE: Designing TEE OS Based on the Microkernel Architecture. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Deepa Mathew, Bijoy Antony Jose, Priyadarsan Patra Performance Analysis of Microkernel Based Virtualization Techniques on Embedded Systems. Search on Bibsonomy J. Low Power Electron. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Jun Chen, Wei Liu 0070, Xiaoliang Lv, Deliang Ji, Jia Shi, Bo Li 0005 Research on Microkernel-based Power Dedicated Secure Operating System. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Carsten Weinhold, Adam Lackorzynski, Hermann Härtig FFMK: An HPC OS Based on the L4Re Microkernel. Search on Bibsonomy Operating Systems for Supercomputers and High Performance Computing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Pedro 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. Search on Bibsonomy SBESC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Michael 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. Search on Bibsonomy SOSP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 281 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license