The definition of Standard ML
Lisp and Symbolic Computation
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Compiling with continuations
The SR programming language: concurrency in practice
The SR programming language: concurrency in practice
Designing and implementing Choices: an object-oriented system in C++
Communications of the ACM
Exokernel: an operating system architecture for application-level resource management
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
Microkernels meet recursive virtual machines
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Dealing with disaster: surviving misbehaved kernel extensions
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
SIGMETRICS '97 Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Complete Freebsd
Beyond the Black Box: Open Implementation
IEEE Software
Workshop on Run-Time Systems for Parallel Programming (RTSPP)
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
An Architectural Overview of QNX
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
The Network Hardware is the Operating System
HOTOS '97 Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI)
Linux device driver emulation in mach
ATEC '96 Proceedings of the 1996 annual conference on USENIX Annual Technical Conference
Interface and execution models in the Fluke kernel
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
Atomic heap transactions and fine-grain interrupts
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
MMLite: a highly componentized system architecture
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Nested Java processes: OS structure for mobile code
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Driving the composition of runtime platforms by architectural knowledge
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
A dynamically configurable, multi-language execution platform
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Security architecture for component-based operating systems
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expressing meaningful processing requirements among heterogeneous nodes in an active network
Proceedings of the 2nd international workshop on Software and performance
Specialization tools and techniques for systematic optimization of system software
ACM Transactions on Computer Systems (TOCS)
Access control in configurable systems
Secure Internet programming
J-Kernel: a capability-based operating system for Java
Secure Internet programming
The development of a distributed capability system for VLOS
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Towards robust OSes for appliances: a new approach based on domain-specific languages
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
The SawMill multiserver approach
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
On architecture transparency in operating systems
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
A Network Protocol Stack in Standard ML
Higher-Order and Symbolic Computation
Static and dynamic structure in design patterns
Proceedings of the 24th International Conference on Software Engineering
A survey of customizability in operating systems research
ACM Computing Surveys (CSUR)
Programming the Web with High-Level Programming Languages
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Snow on Silk: A NodeOS in the Linux Kernel
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Object-Orientation and Operating Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Object-Orientation and Operating Systems
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
A Framework for Specializing Threads in Concurrent Run-Time Systems
LCR '98 Selected Papers from the 4th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
An Overview of Ulisse, a Distributed Single Address Space System
POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Towards customisable tuple field matching in VLOS
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Scale and performance in the Denali isolation kernel
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
An integrated experimental environment for distributed systems and networks
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
OS portal: an economic approach for making an embedded kernel extensible
Journal of Systems and Software
Improving the reliability of commodity operating systems
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Stateful distributed interposition
ACM Transactions on Computer Systems (TOCS)
Resource Reservation in Dynamic Real-Time Systems
Real-Time Systems
Remote customization of systems code for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Real-Time Systems
A sensor network application construction kit (SNACK)
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
iOverlay: a lightweight middleware infrastructure for overlay application implementations
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Improving the reliability of commodity operating systems
ACM Transactions on Computer Systems (TOCS)
Scale and performance in the Denali isolation kernel
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
An integrated experimental environment for distributed systems and networks
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
An evaluation of qinna, a component-based QoS architecture for embedded systems
Proceedings of the 2005 ACM symposium on Applied computing
DOSC: dispersed operating system computing
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware
IEEE Distributed Systems Online
Dream types: a domain specific type system for component-based message-oriented middleware
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Towards a framework for dedicated operating systems development in high-end computing systems
ACM SIGOPS Operating Systems Review
Insights into providing dynamic adaptation of operating system policies
ACM SIGOPS Operating Systems Review
Denali: a scalable isolation kernel
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
THINK: a secure distributed systems architecture
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Towards trusted systems from the ground up
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Constructing component-based extension interfaces in legacy systems code
Proceedings of the 11th workshop on ACM SIGOPS European workshop
A sledgehammer approach to reuse of legacy device drivers
Proceedings of the 11th workshop on ACM SIGOPS European workshop
BOTS: a constraint-based component system for synthesizing scalable software systems
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Snow on silk: layering NodeOS functionality on conventional operating systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Active networks
ACM Transactions on Computer Systems (TOCS)
Understanding collateral evolution in Linux device drivers
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
K42: building a complete operating system
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
An aspect-oriented approach to bypassing middleware layers
Proceedings of the 6th international conference on Aspect-oriented software development
MapCruncher: integrating the world's geographic information
ACM SIGOPS Operating Systems Review - Systems work at Microsoft Research
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Constructing services with interposable virtual hardware
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Knit: component composition for systems software
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Unmodified device driver reuse and improved system dependability via virtual machines
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
A secure javaTM virtual machine
SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
The flask security architecture: system support for diverse security policies
SSYM'99 Proceedings of the 8th conference on USENIX Security Symposium - Volume 8
Alpine: a user-level infrastructure for network protocol development
USITS'01 Proceedings of the 3rd conference on USENIX Symposium on Internet Technologies and Systems - Volume 3
Techniques for the design of java operating systems
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Enabling scalability and performance in a large scale CMP environment
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Automated reduction of the memory footprint of the Linux kernel
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Secure virtual architecture: a safe execution environment for commodity operating systems
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
A modular sensornet architecture: past, present, and future directions
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
K42: lessons for the OS community
ACM SIGOPS Operating Systems Review
An experimental laboratory environment for teaching embedded operating systems
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Remote specialization for efficient embedded operating systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Linux Kernel Compaction through Cold Code Swapping
Transactions on High-Performance Embedded Architectures and Compilers II
Component-Based Real-Time Operating System for Embedded Applications
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Surviving sensor network software faults
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
VMKit: a substrate for managed runtime environments
Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
A microkernel API for fine-grained decomposition
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Towards a software framework for building highly flexible component-based embedded operating systems
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
A methodology and supporting tools for the development of component-based embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Turning down the LAMP: software specialisation for the cloud
HotCloud'10 Proceedings of the 2nd USENIX conference on Hot topics in cloud computing
Design and implementation of a generic library for P2P streaming
Proceedings of the 2010 ACM workshop on Advanced video streaming techniques for peer-to-peer networks and social networking
Bringing ease and adaptability to MPSoC software design: a component-based approach
CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
AnyCom: a component framework optimization for pervasive computing
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Research directions for embedded operating systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Qinna, a component-based qos architecture
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Programming sensor networks using REMORA component model
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Lean and efficient system software product lines: where aspects beat objects
Transactions on Aspect-Oriented Software Development II
A three-tier approach for composition of real-time embedded software stacks
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
The aspect-aware design and implementation of the CiAO operating-system family
Transactions on Aspect-Oriented Software Development IX
International Journal of Software Science and Computational Intelligence
Unikernels: library operating systems for the cloud
Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Hi-index | 0.00 |