Search results for "micro-kernel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Sang-Yeob Lee, Youjip Won, Whoi-Yul Kim	Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	multimedia, operating system, Linux, micro-kernel
45	Mark Baker, Hong Ong	A Java embedded micro-kernel infrastructure.	Java Grande	2002	DBLP DOI BibTeX RDF	communication API, Java, modules, JNI, micro-kernel
39	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
37	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
36	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
32	Kalyan S. Perumalla	µsik - A Micro-Kernel for Parallel/Distributed Simulation Systems.	PADS	2005	DBLP DOI BibTeX RDF
27	Rodger Lea, Christian Jacquemot	The COOL architecture and abstractions for object-oriented distributed operating systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
26	Nelson Silva, Arnaldo S. R. Oliveira, Rui Santos, Luís Almeida 0001	The OReK real-time micro kernel for FPGA-based systems-on-chip.	ESTIMedia	2008	DBLP DOI BibTeX RDF
26	Carlos 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.	FTCS	1999	DBLP DOI BibTeX RDF	virtual memory management, message passing, micro-kernels, replicated data management, Checkpointing and recovery
24	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
24	Liuba Shrira	Session 5: Overview.	POS	2000	DBLP DOI BibTeX RDF
23	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
23	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 Syst.	2009	DBLP DOI BibTeX RDF	Real-time systems, Operating systems, Dependability, Resource reservations, Micro-kernel
23	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
22	Walter Binder	Design and Implementation of the J-SEAL2 Mobile Agent Kernel.	SAINT	2001	DBLP DOI BibTeX RDF
21	Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park	Flexible Access Control using IPC Redirection.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	interprocess communication (IPC) mechanisms, security, access control, Micro-kernels
18	Ingo Müller 0001, Jun Han 0004, Jean-Guy Schneider, Steven Versteeg	A Conceptual Framework for Unified and Comprehensive SOA Management.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF
17	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.	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
17	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
14	Andrea Aspesi, Vittorio Zaccaria	ConceptOS: A Micro-Kernel Approach to Firmware Updates of Always-On Resource-Constrained Hubris-Based IoT Systems.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
14	Adrián Castelló 0001, Julian Bellavita, Grace Dinh, Yuka Ikarashi, Héctor Martínez	Tackling the Matrix Multiplication Micro-Kernel Generation with Exo.	CGO	2024	DBLP DOI BibTeX RDF
14	Feng 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.	ASPLOS (2)	2024	DBLP DOI BibTeX RDF
14	Zhenjiang 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.	Digit. Commun. Networks	2023	DBLP DOI BibTeX RDF
14	Adrián Castelló 0001, Julian Bellavita, Grace Dinh, Yuka Ikarashi, Héctor Martínez	Tackling the Matrix Multiplication Micro-kernel Generation with Exo.	CoRR	2023	DBLP DOI BibTeX RDF
14	Ahmad 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.	IEEE Access	2021	DBLP DOI BibTeX RDF
14	Yuanzhi Liang, Lei Wang 0126, Siran Li, Bo Jiang 0001	Rustpi: A Rust-powered Reliable Micro-kernel Operating System.	ISSRE Workshops	2021	DBLP DOI BibTeX RDF
14	Nageswara 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.	MLN	2021	DBLP DOI BibTeX RDF
14	Nico 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.	ESOCC Workshops	2017	DBLP DOI BibTeX RDF
14	Stéphane Lescuyer	ProvenCore: Towards a Verified Isolation Micro-Kernel.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
14	Paul Dubrulle, Emmanuel Ohayon	A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded Manycores.	ICCS	2013	DBLP DOI BibTeX RDF
14	Shuai Wang, Yindong Ji, Shiyuan Yang	A Micro-Kernel Test Engine for Automatic Test System.	J. Comput.	2011	DBLP BibTeX RDF
14	Stefan Nürnberger, Thomas Feller 0002, Sorin A. Huss	Ray - a secure micro kernel architecture.	PST	2010	DBLP DOI BibTeX RDF
14	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
14	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 Teleoperators Virtual Environ.	2001	DBLP DOI BibTeX RDF
14	Erwan 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+.	ETFA (1)	2001	DBLP DOI BibTeX RDF
14	Koichi Mouri, Eiji Okubo	The design and implementation of the Lavender micro kernel.	Syst. Comput. Jpn.	2000	DBLP DOI BibTeX RDF
14	Giuliano Armano, Antonio Corradi, Valeria Filippi	A communication micro-kernel for implementing object-oriented programming on closely coupled distributed architectures.	Concurr. Pract. Exp.	1999	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	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
14	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
14	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
14	Jochen Liedtke	On micro-Kernel Construction.	SOSP	1995	DBLP DOI BibTeX RDF
14	Frank Mueller 0001, Viresh Rustagi, Ted Baker	MiThOS - A Real-Time Micro-Kernel Threads Operating System.	RTSS	1995	DBLP DOI BibTeX RDF
14	Martin J. O'Connor, Brendan Tangney, Vinny Cahill, Neville Harris	Micro-kernel support for migration.	Distributed Syst. Eng.	1994	DBLP DOI BibTeX RDF
14	Geoff Coulson, Gordon S. Blair, Philippe Robin	Micro-Kernel Support for Continuous Media in Distributed Systems.	Comput. Networks ISDN Syst.	1994	DBLP DOI BibTeX RDF
14	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	1993	DBLP BibTeX RDF
14	Gilles Muller	A Reliable Client-Server Model on Top of a Micro-Kernel.	Hardware and Software Architectures for Fault Tolerance	1993	DBLP DOI BibTeX RDF
14	Miguel Castro, Nuno Neves 0001, 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
14	Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani	Implementation of a synchronous execution machine on Chorus micro-kernel.	RTSS	1993	DBLP DOI BibTeX RDF
14	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
14	Christian Koza, C. Reiser	Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS).	RTSS	1992	DBLP DOI BibTeX RDF
14	Peter Druschel, Larry L. Peterson, Norman C. Hutchinson	Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in Lipto.	ICDCS	1992	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	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
14	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
14	Gordon V. Cormack	A Micro-Kernel for Concurrency in C.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
14	Rajive L. Bagrodia, K. Mani Chandy	A Micro-Kernel for Distributed Applications.	ICDCS	1985	DBLP BibTeX RDF
13	Olaf Spinczyk, Daniel Lohmann	Using AOP to develop architectural-neutral operating system components.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
13	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
9	Martin Schoeberl, Thomas B. Preußer, Sascha Uhrig	The embedded Java benchmark suite JemBench.	JTRES	2010	DBLP DOI BibTeX RDF
9	Dirk Leinenbach, Thomas Santen	Verifying the Microsoft Hyper-V Hypervisor with VCC.	FM	2009	DBLP DOI BibTeX RDF
9	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
9	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
9	Gal A. Kaminka, Inna Frenkel	Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture.	ICRA	2007	DBLP DOI BibTeX RDF
9	Chen Lei, Liu Bin	A Workflow Model Supporting Dynamic BPR.	GCC	2007	DBLP DOI BibTeX RDF
9	Xiao Liang, En Li, Zi-ze Liang, Zeng-Guang Hou, Min Tan 0001	Intelligent Monitoring System Based on the Embedded Technology: A Case Study.	ICNSC	2007	DBLP DOI BibTeX RDF
9	Nikolaos Drosinos, Nectarios Koziris	The Effect of Process Topology and Load Balancing on Parallel Programming Models for SMP Clusters and Iterative Algorithms.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	hybrid programming, parallel programming, MPI, high performance computing, OpenMP, tiling, iterative algorithms, SMP clusters
9	Hai Jin 0001, Minghu Zhang, Pengliu Tan	Clock Synchronization Integrated with Traffic Smoothing Technique for Distributed Hard Real-Time Systems.	CIT	2006	DBLP DOI BibTeX RDF
9	Nikolaos Drosinos, Nectarios Koziris	Load Balancing Hybrid Programming Models for SMP Clusters and Fully Permutable Loops.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
9	Nikolaos Drosinos, Nectarios Koziris	Performance Comparison of Pure MPI vs Hybrid MPI-OpenMP Parallelization Models on SMP Clusters.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Matteo Gazzotti, Marco Mamei, Franco Zambonelli	A Programmable Event-based Middleware for Pervasive Mobile Agent Organizations.	PDP	2003	DBLP DOI BibTeX RDF
9	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
9	Gregor Gößler, Alberto L. Sangiovanni-Vincentelli	Compositional Modeling in Metropolis.	EMSOFT	2002	DBLP DOI BibTeX RDF
9	Christophe Lizzi, Eric Gressier-Soudan	A Real-Time IPC Service over ATM Networks for the Chorus Distributed System.	EUROMICRO	1998	DBLP DOI BibTeX RDF
9	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
9	Gordon 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).	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
9	Daniel Hagimont	Protection in the Guide Object-Oriented Distributed System.	ECOOP	1994	DBLP DOI BibTeX RDF
9	Robert J. Stroud	Transparency and reflection in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF