Search results for "embedded operating system"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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
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	Junghoon Lee, Gyung-Leen Park, Chang Oan Sung, Sang-Wook Kim	A group management scheme for an efficient location-based service.	SAC	2008	DBLP DOI BibTeX RDF	positioning accuracy, embedded system, location-based service, telematics, group management, embedded operating system, cooperative computing
2	Francisco Afonso, Carlos A. Silva, Sergio Montenegro, Adriano Tavares	Applying aspects to a real-time embedded operating system.	ACP4IS	2007	DBLP DOI BibTeX RDF	aspect oriented programming, modularization, customization
2	Jin Hyun Kim, Jae-Hwan Sim, Chang Jin Kim, Jin-Young Choi	Formal Embedded Operating System Model Based on Resource-Based Design Framework.	QSIC	2007	DBLP DOI BibTeX RDF
2	I-Hsuan Huang, Chih-Chun Wang, Shih-Min Chu, Cheng-Zen Yang	Function-Level Multitasking Interface Design in an Embedded Operating System with Reconfigurable Hardware.	EUC	2007	DBLP DOI BibTeX RDF	hardware function, FPGA-based computer, ?C/OS, Reconfigurable computing, multitasking
2	Tianzhou Chen, Hu Wei, Lian Yi	Microkernel of Embedded Operating System in SRAM.	IWNAS	2006	DBLP DOI BibTeX RDF
2	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
2	Hai-Yan Li, Xin-ming Li	Embedded Operating System Design: The Resolved and Intelligent Daemon Approach.	ICESS	2004	DBLP DOI BibTeX RDF
1	Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski	A study of non-Boolean constraints in variability models of an embedded operating system.	SPLC Workshops	2011	DBLP DOI BibTeX RDF
1	Mei-Ling Chiang, Hsiang-Yu Hsu	Supporting dynamic update and resource protection in an embedded operating system.	SAC	2011	DBLP DOI BibTeX RDF
1	Bor-Yeh Shen, Mei-Ling Chiang	A Server-side Pre-linking Mechanism for Updating Embedded Operating System Dynamically.	J. Inf. Sci. Eng.	2010	DBLP BibTeX RDF
1	Guoyin Zhang, Guodong Zhao, Aihong Yao, Ruhua Liu	Research of Mechanism to System Scheduling Flexibility Based on Embedded Real-Time System.	MVHI	2010	DBLP DOI BibTeX RDF	Flexibility response, system dispatch, real-time system, embedded operating system
1	Richard Neill, Alexander Shabarshin, Luca P. Carloni	A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	multiple service operators, multiple sequence alignment, distributed embedded systems, mpi, set-top box
1	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
1	Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer	Formal Verification of a Microkernel Used in Dependable Software Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	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
1	Tianzhou Chen, Jiangwei Huang, Liangxiang Xiang, Zhenwei Zheng	A Practical Dynamic Frequency Scaling Scheduling Algorithm for General Purpose Embedded Operating System.	FGCN	2008	DBLP DOI BibTeX RDF
1	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
1	Pei Ke, Zhang Gang, Li Fu-jiang	Design of Boot Loader with Multiple Communication Port.	CSSE	2008	DBLP DOI BibTeX RDF
1	Libin Wu, Jinlin Wang, Peng Sun, Jianliang Hu	A Media File Snapshot Technique Based on Embedded System.	CSSE	2008	DBLP DOI BibTeX RDF
1	Ken W. Batcher, Robert A. Walker	Dynamic Round-Robin Task Scheduling to Reduce Cache Misses for Embedded Systems.	DATE	2008	DBLP DOI BibTeX RDF
1	Taehoun Song, Ji-Hwan Park, Soonmook Jung, Key Ho Kwon, Jae Wook Jeon	Embedded Robot Operating Systems for Human-Robot Interaction.	APCHI	2008	DBLP DOI BibTeX RDF	Robot operating system, Human-Robot Interaction, Mobile robot, User interface architecture
1	Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl	On the use of metatypes for safe embedded operating system extension.	IJPEDS	2007	DBLP DOI BibTeX RDF
1	Sascha Uhrig, Jörg Wiese	jamuth: an IP processor core for embedded Java real-time systems.	JTRES	2007	DBLP DOI BibTeX RDF	Java execution environment, embedded system-on-a-chip implementation, virtual machine, real-time embedded system, multithreaded processor, Java processor, embedded operating system
1	Jaeheung Lee, Junyoung Heo, Jaemin Park, Yookun Cho, Jiman Hong, Minkyu Park	Buffer Cache Level Encryption for Embedded Secure Operating System.	EUC	2007	DBLP DOI BibTeX RDF	Security, Linux, Buffer Cache, Embedded Operating System, Cryptographic File System
1	Jordana L. Seixas, Edson Barbosa, Stelita M. da Silva, Paulo Sérgio B. do Nascimento, Vinícius Kursancew, Remy Eskinazi Sant'Anna, Edna Barros, Manoel Eusebio de Lima	Aquarius: a dynamically reconfigurable computing platform.	SBCCI	2007	DBLP DOI BibTeX RDF	?CLinux, FPGAs, prototyping, dynamic reconfiguration, tasks scheduling, device driver, bitstream
1	Ju-Guang Li, Zhang Hua	Embedded Ethernet Control Systems and Smart Node Design Method.	ICNSC	2007	DBLP DOI BibTeX RDF
1	Bor-Yeh Shen, Mei-Ling Chiang	A Server-Side Pre-linking Mechanism for Updating Embedded Clients Dynamically.	EUC	2007	DBLP DOI BibTeX RDF	LyraOS, Embedded System, Operating System, Modules, Dynamic Update
1	Dong Xu, Hua Wang, Qiming Teng, Xiangqun Chen	Towards a Software Framework for Building Highly Flexible Component-Based Embedded Operating Systems.	EUC	2007	DBLP DOI BibTeX RDF
1	Junghoon Lee, Eui-young Kang, Gyung-Leen Park	Design and Implementation of a Tour Planning System for Telematics Users.	ICCSA	2007	DBLP DOI BibTeX RDF
1	Wasif Gilani, Fabian Scheler, Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat	Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.	Software Composition	2007	DBLP DOI BibTeX RDF
1	Tianzhou Chen, Wei Hu, Bin Xie, Like Yan	Real-Time Scheduling Algorithm Based on Set Division of Resource for Embedded Operating System.	CIT	2006	DBLP DOI BibTeX RDF
1	Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Wasif Gilani, Olaf Spinczyk	Static and Dynamic Weaving in System Software with AspectC++.	HICSS	2006	DBLP DOI BibTeX RDF
1	Qichang Duan, Yi Tang, Congli Zhang	Design and Realization of Network Video Server Based on Single DSP.	ICICIC	2006	DBLP DOI BibTeX RDF
1	Huaidong Shi, Ming Cai, Jinxiang Dong	Interrupt Synchronization Lock for Real-time Operating Systems.	CIT	2006	DBLP DOI BibTeX RDF
1	Tianzhou Chen, Hu Wei, Bin Xie, Like Yan	A Real-Time Scheduling Algorithm for Embedded Systems With Various Resource Requirements.	IWNAS	2006	DBLP DOI BibTeX RDF
1	Stefan Beyer, Robert Taylor, Ken Mayes	Operating System Support for Dynamic Code Loading in Sensor Networks.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
1	Nicolas Marti, Reynald Affeldt, Akinori Yonezawa	Formal Verification of the Heap Manager of an Operating System Using Separation Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Minhyung Kim, Sangkyun Kim, Myungwhan Choi	Practical Design Recovery Techniques for Embedded Operating System on Complying with RTCA/DO-178B and ISO/IEC15408.	KES	2005	DBLP DOI BibTeX RDF
1	Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl	Secure extensible type system for efficient embedded operating system by using metatypes.	ICPADS	2005	DBLP DOI BibTeX RDF
1	Isaac Jones	Halfs: a haskell filesystem.	Haskell	2005	DBLP DOI BibTeX RDF	binary IO, haskell, filesystems
1	Ching-Cheng Lee, Sudeshna Ghosh	A Component-Based Approach for JavaCard Runtime System Development.	ICECCS	2005	DBLP DOI BibTeX RDF
1	Michael Jung, Ralf Laue 0002, Sorin A. Huss	A Case Study on Partial Evaluation in Embedded Software Design.	SEUS	2005	DBLP DOI BibTeX RDF
1	Xiaohua Luo, Kougen Zheng, Zhaohui Wu, Yunhe Pan	MacroOS: A Pervasive Computing Platform Supporting Context Awareness and Context Management.	CIS	2005	DBLP DOI BibTeX RDF
1	Yuan-Hsiu Chen, Pao-Ann Hsiung	Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC.	EUC	2005	DBLP DOI BibTeX RDF	Operating System for Reconfigurable SoC, Hardware Scheduling, Placement, Dynamic Partial Reconfiguration
1	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
1	Sang-Yeob Lee, Youjip Won, Whoi-Yul Kim	Zikimi: A Case Study in Micro Kernel Design for Multimedia Applications.	Multimedia Tools Appl.	2005	DBLP DOI BibTeX RDF	multimedia, operating system, Linux, micro-kernel
1	Juan Pardo, José Carlos Campelo, Juan José Serrano	Robustness Study of an Embedded Operating System for Industrial Applications.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
1	Juan Pardo, José Carlos Campelo, Juan José Serrano	Reliability study of an embedded operating system for industrial applications.	GI Jahrestagung	2004	DBLP BibTeX RDF
1	Qiming Teng, Xiangqun Chen, Xia Zhao, Wei Zhu, Lu Zhang 0023	Extraction and Visualization of Architectural Structure Based on Cross References among Object Files.	COMPSAC	2004	DBLP DOI BibTeX RDF	software architecture, reverse engineering, component, operating system, reusability, software understanding
1	Gurashish Singh Brar, Susmit Biswas, Sudipta Kundu, Arijit Mukhopadhyay, Pratik Worah, Anupam Basu	OaSis: An Application Specific Operating System for an Embedded Environment.	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Energy-Optimizing Source Code Transformations for OS-driven Embedded Software.	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Shuichi Oikawa, Hiroo Ishikawa, Masatoshi Iwasaki, Tatsuo Nakajima	Providing Protected Execution Environments for Embedded Operating Systems Using a µ-Kernel.	EUC	2004	DBLP DOI BibTeX RDF
1	SongXia Hao, XiChang Zhong, Yun Wang	EFSM-based Testing Strategy for APIs Test of Embedded OS.	ICESS	2004	DBLP DOI BibTeX RDF
1	Bo Ma, Yi Zhang, Xingguo Shi	Applying Component-Based Meta-service in Liquid Operating System for Pervasive Computing.	ICESS	2004	DBLP DOI BibTeX RDF
1	Qiming Teng, Xiangqun Chen, Xia Zhao	On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components.	ICESS	2004	DBLP DOI BibTeX RDF
1	John Crawford	Enabling Anytime Anywhere Wireless Sensor Networks.	NPC	2004	DBLP DOI BibTeX RDF
1	Yasuhiko Yokote	Requisites of Embedded Operating System for Network Electronics. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF
1	Sergio Montenegro	New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System.	GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit")	2003	DBLP BibTeX RDF
1	Ankush Varma, Brinda Ganesh, Mainak Sen, Suchismita Roy Choudhury, Lakshmi Srinivasan, Bruce L. Jacob	A control-theoretic approach to dynamic voltage scheduling.	CASES	2003	DBLP DOI BibTeX RDF	nqPID, low-power, dynamic voltage scaling, PID
1	Hector Abrach, Shah Bhatti, James Carlson, Hui Dai, Jeff Rose, Anmol Sheth, Brian Shucker, Jing Deng, Richard Han	mantis - system supports for multimodAl neTworks on in-situ sensors.	SenSys	2003	DBLP DOI BibTeX RDF	dynamic reprogramming, multimodal prototyping, wireless sensor networks, operating systems, GPS, lightweight
1	Hector Abrach, Shah Bhatti, James Carlson, Hui Dai, Jeff Rose, Anmol Sheth, Brian Shucker, Jing Deng, Richard Han	MANTIS: system support for multimodAl NeTworks of in-situ sensors.	Wireless Sensor Networks and Applications	2003	DBLP DOI BibTeX RDF	dynamic reprogramming, multimodal prototyping, wireless sensor networks, operating systems, GPS, lightweight
1	J. L. Silva, R. M. Costa, G. H. R. Jorge	RtrASSoc - An Adaptable Superscalar Reconfigurable System-On-Chip.	IWSOC	2003	DBLP DOI BibTeX RDF
1	Armita Peymandoust, Tajana Simunic, Giovanni De Micheli	Complex instruction and software library mapping for embedded software using symbolic algebra.	IEEE Trans. on CAD of Integrated Circuits and Systems	2003	DBLP DOI 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	Volkert Barr, Sergio Montenegro	Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT).	Ada Deutschland Tagung	2002	DBLP BibTeX RDF
1	Tat Kee Tan, Anand Raghunathan, Niraj K. Jha	Embedded Operating System Energy Analysis and Macro-Modeling.	ICCD	2002	DBLP DOI BibTeX RDF
1	Jeffry T. Russell, Margarida F. Jacome	Scenario-based software characterization as a contingency to traditional program profiling.	CASES	2002	DBLP DOI BibTeX RDF	program profile, typical behavior, performance, embedded system, static analysis, constraint, profiling, scenario, control flow, predicate
1	Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda	Design and implementation of the Lambda mu-kernel based operating system for embedded systems.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	Danilo Beuche	Feature Based Composition of an Embedded Operating System Family.	FICS	2001	DBLP BibTeX RDF
1	Andrea Acquaviva, Luca Benini, Bruno Riccò	Energy characterization of embedded real-time operating systems.	SIGARCH Computer Architecture News	2001	DBLP DOI BibTeX RDF
1	Amit Sinha, Anantha Chandrakasan	Operating System and Algorithmic Techniques for Energy Scalable Wireless Sensor Networks.	Mobile Data Management	2001	DBLP DOI BibTeX RDF
1	Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk	On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System.	ISORC	2000	DBLP DOI BibTeX RDF	real-time systems, embedded systems, synchronization, object orientation, operating systems
1	David D. Langan	EOS: An Object-Oriented Operating System for Embedded Real-Time Applications.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF