Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur |
Are virtual-machine monitors microkernels done right? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(1), pp. 95-99, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Gernot Heiser, Ben Leslie |
The OKL4 microvisor: convergence point of microkernels and hypervisors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ApSys ![In: Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, ApSys 2010, New Delhi, India, August 30, 2010, pp. 19-24, 2010, ACM, 978-1-4503-0195-4. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 189-195, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 85-94, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![USENIX, 1-880446-52-9 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | Daniel Stodolsky, J. Bradley Chen, Brian N. Bershad |
Fast Interrupt Priority Management in Operating System Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 105-110, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | Takuro Kitayama, Hideyuki Tokuda, Tatsuo Nakajima |
RT-IPC: An IPC Extension for Real-Time Mach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 91-104, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 1-12, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 27-30, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 31-44, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | Christian Bac, Edmond Garnie |
Cohabitation and Cooperation of Chorus and MacOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 61-72, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | Bodhisattwa Mukherjee, Karsten Schwan |
Experimentation with a Reconfigurable Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 45-60, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | Steven K. Reinhardt, Babak Falsafi, David A. Wood 0001 |
Kernel Support for the Wisconsin Wind Tunnel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 73-90, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | William S. Frantz, Charles R. Landau |
Object-Oriented Transaction Processing in the KeyKOS Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 13-26, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | Yousef Y. A. Khalidi, Michael N. Nelson |
A Flexible External Paging Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 127-140, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
56 | D. Stuart Ritchie, Gerald W. Neufeld |
User Level IPC and Device Management in the Raven Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Microkernels and Other Kernel Architectures Symposium ![In: USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA, pp. 111-126, 1993, USENIX, 1-880446-52-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 41(4), pp. 3-11, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Jean-Charles Fabre |
On the Use of COTS Microkernels for Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 132-141, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos |
Can We Make Operating Systems Reliable and Secure? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(5), pp. 44-51, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(2), pp. 138-163, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-12, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Frédéric Salles, Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat |
MetaKernels and Fault Containment Wrappers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 22-29, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Jochen Liedtke |
A Short Note on Cheap Fine-grained Time Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 30(2), pp. 92-94, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Henry Massalin, Calton Pu |
Reimplementing the Synthesis Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 177-186, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Jochen Liedtke |
Fast Thread Management and Communication Without Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 213-222, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 71-82, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![USENIX, 1-880446-42-1 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | David L. Presotto |
Plan 9. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 31-38, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Cheryl A. Wiecek |
A Model and Prototype of VMS Using the Mach 3.0 Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 187-204, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 83-94, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Randall W. Dean, François Armand |
Data Movement in Kernelized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 243-262, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Dan Hildebrand |
An Architectural Overview of QNX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 113-126, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Richard Draves |
Mach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 11-30, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Brian N. Bershad |
The increasing irrelevance of IPC Performance for Micro-kernel-Based Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 205-212, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Franklin Reynolds |
An Architectural Overview of Alpha: A Real-Time, Distributed Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 127-146, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Michael Stumm, Ronald C. Unrau, Orran Krieger |
Designing a Scalable Operating System for Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 285-303, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 95-112, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Marc Shapiro 0001, Mesaac Makpangou |
Distributed Abstractions, Lightweight References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 263-268, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Jun Nakajima, Masatomo Yazaki, Hitoshi Matsumoto |
Multimedia/Realtime Extensions for Mach 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 161-176, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich |
Performance of the BirLiX Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 147-160, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Robbert van Renesse |
Amoeba. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 1-10, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Marc Rozier |
Chorus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 39-70, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Robbert van Renesse, Kenneth P. Birman, Robert Cooper, Bradford B. Glade, Pat Stephenson |
Reliable Multicast between Micro-Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 269-284, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Workshop on Microkernels and Other Kernel Architectures ![In: Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, USA, 27-28 April 1992s, pp. 223-242, 1992, USENIX, 1-880446-42-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
28 | Wentai Li, Jinyu Gu 0001, Nian Liu, Binyu Zang |
Efficiently Recovering Stateful System Components of Multi-server Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 41st IEEE International Conference on Distributed Computing Systems, ICDCS 2021, Washington DC, USA, July 7-10, 2021, pp. 494-505, 2021, IEEE, 978-1-6654-4513-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.08915, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.02145, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2020 USENIX Annual Technical Conference, USENIX ATC 2020, July 15-17, 2020, pp. 401-417, 2020, USENIX Association, 978-1-939133-14-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 45(6), pp. 319-323, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Gunnar Grimsdal, Patrik Lundgren, Christian Vestlund, Felipe Boeira, Mikael Asplund |
Can Microkernels Mitigate Microarchitectural Attacks? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordSec ![In: Secure IT Systems - 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18-20, 2019, Proceedings, pp. 238-253, 2019, Springer, 978-3-030-35054-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, pp. 9:1-9:15, 2019, ACM, 978-1-4503-6281-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 8(1), pp. 1-24, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Gernot Heiser, Kevin Elphinstone |
L4 Microkernels: The Lessons from 20 Years of Research and Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 34(1), pp. 1:1-1:29, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.08372, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Yauhen Klimiankou |
An Enhanced Multi-Pager Environment Support for Second Generation Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.1637, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Kevin Elphinstone, Gernot Heiser |
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013, pp. 133-150, 2013, ACM, 978-1-4503-2388-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Bernard Blackham |
Towards verified microkernels for real-time mixed-criticality systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
28 | Jason Agron, David Andrews 0001 |
Distributed Hardware-Based Microkernels: Making Heterogeneous OS Functionality a System Primitive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2010, Charlotte, North Carolina, USA, 2-4 May 2010, pp. 39-46, 2010, IEEE Computer Society, 978-0-7695-4056-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Lutz Schubert, Stefan Wesner, Alexander Kipp, Alvaro Arenas |
Self-managed Microkernels: From Clouds towards Resource Fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudComp ![In: Cloud Computing - First International Conference, CloudComp 2009, Munich, Germany, October 19-21, 2009 Revised Selected Papers, pp. 167-185, 2009, Springer, 978-3-642-12635-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Jason Agron, David Andrews 0001 |
Hardware Microkernels for Heterogeneous Manycore Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: ICPPW 2009, International Conference on Parallel Processing Workshops, Vienna, Austria, 22-25 September 2009, pp. 19-26, 2009, IEEE Computer Society, 978-0-7695-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Sergio Ruocco |
A Real-Time Programmer's Tour of General-Purpose L4 Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Jeffrey L. Hieb, James H. Graham |
Designing Security-Hardened Microkernels For Field Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection II - Second Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, George Mason University, Arlington, Virginia, USA, March 17-19, 2008, Revised Papers, pp. 129-140, 2008, Springer, 978-0-387-88522-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | David A. Cock, Gerwin Klein, Thomas Sewell |
Secure Microkernels, State Monads and Scalable Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, pp. 167-182, 2008, Springer, 978-3-540-71065-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Uwe Dannowski |
Towards fast and portable microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
28 | Gernot Heiser |
Secure Embedded Systems Need Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 30(6), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Steven Hand 0001, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Daniel J. Magenheimer |
Are Virtual Machine Monitors Microkernels Done Right? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA, 2005, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat |
Formal Specification for Building Robust Real-time Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000, pp. 119-128, 2000, IEEE Computer Society, 0-7695-0900-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Roger Butenuth |
Small, Scalable, and Efficient, Microkernels for Highly Parallel Computers are Possible: Cosy as an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APDC ![In: Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), March 19-21, 1997, Shanghai, China, pp. 196-205, 1997, IEEE Computer Society, 0-8186-7876-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Hau-Yang Cheng, Yunn Yen Chen, Chung-Ta King |
Designing I/O Servers on Multithreaded Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 12(2), pp. 291-305, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 39(9), pp. 70-77, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson |
Microkernels Meet Recursive Virtual Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), Seattle, Washington, USA, October 28-31, 1996, pp. 137-151, 1996, ACM, 1-880446-82-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Andrew S. Tanenbaum |
A comparison of three microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 9(1-2), pp. 7-22, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Tracy Camp, Glen Oberhauser |
Microkernels: a submodule for a traditional operating systems course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 154-158, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Mike Livesey, Colin Allison |
A Dynamically Configurable Co-processor For Microkernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, PDP 1994, January 26-28, 1994, Malaga, Spain, pp. 372-376, 1994, IEEE, 0-8186-5370-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima |
Constructing machine emulator on portable microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1197-1198, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(5), pp. 586-595, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 34(4), pp. 450-468, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDS ![In: Third International Conference on Configurable Distributed Systems, 1996, Proceedings, Annapolis, MA, USA, 1998, pp. 108-115, 1996, IEEE, 0-8186-7395-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010, pp. 3-12, 2010, ACM, 978-1-60558-910-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
l4, valgrind, capability, microkernel |
18 | Pradipta De, Vijay Mann, Umang Mittaly |
Handling OS jitter on multicore multithreaded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-12, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Ludovico Gardenghi, Michael Goldweber, Renzo Davoli |
View-OS: A New Unifying Approach Against the Global View Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 287-296, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Michael Hohmuth |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 41(4), pp. 1-2, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Volkmar Uhlig |
The mechanics of in-kernel synchronization for a scalable microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 41(4), pp. 49-58, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima |
Dynamic Translator-Based Virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers, pp. 486-495, 2007, Springer, 978-3-540-75663-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy |
The B-Method for the Construction of Microkernel-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 257-259, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 60-71, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, October 16-19, 2006, Toronto, Ontario, Canada, pp. 349-352, 2006, IBM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Udo Steinberg, Jean Wolter, Hermann Härtig |
Fast Component Interaction for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings, pp. 89-97, 2005, IEEE Computer Society, 0-7695-2400-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Norman Feske, Hermann Härtig |
DOpE - a Window Server for Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 74-77, 2003, IEEE Computer Society, 0-7695-2044-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Susmit Bagchi, Mads Nygaard |
Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II, pp. 1012-1021, 2003, Springer, 3-540-40195-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat |
Wrapping Real-Time Systems from Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings, pp. 253-270, 2002, Springer, 3-540-00012-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany, pp. 3-8, 2001, IEEE Computer Society, 0-7695-1040-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke |
Synchronous IPC over transparent monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, pp. 189-194, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, pp. 109-114, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Robbert van Renesse, Robert Cooper, Bradford B. Glade, Patrick Stephenson |
A RISC approach to process groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Mark D. Wood |
Rule-based management of distributed operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|