Improving IPC by kernel design
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
The operating system kernel as a secure programmable machine
ACM SIGOPS Operating Systems Review
Compiler support for software-based cache partitioning
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Optimistic incremental specialization: streamlining a commercial operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The Flux OSKit: a substrate for kernel and language research
Proceedings of the sixteenth ACM symposium on Operating systems principles
The performance of μ-kernel-based systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
Interface and execution models in the Fluke kernel
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
MMLite: a highly componentized system architecture
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
ACM Computing Surveys (CSUR)
The operating system kernel as a secure programmable machine
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
EMERALDS: A Small-Memory Real-Time Microkernel
IEEE Transactions on Software Engineering
A system software architecture for high-end computing
SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
The cougar approach to in-network query processing in sensor networks
ACM SIGMOD Record
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
A Real-Time Agent Architecture: Design, Implementation and Evaluation
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications
Multimedia Tools and Applications
MINIX 3: a highly reliable, self-repairing operating system
ACM SIGOPS Operating Systems Review
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Optimizing IPC Performance for Shared-Memory Multiprocessors
ICPP '94 Proceedings of the 1994 International Conference on Parallel Processing - Volume 01
Evolving mach 3.0 to a migrating thread model
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Secure coprocessors in electronic commerce applications
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Towards trustworthy computing systems: taking microkernels to the next level
ACM SIGOPS Operating Systems Review
RT-IPC: an IPC extension for real-time mach
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
User level IPC and device management in the Raven kernel
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
A real-time programmer's tour of general-purpose L4 microkernels
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
A real-time programmer's tour of general-purpose L4 microkernels
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
A microdriver architecture for error correcting codes inside the Linux kernel
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
A practical look at micro-kernels and virtual machine monitors
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
An uRT51 real-time processor evaluation
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Reorganizing UNIX for reliability
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Experiences gained from building a services-based distributed operating system
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II
msocket: multiple stack support for the berkeley socket API
Proceedings of the 27th Annual ACM Symposium on Applied Computing
mTags: augmenting microkernel messages with lightweight metadata
ACM SIGOPS Operating Systems Review
Enhanced operating system security through efficient and fine-grained address space randomization
Security'12 Proceedings of the 21st USENIX conference on Security symposium
Hi-index | 0.00 |