Search results for "operating"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Dongyao Ji, Yuming Wang	Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
69	Ted Hills	Response to A Note on Structured Interrupts.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
63	Mamoru Maekawa	Operating system conceptual model for ease of extension.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF	Family of Operating Systems, Computer-Aided Design, Operating systems, Maintenance, Resources, Data Abstraction
62	Gregory Bollella, Kevin Jeffay	Support for real-time computing within general purpose operating systems-supporting co-resident operating systems.	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, hardware, multimedia systems, processor scheduling, operating systems (computers), operating system kernels, distributed multimedia applications, general purpose operating systems
57	John Drummond, Michael Wu	A low level analysis of the realtime Mach distributed operating system.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques
56	Yair Wiseman	Advanced non-distributed operating systems course.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	graduate course, non-distributed operating systems, operating systems, operating system kernel
55	Ramesh K. Karne, Karthick V. Jaganathan, Nelson Rosa Jr., Tufail Ahmed	DOSC: dispersed operating system computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	application object, dispersed operating system computing (DOSC), object-oriented, operating systems
55	Crispin Cowan, Tito Autrey, Charles Krasic, Calton Pu, Jonathan Walpole	Fast concurrent dynamic linking for an adaptive operating system.	CDS	1996	DBLP DOI BibTeX RDF	fast concurrent dynamic linking, adaptive operating system, customizable operating systems, application-specific operating systems, interprocess protection barriers, reconfigurable software, concurrent operating system, replacement mechanism, concurrency control, concurrency control, interface, software reusability, software performance evaluation, network operating systems, software performance, performance degradation, microkernels
54	Jon Howell, Mark H. Montague	Hey, You Got Your Compiler in My Operating System!	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	red-line, application binary interface, Compilers, operating systems, extensibility, partial evaluation, specialization, transformational programming
54	Jeffrey C. Mogul	Brittle Metrics in Operating Systems Research.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	benchmarks, operating systems, performance prediction
52	Jochen Liedtke	A Short Note on Small Virtually-Addresses Control Blocks.	ACM SIGOPS Oper. Syst. Rev.	1995	DBLP DOI BibTeX RDF
51	Kevin A. Kettler, Daniel I. Katcher, Jay K. Strosnider	A modeling methodology for real-time/multimedia operating systems.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multimedia operating systems, real-time scheduling theory, real-time task set, implementation costs, engineering methodology, commercial real-time operating systems, scheduling, performance evaluation, software engineering, real-time systems, developers, processor scheduling, software performance evaluation, users, operating systems (computers), multimedia computing, real-time operating systems, modeling methodology, design evaluation
49	Douglas C. Schmidt, Mayur Deshpande, Carlos O'Ryan	Operating System Performance in Support of Real-Time Middleware.	WORDS	2002	DBLP DOI BibTeX RDF	Real-time Operating System Middleware Support, Real-time CORBA, Object Request Brokers
49	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
49	Dieter Haban, Dieter Wybranietz, Amnon Barak	Monitoring and Management-Support of Distributed Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF	Distributed systems, user interface, load balancing, measuring, management, events, multicomputer, distributed operating system, real-time monitoring, graphical display
48	Noriyuki Kamibayashi, H. Ogawana, K. Nagayama, Hideo Aiso	Heart: An Operating System Nucleus Machine Implemented by Firmware.	ASPLOS	1982	DBLP DOI BibTeX RDF
46	Micha Hofri	Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.	ACM SIGOPS Oper. Syst. Rev.	1990	DBLP DOI BibTeX RDF
46	Naomaru Itoi, Peter Honeyman	Practical Security Systems with Smartcards.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	security, operating systems, Internet Protocol (IP), Smartcard, Kerberos, filesystem
46	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
46	David Lie, Chandramohan A. Thekkath, Mark Horowitz	Implementing an untrusted operating system on trusted hardware.	SOSP	2003	DBLP DOI BibTeX RDF	XOM, XOMOS, untrusted operating systems
45	Prashant Pradhan, Tzi-cker Chiueh	Operating Systems Support for Programmable Cluster-based Internet Routers.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	Network Device Operating System, Kernel Extensions, Routers, Cluster-Based Architecture
45	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
45	Wolfgang Schröder-Preikschat	PEACE - A Distributed Operating System for High-Performance Multicomputer Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
45	Kurt Geihs, Hermann Schmutz	Experiences with a Portable Network Operating System.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
45	Yoshizo Takahashi	A distributed operating system for a binary tree multiprocessor.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
44	Jürgen Nehmer	The Immortality of Operating Systems, or: Is Research in Operating Systems still Justified?.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
43	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
43	Francisco J. Ballesteros, Sergio Arévalo	The Box: A Replacement for Files.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	Distributed Systems, Operating Systems, Abstraction, Files
42	Itsujiro Arita	Intelligent console - A universal user interface of a computer system.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
42	Érica de Lima Gallindo, Francisco Vilar Brasileiro, Vladimir Soares Catão	Reliable Processing on the Seljuk-Amoeba Operating Environment.	SCCC	1997	DBLP DOI BibTeX RDF	reliable processing, Seljuk-Amoeba operating environment, Amoeba distributed operating system, processing service, memory availability, CPU speed, fault tolerant processing service, Amoeba system, controlled failure semantics, per process basis, load balancing, network operating systems
42	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
42	Robbert van Renesse, Andrew S. Tanenbaum, Sape J. Mullender	The Evolution of a Distributed Operating System.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
42	Chiaki Ishikawa, Ken Sakamura, Mamoru Maekawa	Dynamic Tuning of operating systems.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
40	Hongying Fei, Chengbin Chu, Nadine Meskens	Solving a tactical operating room planning problem by a column-generation-based heuristic procedure with four criteria.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Operating room planning problem, Open scheduling, Heuristic procedure, Column generation
40	Mitchell Tsai, Peter L. Reiher, Gerald J. Popek	Command Management System for Next-Generation User Input.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	User Input Systems, Context, Operating Systems, Speech Recognition, Wearable Computers, Sensors, Intelligent User Interfaces, Smart Spaces, Commands, Perceptual User Interfaces
40	David Ingram	Soft Real Time Scheduling for General Purpose Client-Server Systems.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	Real Time, Operating Systems, Linux, Client-Server
39	Orran Krieger, Marc A. Auslander, Bryan S. Rosenburg, Robert W. Wisniewski, Jimi Xenidis, Dilma Da Silva, Michal Ostrowski, Jonathan Appavoo, Maria A. Butrico, Mark F. Mergen, Amos Waterland, Volkmar Uhlig	K42: building a complete operating system.	EuroSys	2006	DBLP DOI BibTeX RDF	customizable operating systems, scalable operating systems, operating system design
39	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
39	Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake	Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support
38	Tianzhou Chen, Wei Hu 0001, Yi Lian	Power-Efficient Microkernel of Embedded Operating System on Chip.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	power-efficient, microkernel, embedded operating system
38	Simon Oberthür, Carsten Böke, Björn Griese	Dynamic online reconfiguration for customizable and self-optimizing operating systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time operating system, self-optimizing
37	Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey S. Dwoskin, Dan R. K. Ports	Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems.	ASPLOS	2008	DBLP DOI BibTeX RDF	cloaking, multi-shadowing, operating systems, virtual machine monitors, hypervisors, memory protection, VMM
37	Tim Leschke	Achieving speed and flexibility by separating management from protection: embracing the Exokernel operating system.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF
37	Mark Claypool, David Finkel, Craig E. Wills	An open source laboratory for operating systems projects.	ITiCSE	2001	DBLP DOI BibTeX RDF
37	Jeff Magee, Jeff Kramer, Morris Sloman	Constructing Distributed Systems in Conic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed systems construction, Conic environment, language-based approach, operating systems approach, concise configuration description, program components, interconnected logical nodes, incremental change, user-transparent datatype transformation, interconnected computers, base target machines, run-time facilities, distributed processing, programming, programming environments, software components, program compilation, operating systems (computers), high level languages, distributed environment, dynamic configuration, Unix operating system, heterogeneous processors, configuration language
36	Klaus-Peter Löhr, Lutz Nentwig, Joachim Müller 0002	DAPHNE-Support for Distributed Computing in Heterogeneous Environments.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Balazs Gerofi, Yutaka Ishikawa, Rolf Riesen, Robert W. Wisniewski	Introduction to HPC Operating Systems.	Operating Systems for Supercomputers and High Performance Computing	2019	DBLP DOI BibTeX RDF
36	Francisco J. Ballesteros, Luis López-Fernández	The Network Hardware is the Operating System.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
36	Noah Mendelsohn	Operating Systems for Component Software Environments.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
36	William J. Bolosky, Richard Draves, Robert P. Fitzgerald, Christopher W. Fraser, Michael B. Jones, Todd B. Knoblock, Richard F. Rashid	Operating System Directions for the Next Millennium.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
36	Freeman L. Rawson III	Experience with the Development of a Microkernel-Based, Multi-Server Operating System.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
36	Margo I. Seltzer, Christopher Small 0001	Self-Modifying and Self-Adapting Operating Systems.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
36	David Mazières, M. Frans Kaashoek	Secure Applications Need Flexible Operating Systems.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
36	Marvin Theimer, Alan J. Demers, Brent B. Welch	Operating System Issues for PDAs.	Workshop on Workstation Operating Systems	1993	DBLP DOI BibTeX RDF
36	Gregor Kiczales, John Lamping, Chris Maeda, David Keppel, Dylan McNamee	The Need for Customizable Operating Systems.	Workshop on Workstation Operating Systems	1993	DBLP DOI BibTeX RDF
36	Ramón Cáceres, Fred Douglis, Kai Li 0001, Brian Marsh	Operating System Implications of Solid-State Mobile Computers.	Workshop on Workstation Operating Systems	1993	DBLP DOI BibTeX RDF
36	Larry K. Loucks, Ravi Manikundalam, Freeman L. Rawson III	A Microkernel-Based Operating System for Personal Digital Assistants.	Workshop on Workstation Operating Systems	1993	DBLP DOI BibTeX RDF
36	Kenneth P. Birman	Fault-Tolerance in Sixth-Generation Operating Systems.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Santosh K. Shrivastava, Daniel L. McCue	Operating System Support for Object-Oriented Distributed Systems.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Richard D. Schlichting	Operating Systems and Fault-Tolerance.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Edward D. Lazowska	Operating System Support for High-Performance Architectures.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Özalp Babaoglu	Fault Tolerance Support in Future Operating Systems.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Michel Gien	Next Generation Operating Systems Architecture.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Arthur I. Karshmer, James N. Thomas	Are Operating Systems at RISC?	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	John Zahorjan	Operating Systems of the 90s and Beyond (with Emphasis on Multiprocessing).	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Bill Joy 0001	Future Operating Systems: An Environmental Scenario and Consequential Challenges.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Gérard Le Lann	Notes on Future Operating Systems for Real-Time Dependable Distributed Computing.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Fridolin Hofmann, Peter Schlenk, Thomas Eirich	Encapsulation and Interaction in Future Operating Systems.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Horst D. Wettstein	The Explainable Operating System.	Operating Systems of the 90s and Beyond	1991	DBLP DOI BibTeX RDF
36	Jean Bacon	Extending Distributed Operating Systems to Manageable Large Scale Distributed Processing Environments.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Robbert van Renesse	Progress in Distributed Operating Systems and Distributed Systems Management.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Volker Tschammer	Panel Discussion on: Future Research Issues in Extending Distributed Operating Systems to Manageable Large Scale Distributed Processing Environments.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Jürgen Nehmer	Position Statements on Distributed Operating Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Hermann Schmutz	Key Research Directions in Distributed Operating Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Tim King 0007	Research Directions for Distributed Operating Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
36	Rudolf Bayer, Robert M. Graham, Jerome H. Saltzer, Gerhard Seegmüller	Operating Systems, An Advanced Course - Introduction.	Advanced Course: Operating Systems	1978	DBLP DOI BibTeX RDF
36	Jim Gray 0001	Notes on Data Base Operating Systems.	Advanced Course: Operating Systems	1978	DBLP DOI BibTeX RDF
36	Gérald Belpaire, Jean Pierre Wilmotte	Correctness of realizations of levels of abstraction in operating systems.	Symposium on Operating Systems	1974	DBLP DOI BibTeX RDF
36	Butler W. Lampson	An open operating system for a single-user machine.	Symposium on Operating Systems	1974	DBLP DOI BibTeX RDF
35	James H. Hill, Aniruddha S. Gokhale	Visual OS: design and implementation of a visual framework for learning operating system concepts.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	Visual OS, operating system concepts, simulators, frameworks, operating systems, patterns, visualization tools, education tools
35	Kevin Jeffay, Gerardo Lamastra	A comparative study of the realization of rate-based computing services in general purpose operating systems.	RTCSA	2000	DBLP DOI BibTeX RDF	architectures scheduling, rate-based computing services, late-based scheduling schemes, FreeBSD operating system, server-based scheme, application level tasks, scheduling system calls, rate-based scheduling, Layland scheduling, device processing, resource allocation, processor scheduling, network interfaces, general purpose operating systems
35	J. Bradley Chen, Yasuhiro Endo, Kee Chan, David Mazières, Antonio Dias, Margo I. Seltzer, Michael D. Smith 0001	The Measured Performance of Personal Computer Operating Systems.	ACM Trans. Comput. Syst.	1996	DBLP DOI BibTeX RDF	operating systems performance measurement, operating systems structure, personal computers, Microsoft Windows
35	Christian W. Probst, Andreas Gal, Robert Grimm 0001, Olaf Spinczyk	Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006).	PLOS	2006	DBLP DOI BibTeX RDF
35	Hong Min, Sangho Yi, Yookun Cho, Jiman Hong	An efficient dynamic memory allocator for sensor operating systems.	SAC	2007	DBLP DOI BibTeX RDF	sensor networks, operating system, memory management, dynamic memory allocation
35	Ismail Saritas, Nazmi Etik, Novruz Allahverdi, Ibrahim Unal Sert	Fuzzy expert system design for operating room air-condition control systems.	CompSysTech	2007	DBLP DOI BibTeX RDF	fuzzy control systems, operating room control, adaptive fuzzy control
35	G. Denys, Frank Piessens, Frank Matthijs	A survey of customizability in operating systems research.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF	software protection mechanisms, operating systems, microkernels, Customizability
34	Timothy V. Fossum	PC-XINU Features and Installation.	ACM SIGOPS Oper. Syst. Rev.	1987	DBLP DOI BibTeX RDF	XINU
34	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
34	Vadim Abrossimov, Marc Rozier, Michel Gien	Virtual Memory Management in Chorus.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
32	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	Steven Sommer, John Potter	Operating system extensions for dynamic real-time application.	RTSS	1996	DBLP DOI BibTeX RDF	dynamic real-time applications, real-time process abstraction, operating system extensions, admission policy, scheduling, real-time systems, resource allocation, requirements, system design, system monitoring, timing requirements, general purpose operating systems
32	Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska	Sharing and Protection in a Single-Address-Space Operating System.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF	capability-based systems, microkernel operating systems, single-address-space operating systems, wide-address architectures, protection, object-oriented database systems, persistent storage, 64-bit architectures
32	Javier Palanca Cámara, Vicente J. Botti, Ana García-Fornes	Towards organizational agent-oriented operating systems.	SAC	2009	DBLP DOI BibTeX RDF	agreement technologies, agents, operating systems, organizations
32	Sujin O, Woochun Jun, Le Gruenwald, Suk-Ki Hong	A Web-Based System to Teach Computer Operating System Theories and Usage to Elementary School Students.	ICWL	2003	DBLP DOI BibTeX RDF	Internet, operating systems, Information Communication Technology
32	Xiaodong Yi 0002, Xuejun Yang	A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.	ICICS	2003	DBLP DOI BibTeX RDF	Information Flow Security Policy, Security Verification, Secure Operating System
32	Chun Xia, Josep Torrellas	Improving the Data Cache Performance of Multiprocessor Operating Systems.	HPCA	1996	DBLP DOI BibTeX RDF	data cache performance, operating system effect on caches, bus-based multiprocessor, address trace evaluation, block operations, latency hiding
32	Joe Gwinn	Some Measurements of Timeline Gaps in VAX/VMS.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF	VAX/VMS
32	David Hemmendinger	A Correct Implementation of General Semaphores.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
31	Hugh C. Lauer	Observations on the Development of an Operating System.	SOSP	1981	DBLP DOI BibTeX RDF	System classification, Software engineering, Operating system, System development, Personal computer, Pilot
31	Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez	Object-Orientation and Operating Systems.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF