The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Micro-kernel (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-1993 (18) 1994-1998 (15) 1999-2002 (15) 2003-2008 (18) 2009-2024 (16)
Publication types (Num. hits)
article(16) inproceedings(66)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 51 keywords

Results
Found 82 publication records. Showing 82 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
63Sang-Yeob Lee, Youjip Won, Whoi-Yul Kim Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multimedia, operating system, Linux, micro-kernel
45Mark Baker, Hong Ong A Java embedded micro-kernel infrastructure. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF communication API, Java, modules, JNI, micro-kernel
39Daniel A. Orozco, Liping Xue, Murat Bolat, Xiaoming Li, Guang R. Gao Experience of Optimizing FFT on Intel Architectures. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Gilles Muller, Mireille Hue, Nadine Peyrouze Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. Search on Bibsonomy EDCC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF consistent checkpointing, modular operating systems, stable transactional memory, performance evaluation, Fault-tolerance, micro-kernel
36Hong Quang Nguyen, Christian Bac, Guy Bernard Integrating QoS management in a micro-kernel based UNIX operating system. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF micro-kernel based UNIX operating system, modular UNIX, Chorus/MiX, video, Unix, distributed applications, file system, Quality of Service guarantees, CPU, QoS management, continuous media, distributed operating system, Quality of Service requirements, digital audio, system resources
32Kalyan S. Perumalla µsik - A Micro-Kernel for Parallel/Distributed Simulation Systems. Search on Bibsonomy PADS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Rodger Lea, Christian Jacquemot The COOL architecture and abstractions for object-oriented distributed operating systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Nelson Silva, Arnaldo S. R. Oliveira, Rui Santos, Luís Almeida 0001 The OReK real-time micro kernel for FPGA-based systems-on-chip. Search on Bibsonomy ESTIMedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Gregorio Martín Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data. Search on Bibsonomy FTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF virtual memory management, message passing, micro-kernels, replicated data management, Checkpointing and recovery
24Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus Deconstructing process isolation. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity
24Liuba Shrira Session 5: Overview. Search on Bibsonomy POS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Chi Wu, Kun-Yuan Hsieh, Yung-Chia Lin, Chung-Ju Wu, Wen-Li Shih, Shih-Chang Chen, Chung-Kai Chen, Chien-Ching Huang, Yi-Ping You, Jenq Kuen Lee Integrating Compiler and System Toolkit Flow for Embedded VLIW DSP Processors. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum Enhancing a dependable multiserver operating system with temporal protection via resource reservations. Search on Bibsonomy Real Time Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel
23Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat Using dynamic atomic actions to build fault tolerant systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF dynamic atomic actions, stable transactional memory, distributed systems, micro-kernel, Fault tolerant multiprocessor
22Walter Binder Design and Implementation of the J-SEAL2 Mobile Agent Kernel. Search on Bibsonomy SAINT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park Flexible Access Control using IPC Redirection. Search on Bibsonomy Workshop on Hot Topics in Operating Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF interprocess communication (IPC) mechanisms, security, access control, Micro-kernels
18Ingo Müller 0001, Jun Han 0004, Jean-Guy Schneider, Steven Versteeg A Conceptual Framework for Unified and Comprehensive SOA Management. Search on Bibsonomy ICSOC Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Boo-Geum Jung, Young-Jun Cha, Hyung-Hwan Kim, Sung-Ik Jun, Ju-Hyun Cho Dynamic code binding for scalable operating system in distributed real-time systems. Search on Bibsonomy RTCSA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF dynamic code binding, scalable operating system, microkernel structure, remote system call, system primitives, real-time systems, operating system, distributed processing, client-server systems, servers, operating systems (computers), distributed real-time systems, scalable architecture
17Darrell D. E. Long A Note on Bit-Mapped Free Sector Management. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Andrea Aspesi, Vittorio Zaccaria ConceptOS: A Micro-Kernel Approach to Firmware Updates of Always-On Resource-Constrained Hubris-Based IoT Systems. Search on Bibsonomy IEEE Internet Things J. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Adrián Castelló 0001, Julian Bellavita, Grace Dinh, Yuka Ikarashi, Héctor Martínez Tackling the Matrix Multiplication Micro-Kernel Generation with Exo. Search on Bibsonomy CGO The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Feng Yu 0019, Guangli Li, Jiacheng Zhao, Huimin Cui, Xiaobing Feng 0002, Jingling Xue Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization. Search on Bibsonomy ASPLOS (2) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia A measurable refinement method of design and verification for micro-kernel operating systems in communication network. Search on Bibsonomy Digit. Commun. Networks The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
14Adrián Castelló 0001, Julian Bellavita, Grace Dinh, Yuka Ikarashi, Héctor Martínez Tackling the Matrix Multiplication Micro-kernel Generation with Exo. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
14Ahmad El-Rouby, Andrew Khalaf, Arig Mostafa, Fady Mohamed, Nour Ghaly, Amr El-Kadi, Karim Sobh NileOS: A Distributed Asymmetric Core-Based Micro-Kernel for Big Data Processing. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
14Yuanzhi Liang, Lei Wang 0126, Siran Li, Bo Jiang 0001 Rustpi: A Rust-powered Reliable Micro-kernel Operating System. Search on Bibsonomy ISSRE Workshops The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
14Nageswara S. V. Rao, Anees Al-Najjar, Neena Imam, Zhengchun Liu, Rajkumar Kettimuthu, Ian T. Foster Cross Inference of Throughput Profiles Using Micro Kernel Network Method. Search on Bibsonomy MLN The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
14Nico Struckmann, Yosandra Sandoval, Nadav Har'El, Fang Chen, Shiqing Fan, Justin Cinkelj, Gregor Berginc, Peter Chronz, Niv Gilboa, Gabriel Scalosub, Kalman Z. Meth, John Kennedy MIKELANGELO: MIcro KErneL virtualizAtioN for hiGh pErfOrmance cLOud and HPC Systems. Search on Bibsonomy ESOCC Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
14Stéphane Lescuyer ProvenCore: Towards a Verified Isolation Micro-Kernel. Search on Bibsonomy MILS@HiPEAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
14Paul Dubrulle, Emmanuel Ohayon A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded Manycores. Search on Bibsonomy ICCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
14Shuai Wang, Yindong Ji, Shiyuan Yang A Micro-Kernel Test Engine for Automatic Test System. Search on Bibsonomy J. Comput. The full citation details ... 2011 DBLP  BibTeX  RDF
14Stefan Nürnberger, Thomas Feller 0002, Sorin A. Huss Ray - a secure micro kernel architecture. Search on Bibsonomy PST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
14Walter Binder, Balázs Lichtl Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. Search on Bibsonomy Ada-Europe The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Roger J. Hubbold, Jonathan Cook, Martin J. Keates, Simon Gibson, Toby Howard, Alan Murta, Adrian J. West, Steve Pettifer GNU/MAVERIK: A micro-kernel for large-scale virtual environments. Search on Bibsonomy Presence Teleoperators Virtual Environ. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Erwan Becquet, Eric Gressier-Soudan, E. Le Grand, G. Hellack Experimenting a real-time industrial messaging service for a power utility: TASE.2 over the real-time micro-kernel pSOS+. Search on Bibsonomy ETFA (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Koichi Mouri, Eiji Okubo The design and implementation of the Lavender micro kernel. Search on Bibsonomy Syst. Comput. Jpn. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Giuliano Armano, Antonio Corradi, Valeria Filippi A communication micro-kernel for implementing object-oriented programming on closely coupled distributed architectures. Search on Bibsonomy Concurr. Pract. Exp. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Roger J. Hubbold, Jonathan Cook, Martin J. Keates, Simon Gibson, Toby Howard, Alan Murta, Adrian J. West, Steve Pettifer GNU/MAVERIK: a micro-kernel for large-scale virtual environments. Search on Bibsonomy VRST The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Y. H. Park, K. M. Hou Embedded Performance Analysis Tool for a Distributed Hard Real Time Micro-Kernel: Hierarchical LINDA. Search on Bibsonomy OPODIS The full citation details ... 1999 DBLP  BibTeX  RDF
14Carsten Ditze A customizable library to support software synthesis for embedded applications and micro-kernel systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
14Masaaki Iwasaki, Tadashi Takeuchi, Masahiko Nakahara, Shouji Nakamura, Takahiro Nakano, Kazuyoshi Serizawa, Shihoko Taguchi A Micro-kernel for Isochronous Video-Data Transfer. Search on Bibsonomy WWCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Olivier Potonniée, Jean-Bernard Stefani Synchronous Thread Management in a Distributed Operating System's Micro Kernel. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF thread management, deterministic systems, distributed systems, real-time systems, Synchronous programming
14Do Park, Jaehong Shim, Kyunghee Choi, K. Chung, Dongyoon Kim, Seungkyu Park, Manpyo Hong A Real-Time Micro Kernel Implemented on Transputer. Search on Bibsonomy PDPTA The full citation details ... 1996 DBLP  BibTeX  RDF
14Jochen Liedtke On micro-Kernel Construction. Search on Bibsonomy SOSP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
14Frank Mueller 0001, Viresh Rustagi, Ted Baker MiThOS - A Real-Time Micro-Kernel Threads Operating System. Search on Bibsonomy RTSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
14Martin J. O'Connor, Brendan Tangney, Vinny Cahill, Neville Harris Micro-kernel support for migration. Search on Bibsonomy Distributed Syst. Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
14Geoff Coulson, Gordon S. Blair, Philippe Robin Micro-Kernel Support for Continuous Media in Distributed Systems. Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
14Geoff Coulson, Gordon S. Blair, Philippe Robin, Doug Shepherd Supporting continuous media applications in a micro-kernel environment. Search on Bibsonomy Architecture and Protocols for High-Speed Networks The full citation details ... 1993 DBLP  BibTeX  RDF
14Gilles Muller A Reliable Client-Server Model on Top of a Micro-Kernel. Search on Bibsonomy Hardware and Software Architectures for Fault Tolerance The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Miguel Castro, Nuno Neves 0001, Pedro Trancuso, Pedro Manuel Antunes Sousa MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. Search on Bibsonomy USENIX MACH Symposium The full citation details ... 1993 DBLP  BibTeX  RDF
14Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani Implementation of a synchronous execution machine on Chorus micro-kernel. Search on Bibsonomy RTSS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Geoff Coulson, Gordon S. Blair, Philippe Robin, Doug Shepherd Extending the Chorus Micro-Kernel to Support Continuous Media Applications. Search on Bibsonomy NOSSDAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Christian Koza, C. Reiser Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). Search on Bibsonomy RTSS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
14Peter Druschel, Larry L. Peterson, Norman C. Hutchinson Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto. Search on Bibsonomy ICDCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
14Jonathan 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
14Toshio 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
14Brian 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
14Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. Search on Bibsonomy USENIX MACH Symposium The full citation details ... 1991 DBLP  BibTeX  RDF
14Marc Guillemont, Jim Lipkis, Doug Orr, Marc Rozier A Second-Generation Micro-Kernel Based UNIX: Lessons in Performance and Compatibility. Search on Bibsonomy USENIX Winter The full citation details ... 1991 DBLP  BibTeX  RDF
14Gordon V. Cormack A Micro-Kernel for Concurrency in C. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Rajive L. Bagrodia, K. Mani Chandy A Micro-Kernel for Distributed Applications. Search on Bibsonomy ICDCS The full citation details ... 1985 DBLP  BibTeX  RDF
13Olaf Spinczyk, Daniel Lohmann Using AOP to develop architectural-neutral operating system components. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda Design and implementation of the Lambda mu-kernel based operating system for embedded systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
9Martin Schoeberl, Thomas B. Preußer, Sascha Uhrig The embedded Java benchmark suite JemBench. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
9Dirk Leinenbach, Thomas Santen Verifying the Microsoft Hyper-V Hypervisor with VCC. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
9Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl Scheduling Light-Weight Parallelism in ArTCoP. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scheduling, Parallel computation, functional programming
9Matthew Fluet, Mike Rainey, John H. Reppy A scheduling framework for general-purpose parallel languages. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF heterogeneous parallel languages, scheduling, compilers, run-time systems
9Gal A. Kaminka, Inna Frenkel Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
9Chen Lei, Liu Bin A Workflow Model Supporting Dynamic BPR. Search on Bibsonomy GCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
9Xiao Liang, En Li, Zi-ze Liang, Zeng-Guang Hou, Min Tan 0001 Intelligent Monitoring System Based on the Embedded Technology: A Case Study. Search on Bibsonomy ICNSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
9Nikolaos Drosinos, Nectarios Koziris The Effect of Process Topology and Load Balancing on Parallel Programming Models for SMP Clusters and Iterative Algorithms. Search on Bibsonomy J. Supercomput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid programming, parallel programming, MPI, high performance computing, OpenMP, tiling, iterative algorithms, SMP clusters
9Hai Jin 0001, Minghu Zhang, Pengliu Tan Clock Synchronization Integrated with Traffic Smoothing Technique for Distributed Hard Real-Time Systems. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
9Nikolaos Drosinos, Nectarios Koziris Load Balancing Hybrid Programming Models for SMP Clusters and Fully Permutable Loops. Search on Bibsonomy ICPP Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Nikolaos Drosinos, Nectarios Koziris Performance Comparison of Pure MPI vs Hybrid MPI-OpenMP Parallelization Models on SMP Clusters. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
9Matteo Gazzotti, Marco Mamei, Franco Zambonelli A Programmable Event-based Middleware for Pervasive Mobile Agent Organizations. Search on Bibsonomy PDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
9Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume Extensible distributed operating system for reliable control systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
9Gregor Gößler, Alberto L. Sangiovanni-Vincentelli Compositional Modeling in Metropolis. Search on Bibsonomy EMSOFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
9Christophe Lizzi, Eric Gressier-Soudan A Real-Time IPC Service over ATM Networks for the Chorus Distributed System. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
9Richard J. Eickemeyer, Ross E. Johnson, Steven R. Kunkel, Mark S. Squillante, Shiafun Liu Evaluation of Multithreaded Uniprocessors for Commercial Application Environments. Search on Bibsonomy ISCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
9Gordon S. Blair, Andrew T. Campbell, Geoff Coulson, Nigel Davies 0001, Francisco Garcia 0001, Doug Shepherd Summary of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '93). Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
9Daniel Hagimont Protection in the Guide Object-Oriented Distributed System. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
9Robert J. Stroud Transparency and reflection in distributed systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #82 of 82 (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