Search results for "microkernel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems. (PDF / PS)	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
3	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
3	Matthias Daum, Jan Dörrenbächer, Burkhart Wolff	Proving Fairness and Implementation Correctness of a Microkernel Scheduler.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL
3	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
3	Kun-Yuan Hsieh, Yung-Chia Lin, Chien-Ching Huang, Jenq Kuen Lee	Enhancing Microkernel Performance on VLIW DSP Processors via Multiset Context Switch.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	VLIW DSP processor, optimizing context switch overhead, microkernel design
3	Tianzhou Chen, Wei Hu, 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
3	Jean-Charles Fabre, Manuel Rodríguez, 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
3	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
3	T. Ohkubo, I. Takenaka, T. 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
3	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
3	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
3	Gregory Bollella, Kevin Jeffay	Support for real-time computing within general purpose operating systems-supporting co-resident operating systems. (PDF / PS)	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, multimedia systems, hardware, processor scheduling, operating systems (computers), operating system kernels, distributed multimedia applications, general purpose operating systems
2	Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer	Formal Verification of a Microkernel Used in Dependable Software Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
2	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
2	Jason Agron, David L. Andrews	Building heterogeneous reconfigurable systems with a hardware microkernel.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	FPGAs, operating systems, heterogeneous architectures
2	Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David 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
2	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
2	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
2	Sang-Min Lee, Dong-Geun Kim, Dong Ryeol Shin	Design of the L4 Microkernel Based Lightweight Mobile Middleware for Mobile Phone.	NCM	2008	DBLP DOI BibTeX RDF	L4 Microkernel, Iguana, Wombat, Mobile Middleware, BREW, WIPI
2	Long Wang, Zbigniew Kalbarczyk, Weining Gu, Ravishankar K. Iyer	Reliability MicroKernel: Providing Application-Aware Reliability in the OS.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
2	Volkmar Uhlig	The mechanics of in-kernel synchronization for a scalable microkernel.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
2	Dohun Kim, Jugwan Eom, Chanik Park	L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
2	Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy	The B-Method for the Construction of Microkernel-Based Systems.	B	2007	DBLP DOI BibTeX RDF
2	Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima	Constructing machine emulator on portable microkernel.	SAC	2007	DBLP DOI BibTeX RDF	virtualizations, emulators, microkernels
2	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
2	Xiaoqi Lu, Scott F. Smith	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
2	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
2	Tianzhou Chen, Hu Wei, Lian Yi	Microkernel of Embedded Operating System in SRAM.	IWNAS	2006	DBLP DOI BibTeX RDF
2	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David 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
2	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
2	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
2	Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, 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
2	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
2	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
2	Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-/spl mu/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
2	Khawar M. Zuberi, Padmanabhan Pillai, Kang G. Shin	EMERALDS: a small-memory real-time microkernel.	SOSP	1999	DBLP DOI BibTeX RDF
2	Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat	MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.	EDCC	1999	DBLP DOI BibTeX RDF
2	Christian B. Czech, Bertram Hütter, Michael Gwinner	Flexible Protocol Stacks by In-Kernel Composition. (PDF / PS)	HPDC	1998	DBLP DOI BibTeX RDF	operating systems, communication protocols, microkernel
2	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
2	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
2	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
2	Anastasio Molano, Kanaka Juvva, Ragunathan Rajkumar	Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach. (PDF / PS)	IEEE Real-Time Systems Symposium	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
2	Rita de Cássia Pivetta Machado, Celso Maciel da Costa	GPS: A Parallel Programming Tool based on Process Groups. (PDF / PS)	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
2	Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Mary Gray Baker	RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems.	HICSS	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
2	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
2	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
2	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
1	Bernard Blackham, Yao Shi, Gernot Heiser	Improving interrupt response time in a verifiable protected microkernel.	EuroSys	2012	DBLP DOI BibTeX RDF
1	Jia Zou, Slobodan Matic, Edward A. Lee	PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
1	Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood	Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.	ISCA	2011	DBLP DOI BibTeX RDF
1	Marcus Rolf Völp	Provable protection of confidential data in microkernel based systems.		2010	RDF
1	Jan Dörrenbächer	Formal specification and verification of a microkernel.		2010	RDF
1	Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban	Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.	VSTTE	2010	DBLP DOI BibTeX RDF
1	Felix Bruns, Shadi Traboulsi, David Szczesny, Maria Elizabeth Gonzalez, Yang Xu, Attila Bilgic	An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems.	ECRTS	2010	DBLP DOI BibTeX RDF
1	June Andronick	From a Proven Correct Microkernel to Trustworthy Large Systems.	FoVeOOS	2010	DBLP DOI BibTeX RDF
1	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
1	Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker	capDL: a language for describing capability-based systems.	ApSys	2010	DBLP DOI BibTeX RDF	SEL4, capability distribution, capabilities, security analysis, isabelle
1	Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt	Helios: heterogeneous multiprocessing with satellite kernels.	SOSP	2009	DBLP DOI BibTeX RDF	operating systems, heterogeneous computing
1	Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers	Preemption Abstraction.	FMICS	2009	DBLP DOI BibTeX RDF
1	Shadi Traboulsi, Felix Bruns, Anas Showk, David Szczesny, Sebastian Hessel, Maria Elizabeth Gonzalez, Attila Bilgic	SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform.	SDL Forum	2009	DBLP DOI BibTeX RDF	rapid system prototyping, design-space exploration, SDL, hardware/software co-design, mobile terminal
1	Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish	Mind the Gap.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban	Balancing the Load.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Pervasive formal verification, Software verification, Systems verification
1	Harvey Tuch	Formal Verification of C Systems Code.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	C, Separation logic, Interactive theorem proving
1	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 Systems	2009	DBLP DOI BibTeX RDF	Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel
1	Sven Schulz, Wolfgang Blochinger, Markus Held, Clemens Dangelmayr	COHESION - A microkernel based Desktop Grid platform for irregular task-parallel applications.	Future Generation Comp. Syst.	2008	DBLP DOI BibTeX RDF
1	Thomas In der Rieden, Alexandra Tsyban	CVM - A Verified Framework for Microkernel Programmers.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Artem Starostin, Alexandra Tsyban	Correct Microkernel Primitives.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Matthias Daum, Jan Dörrenbächer, Sebastian Bogan	Model Stack for the Pervasive Verification of a Microkernel-based Operating System.	VERIFY	2008	DBLP BibTeX RDF
1	Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone	Verified Protection Model of the seL4 Microkernel.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Dong-Guen Kim, Sang-Min Lee, Dong Ryeol Shin	Design of the Operating System Virtualization on L4 Microkernel.	NCM	2008	DBLP DOI BibTeX RDF
1	Carsten Weinhold, Hermann Härtig	VPFS: building a virtual private file system with a small trusted computing base.	EuroSys	2008	DBLP DOI BibTeX RDF	legacy reuse, secure file system, virtualization
1	Antonino Tumeo, Marco Branca, Lorenzo Camerini, Marco Ceriani, Matteo Monchiero, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto	A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications.	DATE	2008	DBLP DOI BibTeX RDF
1	Wayne Pfeiffer, Nicholas J. Wright	Modeling and predicting application performance on parallel computers using HPC challenge benchmarks.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Hiroo Ishikawa, Alexandre Courbot, Tatsuo Nakajima	A Framework for Self-Healing Device Drivers.	SASO	2008	DBLP DOI BibTeX RDF
1	David Cock, Gerwin Klein, Thomas Sewell	Secure Microkernels, State Monads and Scalable Refinement.	TPHOLs	2008	DBLP DOI BibTeX RDF
1	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin	The Verisoft Approach to Systems Verification.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Artem Starostin, Alexandra Tsyban	Verified Process-Context Switch for C-Programmed Kernels.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser	CAmkES: A component model for secure microkernel-based embedded systems.	Journal of Systems and Software	2007	DBLP DOI BibTeX RDF
1	Jan Stoess	Towards effective user-controlled scheduling for microkernel-based systems.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
1	Yacine Gasmi, Ahmad-Reza Sadeghi, Patrick Stewin, Martin Unger, N. Asokan	Beyond secure channels.	STC	2007	DBLP DOI BibTeX RDF	state changes, trusted channel, virtualization, trusted computing, hypervisor, TLS, microkernel, remote attestation, relay attack
1	Frank Zhigang Wang, Sining Wu, Na Helian, Michael Andrew Parker, Yike Guo, Yuhui Deng, Vineet R. Khare	Grid-Oriented Storage: A Single-Image, Cross-Domain, High-Bandwidth Architecture.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	remote file access, limited memory-capacity system, real-time microkernel, grid computing, data communications, Data storage, GridFTP, network file system, bulk data transfer
1	Harvey Tuch, Gerwin Klein, Michael Norrish	Types, bytes, and separation logic.	POPL	2007	DBLP DOI BibTeX RDF	C, separation logic, interactive theorem proving
1	Norman Feske	A case study on the cost and benefit of dynamic RPC marshalling for low-level system components.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
1	Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters	Towards trustworthy computing systems: taking microkernels to the next level.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
1	Michael Hohmuth	Introduction.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
1	Neal H. Walfield, Marcus Brinkmann	A critique of the GNU hurd multi-server operating system.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	access controls, structure, naming, multi-server
1	Yu Murata, Wataru Kanda, Kensuke Hanaoka, Hiroo Ishikawa, Tatsuo Nakajima	A Study on Asymmetric Operating Systems on Symmetric Multiprocessors.	EUC	2007	DBLP DOI BibTeX RDF	Multiple OSes Environment, InterProcessor Interrupts, InterOS Communications, Operating Systems, Symmetric Multiprocessors
1	Arne Munch-Ellingsen, Dan Peder Eriksen, Anders Andersen	Argos, an Extensible Personal Application Server.	Middleware	2007	DBLP DOI BibTeX RDF
1	Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima	Dynamic Translator-Based Virtualization.	SEUS	2007	DBLP DOI BibTeX RDF
1	Haiying Zhou, Kun Mean Hou, Christophe De Vaulx	SDREAM: A Super-Small Distributed REAL-Time Microkernel Dedicated to Wireless Sensors.	Int. J. Pervasive Computing and Communications	2006	DBLP DOI BibTeX RDF
1	Rafal Kolanski, Gerwin Klein	Formalising the L4 microkernel API.	CATS	2006	DBLP BibTeX RDF
1	Dylan Griffiths, Dwight J. Makaroff	Hybrid vs. monolithic OS kernels: a benchmark comparison.	CASCON	2006	DBLP DOI BibTeX RDF
1	Wolfgang Blochinger, Clemens Dangelmayr, Sven Schulz	Aspect-Oriented Parallel Discrete Optimization on the Cohesion Desktop Grid Platform.	CCGRID	2006	DBLP DOI BibTeX RDF
1	Long Wang, Zbigniew Kalbarczyk, Weining Gu, Ravishankar K. Iyer	An OS-level Framework for Providing Application-Aware Reliability.	PRDC	2006	DBLP DOI BibTeX RDF
1	Jing Chen, Jian-Horng Liu	Developing Embedded Kernel for System-On-a-Chip Platform of Heterogeneous Multiprocessor Architecture.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Sergio Ruocco	User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection.	RTSS	2006	DBLP DOI BibTeX RDF
1	Volkmar Uhlig	Scalability of microkernel-based systems.		2005	RDF
1	Thomas Bopp, Thorsten Hampel	A Microkernel Architecture for Distributed Mobile Environments.	ICEIS	2005	DBLP BibTeX RDF
1	Keith Loepere	Stackable thread mechanisms.	Operating Systems Review	2005	DBLP DOI BibTeX RDF
1	Udo Steinberg, Jean Wolter, Hermann Härtig	Fast Component Interaction for Real-Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF