| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Sang-Yeob Lee, Youjip Won, Whoi-Yul Kim |
Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications.  |
Multimedia Tools Appl.  |
2005 |
DBLP DOI BibTeX RDF |
multimedia, operating system, Linux, micro-kernel |
| 3 | Mark Baker, Hong Ong |
A Java embedded micro-kernel infrastructure.  |
Java Grande  |
2002 |
DBLP DOI BibTeX RDF |
communication API, Java, modules, JNI, micro-kernel |
| 2 | Nelson Silva, Arnaldo Oliveira, Rui Santos, Luís Almeida |
The OReK real-time micro kernel for FPGA-based systems-on-chip.  |
ESTImedia  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Kalyan S. Perumalla |
µsik - A Micro-Kernel for Parallel/Distributed Simulation Systems.  |
PADS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Carlos Pérez, Germán Fabregat, Rafael J. Martínez, G. Martín |
Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data.  |
FTCS  |
1999 |
DBLP DOI BibTeX RDF |
virtual memory management, message passing, micro-kernels, replicated data management, Checkpointing and recovery |
| 2 | Hong Quang Nguyen, Christian Bac, Guy Bernard |
Integrating QoS management in a micro-kernel based UNIX operating system.  |
EUROMICRO  |
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 |
| 2 | Gilles Muller, Mireille Hue, Nadine Peyrouze |
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment.  |
EDCC  |
1994 |
DBLP DOI BibTeX RDF |
consistent checkpointing, modular operating systems, stable transactional memory, performance evaluation, Fault-tolerance, micro-kernel |
| 1 | Shuai Wang, Yindong Ji, Shiyuan Yang |
A Micro-Kernel Test Engine for Automatic Test System.  |
JCP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Nürnberger, Thomas Feller, Sorin A. Huss |
Ray - a secure micro kernel architecture.  |
PST  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schoeberl, Thomas B. Preußer, Sascha Uhrig |
The embedded Java benchmark suite JemBench.  |
JTRES  |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | Dirk Leinenbach, Thomas Santen |
Verifying the Microsoft Hyper-V Hypervisor with VCC.  |
FM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fluet, Mike Rainey, John H. Reppy |
A scheduling framework for general-purpose parallel languages.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous parallel languages, scheduling, compilers, run-time systems |
| 1 | Ingo Müller 0001, Jun Han, Jean-Guy Schneider, Steven Versteeg |
A Conceptual Framework for Unified and Comprehensive SOA Management.  |
ICSOC Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
Scheduling Light-Weight Parallelism in ArTCoP.  |
PADL  |
2008 |
DBLP DOI BibTeX RDF |
scheduling, Parallel computation, functional programming |
| 1 | Chen Lei, Liu Bin |
A Workflow Model Supporting Dynamic BPR.  |
GCC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Liang, En Li, Zi-ze Liang, Zeng-Guang Hou, Min Tan |
Intelligent Monitoring System Based on the Embedded Technology: A Case Study.  |
ICNSC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal A. Kaminka, Inna Frenkel |
Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture.  |
ICRA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Orozco, Liping Xue, Murat Bolat, Xiaoming Li, Guang R. Gao |
Experience of Optimizing FFT on Intel Architectures.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus |
Deconstructing process isolation.  |
Memory System Performance and Correctness  |
2006 |
DBLP DOI BibTeX RDF |
hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity |
| 1 | Hai Jin, Minghu Zhang, Pengliu Tan |
Clock Synchronization Integrated with Traffic Smoothing Technique for Distributed Hard Real-Time Systems.  |
CIT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi 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.  |
RTCSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Drosinos, Nectarios Koziris |
The Effect of Process Topology and Load Balancing on Parallel Programming Models for SMP Clusters and Iterative Algorithms.  |
The Journal of Supercomputing  |
2006 |
DBLP DOI BibTeX RDF |
hybrid programming, parallel programming, MPI, high performance computing, OpenMP, tiling, iterative algorithms, SMP clusters |
| 1 | Nikolaos Drosinos, Nectarios Koziris |
Load Balancing Hybrid Programming Models for SMP Clusters and Fully Permutable Loops.  |
ICPP Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Spinczyk, Daniel Lohmann |
Using AOP to develop architectural-neutral operating system components.  |
ACM SIGOPS European Workshop  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Drosinos, Nectarios Koziris |
Performance Comparison of Pure MPI vs Hybrid MPI-OpenMP Parallelization Models on SMP Clusters.  |
IPDPS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Gazzotti, Marco Mamei, Franco Zambonelli |
A Programmable Event-based Middleware for Pervasive Mobile Agent Organizations.  |
PDP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Binder, Balázs Lichtl |
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications.  |
Ada-Europe  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda |
Design and implementation of the Lambda mu-kernel based operating system for embedded systems.  |
ACM SIGOPS European Workshop  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume |
Extensible distributed operating system for reliable control systems.  |
ACM SIGOPS European Workshop  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Gößler, Alberto L. Sangiovanni-Vincentelli |
Compositional Modeling in Metropolis.  |
EMSOFT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger 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.  |
Presence  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Binder |
Design and Implementation of the J-SEAL2 Mobile Agent Kernel. (PDF / PS)  |
SAINT  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Mouri, Eiji Okubo |
The design and implementation of the Lavender micro kernel.  |
Systems and Computers in Japan  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Liuba Shrira |
Session 5: Overview.  |
POS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliano Armano, Antonio Corradi, Valeria Filippi |
A communication micro-kernel for implementing object-oriented programming on closely coupled distributed architectures.  |
Concurrency - Practice and Experience  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. H. Park, K. M. Hou |
Embedded Performance Analysis Tool for a Distributed Hard Real Time Micro-Kernel: Hierarchical LINDA.  |
OPODIS  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Roger 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.  |
VRST  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park |
Flexible Access Control using IPC Redirection. (PDF / PS)  |
Workshop on Hot Topics in Operating Systems  |
1999 |
DBLP DOI BibTeX RDF |
interprocess communication (IPC) mechanisms, security, access control, Micro-kernels |
| 1 | Carsten Ditze |
A customizable library to support software synthesis for embedded applications and micro-kernel systems.  |
ACM SIGOPS European Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lizzi, Eric Gressier-Soudan |
A Real-Time IPC Service over ATM Networks for the Chorus Distributed System.  |
EUROMICRO  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Potonniée, Jean-Bernard Stefani |
Synchronous Thread Management in a Distributed Operating System's Micro Kernel.  |
Euro-Par  |
1997 |
DBLP DOI BibTeX RDF |
thread management, deterministic systems, distributed systems, real-time systems, Synchronous programming |
| 1 | Masaaki Iwasaki, Tadashi Takeuchi, Masahiko Nakahara, Shouji Nakamura, Takahiro Nakano, Kazuyoshi Serizawa, Shihoko Taguchi |
A Micro-kernel for Isochronous Video-Data Transfer.  |
WWCA  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Do Park, Jaehong Shim, Kyunghee Choi, K. Chung, Dongyoon Kim, Seungkyu Park, Manpyo Hong |
A Real-Time Micro Kernel Implemented on Transputer.  |
PDPTA  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Eickemeyer, Ross E. Johnson, Steven R. Kunkel, Mark S. Squillante, Shiafun Liu |
Evaluation of Multithreaded Uniprocessors for Commercial Application Environments.  |
ISCA  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Liedtke |
On micro-Kernel Construction.  |
SOSP  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Mueller, Viresh Rustagi, Ted Baker |
MiThOS - A Real-Time Micro-Kernel Threads Operating System.  |
IEEE Real-Time Systems Symposium  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Boo-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. (PDF / PS)  |
RTCSA  |
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 |
| 1 | Martin O'Connor, Brendan Tangney, Vinny Cahill, Neville Harris |
Micro-kernel support for migration.  |
Distributed Systems Engineering  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Coulson, Gordon S. Blair, Philippe Robin |
Micro-Kernel Support for Continuous Media in Distributed Systems.  |
Computer Networks and ISDN Systems  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon S. Blair, Andrew T. Campbell, Geoff Coulson, Nigel Davies, Francisco Garcia, Doug Shepherd |
Summary of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '93).  |
Operating Systems Review  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hagimont |
Protection in the Guide Object-Oriented Distributed System.  |
ECOOP  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller |
A Reliable Client-Server Model on Top of a Micro-Kernel.  |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 191-198, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Castro, Nuno Neves, Pedro Trancuso, Pedro Manuel Antunes Sousa |
MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel.  |
USENIX MACH Symposium  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Geoff Coulson, Gordon S. Blair, Philippe Robin, Doug Shepherd |
Extending the Chorus Micro-Kernel to Support Continuous Media Applications.  |
NOSSDAV  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Coulson, Gordon S. Blair, Philippe Robin, Doug Shepherd |
Supporting continuous media applications in a micro-kernel environment.  |
Architecture and Protocols for High-Speed Networks ![In: Architecture and Protocols for High-Speed Networks [1st Int. Workshop, Dagstuhl, August 30 - September 3, 1993], pp. 215-234, 1993, Kluwer, 0-7923-9512-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
| 1 | Darrell D. E. Long |
A Note on Bit-Mapped Free Sector Management.  |
Operating Systems Review  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koza, C. Reiser |
Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS).  |
IEEE Real-Time Systems Symposium  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshio Okamoto, Hiaeo Segawa, Sung Ho Shin, Hiroshi Nozue, Ken-ichi Maeda, Mitsuo Saito |
A Micro-Kernel Architecture for Next Generation Processor.  |
USENIX Workshop on Microkernels and Other Kernel Architectures  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Brian N. Bershad |
The increasing irrelevance of IPC Performance for Micro-kernel-Based Operating Systems.  |
USENIX Workshop on Microkernels and Other Kernel Architectures  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Walpole, Jon Inouye, Ravindranath Konuru |
Modularity and Interfaces in Micro-kernel Design and Implementation: A Case Study of Chorus on the HP PA-Risc.  |
USENIX Workshop on Microkernels and Other Kernel Architectures  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Druschel, Larry L. Peterson, Norman C. Hutchinson |
Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto.  |
ICDCS  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat |
Using dynamic atomic actions to build fault tolerant systems.  |
ACM SIGOPS European Workshop  |
1992 |
DBLP DOI BibTeX RDF |
dynamic atomic actions, stable transactional memory, distributed systems, micro-kernel, Fault tolerant multiprocessor |
| 1 | Rodger Lea, Christian Jacquemot |
The COOL architecture and abstractions for object-oriented distributed operating systems.  |
ACM SIGOPS European Workshop  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Stroud |
Transparency and reflection in distributed systems.  |
ACM SIGOPS European Workshop  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Guillemont, Jim Lipkis, Doug Orr, Marc Rozier |
A Second-Generation Micro-Kernel Based UNIX: Lessons in Performance and Compatibility.  |
USENIX Winter  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat |
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms.  |
USENIX MACH Symposium  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Gordon V. Cormack |
A Micro-Kernel for Concurrency in C.  |
Softw., Pract. Exper.  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajive Bagrodia, K. Mani Chandy |
A Micro-Kernel for Distributed Applications.  |
ICDCS  |
1985 |
DBLP BibTeX RDF |
|