Search results for "operating system kernels"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Shuichi Oikawa, Ragunathan Rajkumar	Scalability in a real-time kernel.	RTCSA	1997	DBLP DOI BibTeX RDF	software functionalities, scalable kernel architecture, real-time systems, scalability, abstractions, operating system kernels, operating system kernels, real-time kernel, hardware resources
2	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
2	Herbert Eberle, Hermann Schmutz	Network Operating System Kernels for Heterogenous Environments.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
1	Roberto Jung Drebes, Takashi Nanya	Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels.	EDCC	2010	DBLP DOI BibTeX RDF	monolithic kernels, error isolation, subsystem extraction, error propagation
1	Roberto Gioiosa, Sally A. McKee, Mateo Valero	Designing OS for HPC Applications: Scheduling.	CLUSTER	2010	DBLP DOI BibTeX RDF	Scheduling, Performance, Multiprocessor Systems, Operating system kernels, Super computers
1	Oren Laadan, Nicolas Viennot, Jason Nieh	Transparent, lightweight application execution replay on commodity multiprocessor operating systems.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	record-replay, fault-tolerance, debugging, virtualization
1	Jialiang Wang, Hai Zhao, Peng Li, Zheng Liu, Jie Zhao, Wei Gao	The Mechanism and Performance Comparison of Two Wireless Sensor Network Operating System Kernels.	ITNG	2009	DBLP DOI BibTeX RDF	WORIX, iDCX 128, WSNOS kernel, WSN
1	Shakeel Butt, Vinod Ganapathy, Michael M. Swift, Chih-Cheng Chang	Protecting Commodity Operating System Kernels from Vulnerable Device Drivers.	ACSAC	2009	DBLP DOI BibTeX RDF
1	Shaya Potter, Ricardo A. Baratto, Oren Laadan, Leonard N. Kim, Jason Nieh	MediaPod: A Personalized Multimedia Desktop in Your Pocket.	ISM	2009	DBLP DOI BibTeX RDF	Computer peripherals, Multimedia computing, Personal computers, Operating system kernels, Virtual computers
1	Jeff Arnold, M. Frans Kaashoek	Ksplice: automatic rebootless kernel updates.	EuroSys	2009	DBLP DOI BibTeX RDF	hot updates, dynamic software updates
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Hendrik Tews, Marcus Völp, Tjark Weber	Formal Memory Models for the Verification of Low-Level Operating-System Code.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Micro-hypervisor, Memory-mapped devices, Formal verification, Virtual memory, Operating-system kernel
1	Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
1	Artem Starostin, Alexandra Tsyban	Verified Process-Context Switch for C-Programmed Kernels.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Iain D. Craig	Formal refinement for operating system Kernels.		2007	DOI RDF
1	Iain D. Craig	Formal models of operating system Kernels.		2007	DOI RDF
1	Kristis Makris, Kyung Dong Ryu	Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels.	EuroSys	2007	DBLP DOI BibTeX RDF	DynAMOS, adaptive operating system, function cloning, dynamic instrumentation, dynamic software updates
1	Anh-Quynh Nguyen, Yoshiyasu Takefuji	Towards a tamper-resistant kernel rootkit detector.	SAC	2007	DBLP DOI BibTeX RDF	Xen virtual machine, kernel rootkit, intrusion detection, Linux
1	Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh	DejaView: a personal virtual computer recorder.	SOSP	2007	DBLP DOI BibTeX RDF	virtualization, desktop search
1	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima	Software synthesis for hard real-time embedded systems with multiple processors.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	petri nets, real-time embedded systems, software synthesis, multiple processors
1	Kohei Suenaga, Naoki Kobayashi	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.	ESOP	2007	DBLP DOI BibTeX RDF
1	Jeffrey L. Hieb, James H. Graham, Sandip C. Patel	Security Enhancements for Distributed Control Systems.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	DNP3, role-based authorization, RTU security, secure communication
1	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
1	Daniel Lohmann, Fabian Scheler, Reinhard Tartler, Olaf Spinczyk, Wolfgang Schröder-Preikschat	A quantitative analysis of aspects in the eCos kernel.	EuroSys	2006	DBLP DOI BibTeX RDF	Aspect-Oriented Programming (AOP), Footprint, eCos, AspectC++
1	Juraj Polakovic, Ali Erdem Özcan, Jean-Bernard Stefani	Building Reconfigurable Component-Based OS with THINK.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Himanshu Raj, Balasubramanian Seshasayee, Keith J. O'Hara, Ripal Nathuji, Karsten Schwan, Tucker R. Balch	Spirits: Using Virtualization and Pervasiveness to Manage Mobile Robot Software Systems.	SelfMan	2006	DBLP DOI BibTeX RDF
1	Michael Engel, Bernd Freisleben	TOSKANA: A Toolkit for Operating System Kernel Aspects.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
1	Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul	On the Correctness of Operating System Kernels.	TPHOLs	2005	DBLP DOI BibTeX RDF
1	Paul C. van Oorschot, Anil Somayaji, Glenn Wurster	Hardware-Assisted Circumvention of Self-Hashing Software Tamper Resistance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	self-hashing, operating system kernels, software protection, Tamper resistance, checksumming, application security, processor design
1	Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima	A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.	SBCCI	2005	DBLP DOI BibTeX RDF	embedded hard real-time systems, hardware/software codesign methodologies, software synthesis
1	Saisanthosh Balakrishnan, Ravi Rajwar, Michael Upton, Konrad K. Lai	The Impact of Performance Asymmetry in Emerging Multicore Architectures.	ISCA	2005	DBLP DOI BibTeX RDF
1	Gregorio Robles, Juan José Amor, Jesús M. González-Barahona, Israel Herraiz	Evolution and Growth in Large Libre Software Projects.	IWPSE	2005	DBLP DOI BibTeX RDF
1	Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello	A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
1	Ricardo A. Baratto, Shaya Potter, Gong Su, Jason Nieh	MobiDesk: mobile virtual desktop computing.	MOBICOM	2004	DBLP DOI BibTeX RDF	computer utility, on-demand computing, virtualization, network mobility, process migration, thin-client computing
1	Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima	A formal software synthesis approach for embedded hard real-time systems.	SBCCI	2004	DBLP DOI BibTeX RDF	embedded hard real-time systems, hardware/software codesign methodologies, software synthesis
1	Vikram S. Adve, Michael Brukman, Alkis Evlogimenos, Brian Gaeke	Software Implications of Virtual Instruction Set Computers.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
1	Songtao Xia, James Hook	Certifying Temporal Properties for Compiled C Programs.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Christophe Rippert	Protection in flexible operating system architectures.	Operating Systems Review	2003	DBLP DOI BibTeX RDF
1	Robert Watson, Brian Feldman, Adam Migus, Chris Vance	The TrustedBSD MAC Framework.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Sandip Agarwala, Christian Poellabauer, Jiantao Kong, Karsten Schwan, Matthew Wolf	Resource-Aware Stream Management with the Customizable dproc Distributed Monitoring Mechanisms.	HPDC	2003	DBLP DOI BibTeX RDF
1	Vijay Sundaram, Prashant J. Shenoy	A Practical Learning-Based Approach for Dynamic Storage Bandwidth Allocation.	IWQoS	2003	DBLP DOI BibTeX RDF
1	Sandip Agarwala, Christian Poellabauer, Jiantao Kong, Karsten Schwan, Matthew Wolf	System-Level Resource Monitoring in High-Performance Computing Environments.	J. Grid Comput.	2003	DBLP DOI BibTeX RDF	kernel-level resource management, distributed systems, monitoring, high performance computing, cluster computing, dynamic adaptation, customizability
1	Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller	Think: A Software Framework for Component-based Operating System Kernels.	USENIX Annual Technical Conference, General Track	2002	DBLP BibTeX RDF
1	Frank W. Miller	Simple Memory Protection for Embedded Operating System Kernels.	USENIX Annual Technical Conference, FREENIX Track	2002	DBLP BibTeX RDF
1	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
1	Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun	Building dependable COTS microkernel-based systems using MAFALDA.	PRDC	2000	DBLP DOI BibTeX RDF	dependable COTS, microkernel-based systems, MAFALDA, COTS microkernels, error confinement wrappers, fault injection, software fault tolerance, operating system kernels
1	Luca Abeni, Giorgio C. Buttazzo	Support for dynamic QoS in the HARTIK kernel.	RTCSA	2000	DBLP DOI BibTeX RDF	dynamic QoS support, HARTIK, hard real-time kernel, control applications, soft real-time applications, service mechanism, temporal protection abstraction, service quality manager, reserved resource adaptation, task requirements, quality of service, real-time systems, stability, multimedia applications, multimedia computing, operating system kernels, computerised control, robot applications
1	Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
1	K. H. Kim, Chittur Subbaraman	The PSTR/SNS Scheme for Real-Time Fault Tolerance via Active Object Replication and Network Surveillance.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Time-triggered message-triggered object, primary-shadow TMO replication, PSTR, recovery time bound, real-time systems, TMO, SNS, point-to-point networks, network surveillance, NS
1	Ariel Tamches, Barton P. Miller	Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels.	OSDI	1999	DBLP DOI BibTeX RDF
1	K. H. Kim, Chittur Subbaraman	Dynamic Configuration Management in Reliable Distributed Real-Time Information Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	information service systems, fault detection latency, latency bound, real time, distributed computing, Object, configuration management, TMO, time-triggered, supervisor, message-triggered, point-to-point networks, network surveillance
1	Roberto Giorgi, Cosimo Antonio Prete	PSCR: A Coherence Protocol for Eliminating Passive Sharing in Shared-Bus Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	performance evaluation, multiprocessor, Cache memory, coherence protocol
1	Timothy Fraser, Lee Badger	Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE.	IEEE Symposium on Security and Privacy	1998	DBLP DOI BibTeX RDF
1	T. Mitchem, R. Lu, R. O'Brian	Using Kernel Hypervisors to Secure Applications.	ACSAC	1997	DBLP DOI BibTeX RDF	kernel hypervisors, secure applications, selective control, loadable module, unbypassable security wrappers, application specific security requirements, client kernel hypervisors, application specific policies, loadable modules, user systems, malicious active content, wrapping servers, firewall services, Web browser, operating system kernels, Linux kernel, COTS components, replication services
1	Simon Fowler, Andy J. Wellings	Formal development of a real-time kernel. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels
1	Richard A. Kemmerer, Tad Taylor	A Modular Covert Channel Analysis Methodology for Trusted DG/UX/sup TM/.	ACSAC	1996	DBLP DOI BibTeX RDF	modular covert channel analysis methodology, Trusted DG/UX, CCA approach, subsystem architecture, DG/UX kernel, system state, abstract object, Ratings Maintenance Program, RAMP, SRM analysis, exported function, peer subsystems, kernel-wide SRM, commercial strength Unix system, operating system kernels, system calls, modular approach
1	Juan C. Moure, Daniel Franco 0002, Elisa Heymann, Emilio Luque	TransCom: A Communication Microkernel for Transputers.	PDP	1996	DBLP DOI BibTeX RDF	communication microkernel, TransCom, TransRouter, data transport, processor resource, parallel programming, parallel programming, parallel architecture, message passing, message passing, communication network, communication protocols, distributed memory systems, processor scheduling, network operating systems, access protocols, operating system kernels, transputers, distributed-memory multiprocessor, load distribution, communication primitives, transputer systems
1	Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin	RTCAST: lightweight multicast for real-time process groups. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	RTCAST, real time process groups, lightweight fault tolerant multicast, bounded time message transport, processor crashes, communication failures, communicating processors, membership changes, event triggered approach, fast message delivery time, time triggered protocols, TTP, x-Kernel protocol architecture, RT Mach 3, real-time systems, protocols, fault tolerant computing, message passing, Unix, operating system kernels, communicating processes, membership service
1	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
1	T. Ohkubo, I. Takenaka, T. Wasano, M. Omiya	Quality criteria for realtime microkernel products.	RTCSA	1996	DBLP DOI BibTeX RDF	microkernel products, realtime OS, realtime kernel, quality evaluation parameters, quantitative rating, software products, operating system kernels, quantification, quality criteria
1	Geoffrey H. Kuenning	Kitrace: Precise Interactive Measurement of Operating System Kernels.	Softw., Pract. Exper.	1995	DBLP DOI BibTeX RDF
1	Hideyuki Takada, Ken Sakamura	Compact, low-cost, but real-time distributed computing for computer augmented environments.	FTDCS	1995	DBLP DOI BibTeX RDF	building management systems, compact low-cost real-time distributed computing, TRON Project, highly functionally distributed systems, low-cost distributed computing systems, standard real-time kernel specification, small-scale embedded systems, low-cost real-time LAN, TRON-concept Computer Augmented Building, real-time systems, distributed processing, local area networks, intelligent control, embedded computers, operating system kernels, home automation, computer augmented environments
1	Dejan S. Milojicic, David L. Black, Steven J. Sears	Operating system support for concurrent remote task creation. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	concurrent remote task creation, application startup, multiple nodes, remote task creation, multiple remote tasks, distributed virtual memory, paging path, operating systems, distributed memory systems, operating system kernels, virtual storage, massively parallel processor, Mach
1	Michele Di Santo, Franco Frattolillo, Giulio Iannello	Experiences in dynamic placement of actors on multicomputer systems.	PDP	1995	DBLP DOI BibTeX RDF	dynamic actor placement, multicomputer architectures, highly dynamic computations, ASK run-time kernel, parallel actor programming, random allocation algorithm, Adaptive Contracting Within Neighbourhood, ACWN, balancer behavior, parallel programming, object-oriented programming, resource allocation, parallel machines, distributed memory systems, dynamic load balancer, operating system kernels, low cost, multicomputer systems, programming tools, transputer network
1	Gregory Bollella, Kevin Jeffay	Support for real-time computing within general purpose operating systems-supporting co-resident operating systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time computing support, co-resident operating systems, workstation applications, real-time communication services, real-time computation services, real-time computing technology development, commercial systems, predictable real-time kernel, shared device multiplexing, shared data structure partitioning, CPU executive, IBM Microkernel, Mach microkernel, OSF/1 server, uniprocessor periodic task scheduling, CPU capacity allocation, scheduling, software engineering, real-time systems, multimedia systems, hardware, processor scheduling, operating systems (computers), operating system kernels, distributed multimedia applications, general purpose operating systems
1	Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson	BASEMENT: a distributed real-time architecture for vehicle applications. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	BASEMENT, distributed real-time architecture, vehicle applications, distributed real time architecture, vehicle internal use, guaranteed real time service, distributed devices, program development methodology, application oriented development, offline scheduler, intelligent cruise control application, real-time systems, distributed processing, resource sharing, multiplexing, operating system kernels, system simulator, safety critical applications, automobiles, communication support, communication infrastructure, computerised control, automotive industry, driver information systems, automotive electronics, real time kernel
1	Lennart Lindh, Johan Stärner, John Furunäs	From single to multiprocessor real-time kernels in hardware. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware
1	Roland Mandler	A configurable adjunct for real time systems (CARTS). (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	utility programs, configurable adjunct for real time systems, rapid application code generation, generic user interfaces, processor restarts, incremental system integration, incremental system reconfiguration, file-based data, tailored functionality, CARTS postal system, optimal transfer methods, backplane I/O, network I/O, CARTS clock services, high resolution time of day clocks, high resolution mission clock, system wide clock synchronisation, real-time systems, user interfaces, architectures, shared memory, shared memory systems, application program interfaces, clocks, network operating systems, operating system kernels, CARTS, real time distributed systems, input-output programs, system services, intertask communication
1	Shuichi Oikawa, Hideyuki Tokuda	Efficient timing management for user-level real-time threads. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	efficient timing management, user-level real-time threads, specified time, upcalled user-level scheduler, user-level scheduler overhead, shared user-level timers, shared kernel/user structure, upcall performance, scheduling, performance evaluations, software engineering, real-time systems, resource allocation, timing, shared memory systems, kernel, processor scheduling, software performance evaluation, operating system kernels, hints, virtual processor
1	K. H. (Kane) Kim, Luiz F. Bacellar, Yuseok Kim, Chittur Subbaraman, Hankil Yoon, Jung-Guk Kim, Kee-Wook Rim	A timeliness-guaranteed kernel model-DREAM kernel-and implementation techniques.	RTCSA	1995	DBLP DOI BibTeX RDF	timeliness-guaranteed kernel model, DREAM kernel, timeliness-guaranteed operating system, new-style real-time objects, hardware utilization, v.D2, real-time systems, modularity, digital simulation, real-time simulator, operating system kernels, operating system kernel, expandability, real-time processes, prototype implementation, real-time computer systems, implementation techniques, application environment
1	Hideyuki Tokuda	Operating system support for continuous media applications-RT-Mach extensions.	RTCSA	1995	DBLP DOI BibTeX RDF	continuous media applications, Real-Time Mach microkernel, resource management support, real-time systems, operating system, operating systems (computers), multimedia computing, operating system kernels, programming support, architectural support
1	Jochen Liedtke	A Short Note on Small Virtually-Addresses Control Blocks.	Operating Systems Review	1995	DBLP DOI BibTeX RDF
1	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	Operating Systems Review	1994	DBLP DOI BibTeX RDF
1	Daniel Stodolsky, J. Bradley Chen, Brian N. Bershad	Fast Interrupt Priority Management in Operating System Kernels.	USENIX Microkernels and Other Kernel Architectures Symposium	1993	DBLP BibTeX RDF
1	Jeffrey S. Chase, Valérie Issarny, Henry M. Levy	Distribution in a Single Address Space Operating System.	Operating Systems Review	1993	DBLP DOI BibTeX RDF
1	R. Ananthanarayanan, Sathis Menon, Ajay Mohindra	Experiences in Integrating Distributed Shared Memory with Virtual Memory Management.	Operating Systems Review	1992	DBLP DOI BibTeX RDF
1	Jon Inouye, Ravindranath Konuru, Jonathan Walpole, Bart Sears	The Effects of Virtually Addressed Caches on Virtual Memory Design and Performance.	Operating Systems Review	1992	DBLP DOI BibTeX RDF
1	Vadim Abrossimov, Marc Rozier, Marc Shapiro	Generic Virtual Memory Management for Operating System Kernels.	SOSP	1989	DBLP DOI BibTeX RDF
1	Stephen W. Melvin, Yale N. Patt	The Use of Microcode Instrumentation for Development, Debugging and Tuning of Operating System Kernels.	SIGMETRICS	1988	DBLP DOI BibTeX RDF	VAM, UNIX, VAX/VMS
1	Eddy Odijk	The DOOM System and its Applications: A Survey of Esprit 415 Subproject A, Philips Research Laboratries.	PARLE	1987	DBLP DOI BibTeX RDF
1	Michael D. Schroeder, David D. Clark, Jerome H. Saltzer	The Multics Kernel Design Project.	SOSP	1977	DBLP DOI BibTeX RDF	Multics, Type extension, Verifiable systems, MULTICS, Security, Operating systems, Protection, Security kernel, Supervisors
1	Jürgen Nehmer	Dispatcher Primitives for the Construction of Operating System Kernels.	Acta Inf.	1975	DBLP DOI BibTeX RDF