Search results for "micro-kernel"

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	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	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