The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1992 (24) 1993-1995 (15) 1996-2002 (17) 2003-2007 (16) 2008-2014 (15) 2016-2021 (10)
Publication types (Num. hits)
article(21) inproceedings(72) phdthesis(2) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 38 keywords

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