Search results for "Microkernels"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur	Are virtual-machine monitors microkernels done right?	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF
72	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
72	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
62	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
56		USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Daniel Stodolsky, J. Bradley Chen, Brian N. Bershad	Fast Interrupt Priority Management in Operating System Kernels.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Takuro Kitayama, Hideyuki Tokuda, Tatsuo Nakajima	RT-IPC: An IPC Extension for Real-Time Mach.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Roland Balter, Pierre-Yves Chevalier, André Freyssinet, Daniel Hagimont, Serge Lacourte, Xavier Rousset de Pina	Is Microkernel Technology Well Suited for the Support of Object-Oriented Systems: The Guide Experience.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Ross S. Finlayson, Mark D. Honnecke, Steven L. Goldberg	From V to Vanguard: The Evolution of a Distributed Object-Oriented Microkernel Interface.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Kevin Murray 0001, Tim Wilkinson, Peter Osmon, Ashley Saulsbury, Tom Stiemerling, Paul H. J. Kelly	Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Christian Bac, Edmond Garnie	Cohabitation and Cooperation of Chorus and MacOS.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Bodhisattwa Mukherjee, Karsten Schwan	Experimentation with a Reconfigurable Microkernel.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Steven K. Reinhardt, Babak Falsafi, David A. Wood 0001	Kernel Support for the Wisconsin Wind Tunnel.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	William S. Frantz, Charles R. Landau	Object-Oriented Transaction Processing in the KeyKOS Microkernel.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	Yousef Y. A. Khalidi, Michael N. Nelson	A Flexible External Paging Interface.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
56	D. Stuart Ritchie, Gerald W. Neufeld	User Level IPC and Device Management in the Raven Kernel.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
46	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
46	Jean-Charles Fabre	On the Use of COTS Microkernels for Dependable Systems.	ISADS	1999	DBLP DOI BibTeX RDF
44	Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos	Can We Make Operating Systems Reliable and Secure?	Computer	2006	DBLP DOI BibTeX RDF	Paravirtual machines, Multiserver architectures, Minix 3, Singularity operating system, Operating systems, Interprocess communication, Microkernels
44	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
36	Wayne Pfeiffer, Nicholas J. Wright	Modeling and predicting application performance on parallel computers using HPC challenge benchmarks.	IPDPS	2008	DBLP DOI BibTeX RDF
36	Frédéric Salles, Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	MetaKernels and Fault Containment Wrappers.	FTCS	1999	DBLP DOI BibTeX RDF
36	Jochen Liedtke	A Short Note on Cheap Fine-grained Time Measurement.	ACM SIGOPS Oper. Syst. Rev.	1996	DBLP DOI BibTeX RDF
28	Henry Massalin, Calton Pu	Reimplementing the Synthesis Kernel.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Jochen Liedtke	Fast Thread Management and Communication Without Continuations.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Jonathan Walpole, Jon Inouye, Ravindranath Konuru	Modularity and Interfaces in Micro-kernel Design and Implementation: A Case Study of Chorus on the HP PA-Risc.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28		Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	David L. Presotto	Plan 9.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Cheryl A. Wiecek	A Model and Prototype of VMS Using the Mach 3.0 Kernel.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Toshio Okamoto, Hiaeo Segawa, Sung Ho Shin, Hiroshi Nozue, Ken-ichi Maeda, Mitsuo Saito	A Micro-Kernel Architecture for Next Generation Processor.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Randall W. Dean, François Armand	Data Movement in Kernelized Systems.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Dan Hildebrand	An Architectural Overview of QNX.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Richard Draves	Mach.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Brian N. Bershad	The increasing irrelevance of IPC Performance for Micro-kernel-Based Operating Systems.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Franklin Reynolds	An Architectural Overview of Alpha: A Real-Time, Distributed Kernel.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Michael Stumm, Ronald C. Unrau, Orran Krieger	Designing a Scalable Operating System for Shared Memory Multiprocessors.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Allen C. Bomberger, William S. Frantz, Ann C. Hardy, Norman Hardy, Charles R. Landau, Jonathan S. Shapiro	The KeyKOS Nanokernel Architecture.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Marc Shapiro 0001, Mesaac Makpangou	Distributed Abstractions, Lightweight References.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Jun Nakajima, Masatomo Yazaki, Hitoshi Matsumoto	Multimedia/Realtime Extensions for Mach 3.0.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich	Performance of the BirLiX Operating System.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Robbert van Renesse	Amoeba.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Marc Rozier	Chorus.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Robbert van Renesse, Kenneth P. Birman, Robert Cooper, Bradford B. Glade, Pat Stephenson	Reliable Multicast between Micro-Kernels.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Nariman Batlivala, Barry Gleeson, James R. Hamrick, Scott Lurndal, Darren Price, James Soddy, Vadim Abrossimov	Experience with SVR4 Over Chorus.	USENIX Workshop on Microkernels and Other Kernel Architectures	1992	DBLP BibTeX RDF
28	Wentai Li, Jinyu Gu 0001, Nian Liu, Binyu Zang	Efficiently Recovering Stateful System Components of Multi-server Microkernels.	ICDCS	2021	DBLP DOI BibTeX RDF
28	Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival	Automatically Proving Microkernels Free from Privilege Escalation from their Executable.	CoRR	2020	DBLP BibTeX RDF
28	Sanket Tavarageri, Alexander Heinecke, Sasikanth Avancha, Gagandeep Goyal, Ramakrishna Upadrasta, Bharat Kaul	PolyScientist: Automatic Loop Transformations Combined with Microkernels for Optimization of Deep Learning Primitives.	CoRR	2020	DBLP BibTeX RDF
28	Jinyu Gu 0001, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen 0001	Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication.	USENIX Annual Technical Conference	2020	DBLP BibTeX RDF
28	Yauhen Klimiankou	Design and Implementation of Port-Mapped IO Management Subsystem and Kernel Interface for True Microkernels on IA-32 Processors.	Program. Comput. Softw.	2019	DBLP DOI BibTeX RDF
28	Gunnar Grimsdal, Patrik Lundgren, Christian Vestlund, Felipe Boeira, Mikael Asplund	Can Microkernels Mitigate Microarchitectural Attacks?	NordSec	2019	DBLP DOI BibTeX RDF
28	Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, Haibo Chen 0001	SkyBridge: Fast and Secure Inter-Process Communication for Microkernels.	EuroSys	2019	DBLP DOI BibTeX RDF
28	Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus	µQC: a property-based testing framework for L4 microkernels.	Int. J. Crit. Comput. Based Syst.	2018	DBLP DOI BibTeX RDF
28	Gernot Heiser, Kevin Elphinstone	L4 Microkernels: The Lessons from 20 Years of Research and Deployment.	ACM Trans. Comput. Syst.	2016	DBLP DOI BibTeX RDF
28	Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser	An Evaluation of Coarse-Grained Locking for Multicore Microkernels.	CoRR	2016	DBLP BibTeX RDF
28	Yauhen Klimiankou	An Enhanced Multi-Pager Environment Support for Second Generation Microkernels.	CoRR	2014	DBLP BibTeX RDF
28	Kevin Elphinstone, Gernot Heiser	From L3 to seL4 what have we learnt in 20 years of L4 microkernels?	SOSP	2013	DBLP DOI BibTeX RDF
28	Bernard Blackham	Towards verified microkernels for real-time mixed-criticality systems.		2013	RDF
28	Jason Agron, David Andrews 0001	Distributed Hardware-Based Microkernels: Making Heterogeneous OS Functionality a System Primitive.	FCCM	2010	DBLP DOI BibTeX RDF
28	Lutz Schubert, Stefan Wesner, Alexander Kipp, Alvaro Arenas	Self-managed Microkernels: From Clouds towards Resource Fabrics.	CloudComp	2009	DBLP DOI BibTeX RDF
28	Jason Agron, David Andrews 0001	Hardware Microkernels for Heterogeneous Manycore Systems.	ICPP Workshops	2009	DBLP DOI BibTeX RDF
28	Sergio Ruocco	A Real-Time Programmer's Tour of General-Purpose L4 Microkernels.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
28	Jeffrey L. Hieb, James H. Graham	Designing Security-Hardened Microkernels For Field Devices.	Critical Infrastructure Protection	2008	DBLP DOI BibTeX RDF
28	David A. Cock, Gerwin Klein, Thomas Sewell	Secure Microkernels, State Monads and Scalable Refinement.	TPHOLs	2008	DBLP DOI BibTeX RDF
28	Uwe Dannowski	Towards fast and portable microkernels.		2008	RDF
28	Gernot Heiser	Secure Embedded Systems Need Microkernels.	login Usenix Mag.	2005	DBLP BibTeX RDF
28	Steven Hand 0001, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Daniel J. Magenheimer	Are Virtual Machine Monitors Microkernels Done Right?	HotOS	2005	DBLP BibTeX RDF
28	Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	Formal Specification for Building Robust Real-time Microkernels.	RTSS	2000	DBLP DOI BibTeX RDF
28	Roger Butenuth	Small, Scalable, and Efficient, Microkernels for Highly Parallel Computers are Possible: Cosy as an Example.	APDC	1997	DBLP DOI BibTeX RDF
28	Hau-Yang Cheng, Yunn Yen Chen, Chung-Ta King	Designing I/O Servers on Multithreaded Microkernels.	J. Inf. Sci. Eng.	1996	DBLP BibTeX RDF
28	Jochen Liedtke	Toward Real Microkernels: The inefficient, inflexible first generation inspired development of the vastly improved second generation, which may yet support a variety of operating systems.	Commun. ACM	1996	DBLP BibTeX RDF
28	Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson	Microkernels Meet Recursive Virtual Machines.	OSDI	1996	DBLP DOI BibTeX RDF
28	Andrew S. Tanenbaum	A comparison of three microkernels.	J. Supercomput.	1995	DBLP DOI BibTeX RDF
28	Tracy Camp, Glen Oberhauser	Microkernels: a submodule for a traditional operating systems course.	SIGCSE	1995	DBLP DOI BibTeX RDF
28	Mike Livesey, Colin Allison	A Dynamically Configurable Co-processor For Microkernels.	PDP	1994	DBLP DOI BibTeX RDF
26	Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima	Constructing machine emulator on portable microkernel.	SAC	2007	DBLP DOI BibTeX RDF	virtualizations, emulators, microkernels
26	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
26	G. Denys, Frank Piessens, Frank Matthijs	A survey of customizability in operating systems research.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	software protection mechanisms, operating systems, microkernels, Customizability
26	Crispin Cowan, Tito Autrey, Charles Krasic, Calton Pu, Jonathan Walpole	Fast concurrent dynamic linking for an adaptive operating system.	CDS	1996	DBLP DOI BibTeX RDF	fast concurrent dynamic linking, adaptive operating system, customizable operating systems, application-specific operating systems, interprocess protection barriers, reconfigurable software, concurrent operating system, replacement mechanism, concurrency control, concurrency control, interface, software reusability, software performance evaluation, network operating systems, software performance, performance degradation, microkernels
18	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
18	Pradipta De, Vijay Mann, Umang Mittaly	Handling OS jitter on multicore multithreaded systems.	IPDPS	2009	DBLP DOI BibTeX RDF
18	Ludovico Gardenghi, Michael Goldweber, Renzo Davoli	View-OS: A New Unifying Approach Against the Global View Assumption.	ICCS (1)	2008	DBLP DOI BibTeX RDF
18	Michael Hohmuth	Introduction.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
18	Volkmar Uhlig	The mechanics of in-kernel synchronization for a scalable microkernel.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
18	Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima	Dynamic Translator-Based Virtualization.	SEUS	2007	DBLP DOI BibTeX RDF
18	Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy	The B-Method for the Construction of Microkernel-Based Systems.	B	2007	DBLP DOI BibTeX RDF
18	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
18	Dylan Griffiths, Dwight J. Makaroff	Hybrid vs. monolithic OS kernels: a benchmark comparison.	CASCON	2006	DBLP DOI BibTeX RDF
18	Udo Steinberg, Jean Wolter, Hermann Härtig	Fast Component Interaction for Real-Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF
18	Norman Feske, Hermann Härtig	DOpE - a Window Server for Real-Time and Embedded Systems.	RTSS	2003	DBLP DOI BibTeX RDF
18	Susmit Bagchi, Mads Nygaard	Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
18	Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	Wrapping Real-Time Systems from Temporal Logic Specifications.	EDCC	2002	DBLP DOI BibTeX RDF
18	Michael Golm, Jürgen Kleinöder, Frank Bellosa	Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System.	HotOS	2001	DBLP DOI BibTeX RDF
18	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
18	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
18	Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Oliver C. Kowalski, Hermann Streich, A. Bäcker	Models and paradigms for distributed systems structuring: the BirliX approach.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
18	Robbert van Renesse, Robert Cooper, Bradford B. Glade, Patrick Stephenson	A RISC approach to process groups.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
18	Mark D. Wood	Rule-based management of distributed operating systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF