Search results for "operating system"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Seongbeom Kim, Fang Liu, Yan Solihin, Ravi R. Iyer, Li Zhao, W. Cohen	Accelerating Full-System Simulation through Characterizing and Predicting Operating System Performance.	ISPASS	2007	DBLP DOI BibTeX RDF	memory hierarchy model, full-system simulation acceleration, operating system performance characterization, operating system performance prediction, computer hardware complexity, cycle-accurate processor system simulation overheads, system libraries, OS service performance behavior, processor hierarchy model, Linux, software complexity
4	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
4	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
4	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
4	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
4	John Drummond, Michael Wu	A low level analysis of the realtime Mach distributed operating system. (PDF / PS)	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
4	Michel Gien	Evolution of the CHORUS Open Microkernel Architecture: The STREAM Project.	FTDCS	1995	DBLP DOI BibTeX RDF	Real-time Executive, Embedded System, Operating System, Object-Oriented System, Real-time Operating System, Distributed Operating System, Microkernel
4	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
4	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 Distrib. 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
3	Jean Yang, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
3	Jing Chen, Hui-Ming Su, Chien-Fu Chou	An aspect-oriented framework for operating system evolution.	SAC	2010	DBLP DOI BibTeX RDF	dynamic weaving, AOP, aspect-oriented programming, operating system, software evolution, aspect weaving
3	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
3	Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler	An efficient operating system abstraction layer for portable applications in the domain of wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	WSN, operating system, abstraction, embedded, API
3	Hongjiao Li, Xiuxia Tian	Research of Trust Chain of Operating System.	AICI	2009	DBLP DOI BibTeX RDF	Trust Chain, Trusted Computing, Trust Model, Secure Operating System
3	Franz J. Rammig, Yuhong Zhao, Sufyan Samara	On-Line Model Checking as Operating System Service.	SEUS	2009	DBLP DOI BibTeX RDF	On-line model checking, Verification service, Real-time operating system
3	Ben Pfaff, Anthony Romano, Godmar Back	The pintos instructional operating system kernel.	SIGCSE	2009	DBLP DOI BibTeX RDF	instructional kernel, instructional operating system, pintos
3	Natacha Hoang, Nicolas Belloir, Cong-Duc Pham, Séverine Sentilles	Valentine: A Dynamic and Adaptive Operating System for Wireless Sensor Networks.	COMPSAC	2008	DBLP DOI BibTeX RDF	sensor network, operating system, dynamic reconfiguration
3	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Tian He	The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks.	IPSN	2008	DBLP DOI BibTeX RDF	LiteOS, wireless sensor networks, operating system
3	Matthias Werner, Dirk Müller 0002, Martin Däumler, Jan Richling, Gero Mühl	Operating system support for distributed applications in real space-time.	CSTST	2008	DBLP DOI BibTeX RDF	mobility awareness, real space-time, distributed operating system
3	Yanjun Zuo, Timothy O'Keefe	Post-release information privacy protection: A framework and next-generation privacy-enhanced operating system.	Information Systems Frontiers	2007	DBLP DOI BibTeX RDF	Information privacy protection, Privacy violation detection, Privacy-enhanced operating system, Information post-release control
3	Salvatore Carta, Andrea Acquaviva, Pablo Garcia Del Valle, David Atienza, Giovanni De Micheli, Fernando Rincón, Luca Benini, Jose Manuel Mendias	Multi-processor operating system emulation framework with thermal feedback for systems-on-chip.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	thermal studies, FPGA, operating system, emulation, MPSoC
3	Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, Wolfgang Schröder-Preikschat	Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP.	ACP4IS	2007	DBLP DOI BibTeX RDF	CiAO, aspect-aware operating system, aspect-oriented programming (AOP), configurability, AspectC++
3	Wen-Chih Chang, Yi-Lung Chen	Cultivating Operating System Process Concept with Card Game.	ICPP Workshops	2007	DBLP DOI BibTeX RDF	operation system process, operating system, game-based learning, card game
3	Linn Gustavsson Christiernin, Rickard Bäckman, Mikael Gidmark, Ann Persson	iLayer: MLD in an operating system interface.	AVI	2006	DBLP DOI BibTeX RDF	multi-layered design, practical implementation, operating system, interface
3	Tianzhou Chen, Wei Hu, 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
3	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
3	Shah Bhatti, James Carlson, Hui Dai, Jing Deng, Jeff Rose, Anmol Sheth, Brian Shucker, Charles Gruenwald, Adam Torgerson, Richard Han	MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms.	MONET	2005	DBLP DOI BibTeX RDF	dynamic reprogramming, sensor networks, low power, multithreaded, lightweight, embedded operating system, cross-platform
3	Martin Karsten, Jialin Song, Michael Kwok, Tim Brecht	Efficient operating system support for group unicast.	NOSSDAV	2005	DBLP DOI BibTeX RDF	multicast, operating systems, group communication
3	James H. Hill, Aniruddha S. Gokhale	Visual OS: design and implementation of a visual framework for learning operating system concepts.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	Visual OS, operating system concepts, simulators, frameworks, operating systems, patterns, visualization tools, education tools
3	Michael Engel, Bernd Freisleben	Supporting autonomic computing functionality via dynamic operating system kernel aspects.	AOSD	2005	DBLP DOI BibTeX RDF	NetBSD, autonomic computing, operating system kernel, organic computing, dynamic aspects
3	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
3	Sangsoo Park, Yonghee Lee, Heonshik Shin	An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing.	EMSOFT	2004	DBLP DOI BibTeX RDF	multimedia, embedded system, operating system, memory performance
3	Vincent Nollet, Théodore Marescaux, Diederik Verkest, Jean-Yves Mignolet, Serge Vernalde	Operating-system controlled network on chip.	DAC	2004	DBLP DOI BibTeX RDF	operating system, network on chip, MP-SoC
3	Tao Li, Lizy Kurian John	Routine based OS-aware microprocessor resource adaptation for run-time operating system power saving.	ISLPED	2003	DBLP DOI BibTeX RDF	adaptive processor, low power, operating system
3	Tao Li, Lizy Kurian John	Run-time modeling and estimation of operating system power consumption.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	low power, operating system, power estimation
3	Shaojie Wang, Sharad Malik	Synthesizing operating system based device drivers in embedded systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	embedded system software, operating system based software synthesis, device driver, correct-by-construction
3	Dan G. Waddington, Ramesh Viswanathan	Interaction points: exploiting operating system mechanisms for inter-component communications.	Operating Systems Review	2002	DBLP DOI BibTeX RDF	component engineering, interaction points, operating-system level communications, real-time, modular, embedded, network services
3	Yao Li, Paul Wilson	PARTOS-11: an Efficient Real-Time Operating System for Low-Cost Microcontrollers.	DELTA	2002	DBLP DOI BibTeX RDF	embedded microcontroller, slack sharing server, real-time operating system
3	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
3	Hyun-Jun Kim, Sang Hyun Park, Jung-Guk Kim, Moon-hae Kim, Kee-Wook Rim	TMO-Linux: A Linux-Based Real-Time Operating System Supporting Execution of TMOs. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	TMO (Time-triggered Message-triggered Object), LTMOS, Middleware, Linux, Real-time Operating System
3	Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder	Understanding the performance of the Java operating system JX using visualization techniques.	Java Grande	2002	DBLP DOI BibTeX RDF	Java operating system, performance visualization techniques
3	Yvonne Coady, Gregor Kiczales, Michael J. Feeley, Greg Smolyn	Using aspectC to improve the modularity of path-specific customization in operating system code.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	aspect-oriented programming, software modularity, operating system design
3	Jeremy Epstein, L. Thomas, Eric Monteith	Using Operating System Wrappers to Increase the Resiliency to Commercial Firewalls.	ACSAC	2000	DBLP DOI BibTeX RDF	operating system wrappers, commercial firewalls, fine grained control, application proxy firewalls, experiments, computer networks, network operating systems, authorisation, telecommunication security, applications software, malicious software
3	Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi	Implementing real-time scheduling daemon in general purpose operating system Unix.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time scheduling daemon, general purpose operating system Unix, time sharing-based scheduling, real-time systems, processor scheduling, network operating systems, application programmers
3	Albert Alexandrov, Maximilian Ibel, Klaus E. Schauser, Chris J. Scheiman	UFO: A Personal Global File System Based on User-Level Extensions to the Operating System.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	global name space, proc file system, user-level operating system extensions, file caching
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
3	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
3	Oliver Spatscheck, Larry L. Peterson	Escort: Securing Scout Paths.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	Escort, Scout path security, communication oriented operating system, explicit first class object, path abstraction, information flow, network operating systems, network operating system, security architecture, information appliances, explicit knowledge
3	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
3	Steven Sommer, John Potter	Operating system extensions for dynamic real-time application. (PDF / PS)	IEEE Real-Time Systems Symposium	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
3	Ralf Steinmetz	Analyzing The Multimedia Operating System.	IEEE MultiMedia	1995	DBLP DOI BibTeX RDF	scheduling, multimedia, operating system, resource management, file system
3	L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson	Real-time computer controlled ultrasound therapy system for breast cancer treatment.	ICECCS	1995	DBLP DOI BibTeX RDF	thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics
3	Akhil Kumar, Michael Stonebraker	Performance Considerations for an Operating System Transaction Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	log compressing, considerations, operating system transaction manager, conventional transaction manager, OS transaction manager, lock acquisition, additional semantics, OS transaction system, modified index structure, update operations, DBMS performance, performance evaluation, performance, data structures, software reliability, database management system, database management systems, transaction processing, operating systems (computers), transaction management, performance penalty
3	Behrokh Samadi	TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	TUNEX, UNIX system V, disk buffers, maintenance routines, reorganizing file systems, operation rules, knowledge-based system, expert system, expert systems, Unix, utilities, performance monitoring, performance tuning, commands, UNIX operating system
3	Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang	Experience with Charlotte: Simplicity and Function in a Distributed Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software
3	Anand Tripathi	An Overview of the Nexus Distributed Operating System Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	interobject communication, object access, Nexus distributed operating system design, fault-tolerance techniques, Nexus programming environment, multiple implementations, remote-procedure-call paradigm, application-controlled checkpointing, parallel remote procedure calls, Nexus kernel, data structures, object-oriented programming, object-oriented programming, fault tolerant computing, distributed processing, programming environments, inheritance, abstract data types, operating systems (computers), restart, atomic actions, computer communications software, experimental research, location transparency
3	William R. Bevier	Kit: A Study in Operating System Verification.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit
3	Norihisa Doi, Yasushi Kodama, Ken Hirose	An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+.	ECOOP	1988	DBLP DOI BibTeX RDF	Concurrent object-oriented language, ABCL, Operating system kernel
3	Jonathan M. Silverman	Reflections on the Verification of the Security of an Operating System Kernel.	SOSP	1983	DBLP DOI BibTeX RDF	Confinement channels, Operating system kernal, Verification, Specification, Information flow, Multilevel security
3	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
2	Lingkan Gong, Jingfen Lu	Verification-Purpose Operating System for Microprocessor System-Level Functions.	IEEE Design & Test of Computers	2010	DBLP DOI BibTeX RDF	microprocessor verification, system-level function, Verification-Purpose Operating System, VPOS, FPGA, design and test
2	Matthew Danish, Hongwei Xi	Operating system development with ATS: work in progress.	PLPV	2010	DBLP DOI BibTeX RDF	linear types, operating systems, dependent types
2	Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler	An operating system abstraction layer for portable applications in wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	OSAL, abstraction layer, WSN, wireless sensor networks, operating systems, API, portability, OS
2	Juan Carlos Saez, Alexandra Fedorova, Manuel Prieto, Hugo Vegas	Operating system support for mitigating software scalability bottlenecks on asymmetric multicore processors.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	asymmetric multicore, scheduling, operating systems
2	Wei Hu, Jianliang Ma, Binbin Wu, Lihan Ju, Tianzhou Chen	Distributed On-Chip Operating System for Network on Chip.	CIT	2010	DBLP DOI BibTeX RDF	distributed system, operating system, network on chip
2	Chao Wang, Bin Xie, Jiexiang Kang, Tianzhou Chen, Wei Hu, Zhenwei Zheng	On-Chip Operating System Design for NoC-Based CMP.	CIT	2010	DBLP DOI BibTeX RDF	operating system, network on chip, chip multiprocessor
2	Philipp M. Glatz, Christian Steger, Reinhold Weiss	TOSPIE2: tiny operating system plug-in for energy estimation.	IPSN	2010	DBLP DOI BibTeX RDF	power states, simulation, wireless sensor networks, design, efficiency, development, energy harvesting, plug-in
2	Oren Laadan, Jason Nieh	Operating system virtualization: practice and experience.	SYSTOR	2010	DBLP DOI BibTeX RDF	operating systems, virtualization
2	Hong Chen, Ninghui Li, Christopher S. Gates, Ziqing Mao	Towards analyzing complex operating system access control configurations.	SACMAT	2010	DBLP DOI BibTeX RDF	access control, operating systems, attack graph
2	Kai Shen	Request behavior variations.	ASPLOS	2010	DBLP DOI BibTeX RDF	operating system adaptation, request modeling, server system, multicore, hardware counter
2	Johan Fornaeus	Device hypervisors.	DAC	2010	DBLP DOI BibTeX RDF	real-time, separation, real-time operating system, hypervisor, embedded devices, consolidation, general purpose operating system
2	Maxwell N. Krohn, Eran Tromer	Noninterference for a Practical DIFC-Based Operating System.	IEEE Symposium on Security and Privacy	2009	DBLP DOI BibTeX RDF
2	Liu Xing, Li Yan, Cai Mian, Guo Ying	The Testing and Evaluating System for the Security Operating System Based on the Mechanism of Keyword-Driven.	IAS	2009	DBLP DOI BibTeX RDF
2	Jiyong Park, Seongsoo Hong	Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment.	SAC	2009	DBLP DOI BibTeX RDF	fine-granularity, AOP, operating systems, language independence
2	Martin Lipphardt, Nils Glombitza, Jana Neumann, Christian Werner	A service-oriented operating system and an application development infrastructure for wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, service-orientation, application development, reprogramming
2	Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel Lohmann	Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.	CASES	2009	DBLP DOI BibTeX RDF	ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling
2	François Gagnon, Babak Esfandiari	Using Answer Set Programming to Enhance Operating System Discovery.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Andreas Heinig, Jochen Strunk, Wolfgang Rehm, Heiko Schick	ACCFS - Operating System Integration of Computational Accelerators Using a VFS Approach.	ARC	2009	DBLP DOI BibTeX RDF
2	Frédéric Loiret, Juan F. Navas, Jean-Philippe Babau, Olivier Lobry	Component-Based Real-Time Operating System for Embedded Applications.	CBSE	2009	DBLP DOI BibTeX RDF
2	Lander Casado, Philippas Tsigas	ContikiSec: A Secure Network Layer for Wireless Sensor Networks under the Contiki Operating System.	NordSec	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks Security, Link Layer Security
2	Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner	Verifying the Implementation of an Operating System Scheduler.	TASE	2009	DBLP DOI BibTeX RDF
2	Michael D. Black	Build an operating system from scratch: a project for an introductory operating systems course.	SIGCSE	2009	DBLP DOI BibTeX RDF	education, operating systems
2	Damien Le Moal, Donald Molaro, Jorge Campello	Power efficient real-time disk scheduling.	NOSSDAV	2009	DBLP DOI BibTeX RDF	real-time hard-disk scheduling, power consumption
2	Mangesh Chitnis, Yao Liang, Jiang Yu Zheng, Paolo Pagano, Giuseppe Lipari	Wireless line sensor network for distributed visual surveillance.	PE-WASUN	2009	DBLP DOI BibTeX RDF	line sensor, wireless sensor network, image processing, multimedia, ieee 802.15.4, real time operating system
2	Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang	Trojan horse resistant discretionary access control.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, operating system, information flow
2	Paolo Pagano, Francesco Piga, Yao Liang	Real-time multi-view vision systems using WSNs.	SAC	2009	DBLP DOI BibTeX RDF	multi-view vision, WSN, real-time operating system
2	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
2	Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Bhandari Aditya, Emmett Witchel	MetaTM/TxLinux: Transactional Memory for an Operating System.	IEEE Micro	2008	DBLP DOI BibTeX RDF	MetaTM, TxLinux, parallel architectures, operating systems, transactional memory
2	Peter H. Beckman, Kamil Iskra, Kazutomo Yoshii, Susan Coghlan, Aroon Nataraj	Benchmarking the effects of operating system interference on extreme-scale parallel machines.	Cluster Computing	2008	DBLP DOI BibTeX RDF	Synchronicity, Noise, Petascale, Microbenchmark
2	Massimo Coppola, Yvon Jégou, Brian Matthews, Christine Morin, Luis Pablo Prieto, Oscar David Sánchez, Erica Y. Yang, Haiyan Yu	Virtual Organization Support within a Grid-Wide Operating System.	IEEE Internet Computing	2008	DBLP DOI BibTeX RDF
2	David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber	The Caernarvon secure embedded operating system.	Operating Systems Review	2008	DBLP DOI BibTeX RDF	common criteria evaluation, embedded systems, mobile phones, operating systems, PDAs, smart cards, mandatory access controls
2	Marco D. Santambrogio, Vincenzo Rana, Donatella Sciuto	Operating system support for online partial dynamic reconfiguration management.	FPL	2008	DBLP DOI BibTeX RDF
2	Ron Brightwell, Kevin T. Pedretti, Trammell Hudson	SMARTMAP: operating system support for efficient data sharing among processes on a multi-core processor.	SC	2008	DBLP DOI BibTeX RDF
2	Vladimir Stantchev, Miroslaw Malek	Addressing Web Service Performance by Replication at the Operating System Level.	ICIW	2008	DBLP DOI BibTeX RDF	Architectural Translucency, Web Services, Performance, Replication
2	Giovani Gracioli, Antônio Augusto Fröhlich	An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems.	HotSWUp	2008	DBLP DOI BibTeX RDF	remote update, embedded systems, operating systems
2	Nagarajan Venkateswaran, Vinoth Krishnan Elangovan, Karthik Ganesan, T. R. S. Sagar, S. Aananthakrishanan, S. Ramalingam, Shyamsundar Gopalakrishnan, Madhavan Manivannan, Deepak Srinivasan, Viswanath Krishnamurthy, Karthik Chandrasekar 0001, Viswanath Venkatesan, Balaji Subramaniam, V. Sangkar, Aravind Vasudevan, Shrikanth Ganapathy, Sriram Murali, M. Thyagarajan	On the concept of simultaneous execution of multiple applications on hierarchically based cluster and the silicon operating system.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Florian Kluge, Jörg Mische, Sascha Uhrig, Theo Ungerer	An Operating System Architecture for Organic Computing in Embedded Real-Time Systems.	ATC	2008	DBLP DOI BibTeX RDF
2	Takashi Okumura, Bruce R. Childers, Daniel Mossé	Running a Java VM inside an operating system kernel.	VEE	2008	DBLP DOI BibTeX RDF	kernel extensibility, network management, Java virtual machine, just-in-time
2	Qing Cao, Tarek F. Abdelzaher	Faithful Reconstruction of Application Behavior Based on Event Traces in the LiteOS Operating System.	IPSN	2008	DBLP DOI BibTeX RDF	liteos, visibility
2	Jinfeng Dou, Jiabao Cao, Yongguo Jiang, Zhongwen Guo	Research on the Teaching Reform of Operating System Courses.	ICYCS	2008	DBLP DOI BibTeX RDF