6. ICESS 2009:
Hangzhou,
Zhejiang,
P. R. China
Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha (Eds.):
International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009.
IEEE 2009 
Session 1:
Formal Methods I
Session 2:
Embedded Architecture and Reconfigurable Systems
Session 3:
Real-Time Scheduling Algorithms
- Ke Liang, Xingshe Zhou, Ruiqing Sheng, Kailong Zhang:
A Scheduling Algorithm for Hybrid Distributed Real-Time Systems.
51-56
- Xin Li, Zhiping Jia, Li Ma, Ruihua Zhang, Haiyang Wang:
Earliest Deadline Scheduling for Continuous Queries over Data Streams.
57-64
- Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang:
A Survey of WCET Analysis of Real-Time Operating Systems.
65-72
Session 4:
Formal Methods II
Session 5:
Embedded Architectures
Session 6:
Embedded Systems
Session 7:
Component-Based Design
- Matthieu Anne, Ruan He, Tahar Jarboui, Marc Lacoste, Olivier Lobry, Guirec Lorant, Maxime Louvel, Juan F. Navas, Vincent Olive, Juraj Polakovic, Marc Poulhiès, Jacques Pulou, Stéphane Seyvoz, Julien Tous, Thomas Watteyne:
Think: View-Based Support of Non-functional Properties in Embedded Systems.
147-156
- Feng Zhou, Wei Guan, Krzysztof Sierszecki, Christo Angelov:
Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study.
157-163
- Hong Li, Pan Lu, Min Yao, Nan Li:
SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics.
164-170
Session 8:
System-on-Chip (SoC) and Multicore Systems
- Ying Wang, Weinan Chen, Xiao-Wei Wang, Hong-Jun You, Chenglian Peng:
The Hardware Thread Interface Design and Adaptation on Dynamically Reconfigurable SoC.
173-178
- Xiao-Wei Wang, Weinan Chen, Ying Wang, Hong-Jun You, Chenglian Peng:
The Design and Implementation of Hardware Task Configuration Management Unit on Dynamically Reconfigurable SoC.
179-184
- Ming-Wei Chang, Shau-Yin Tseng, Homn Lin, Ching-Lung Su:
Implementation and Optimization of DSP Suspend Resume on Dual-Core SOC.
185-190
Session 9:
Real-Time Embedded Systems
Session 10:
Embedded Multimedia Systems
Session 11:
Software Tools and Design Environments
Session 12:
Power Aware Computing
- Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada:
Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems.
265-272
- Liu Yang, Man Lin:
On-Line and Off-Line DVS for Fixed Priority with Preemption Threshold Scheduling.
273-280
- Xuefeng Piao, Heeheon Kim, Yookun Cho, Moonju Park, Sangchul Han, Minkyu Park, Seongje Cho:
Energy Consumption Optimization of Real-Time Embedded Systems.
281-287
Session 13:
Pervasive and Ubiquitous Computing
- Xindong You, Xianghua Xu, Jian Wan, Congfeng Jiang:
Analysis and Evaluation of the Scheduling Algorithms in Virtual Environment.
291-296
- Jingjing Xu, Yann-Hang Lee, Wei-Tek Tsai, Wu Li, Young-Sung Son, Jun-Hee Park, Kyung-Duk Moon:
Ontology-Based Smart Home Solution and Service Composition.
297-304
- Yang Xiao, Yanping Zhang, John H. Gibson, Geoffrey G. Xie:
Performance Analysis of p-Persistent Aloha for Multi-hop Underwater Acoustic Sensor Networks.
305-311
Session 14:
Distributed and Mobile Computing
Session 15:
Image and Graphics Processing
Session 16:
Wireless Sensor Networks
Session 17:
Embedded Optimization and Verification
- Shih-Hao Hung, Chia-Heng Tu, Huang-Sen Lin, Chi-Meng Chen:
An Automatic Compiler Optimizations Selection Framework for Embedded Applications.
381-387
- Haihua Shen, Pengyu Wang, Yunji Chen, Qi Guo, Heng Zhang:
Designing an Effective Constraint Solver in Coverage Directed Test Generation.
388-395
- Lucas Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva:
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.
396-403
Session 1:
Embedded Hardware and Software I - (SHOES 2009)
- Liwen Shi, Xiaoya Fan, Jie Chen, Xiaoping Huang, Hangpei Tian:
Tolerating Memory Latency Using a Hardware-Based Active-Pushing Technique.
407-411
- Jianfeng Yang, Yinbo Xie, Tianzhou Chen:
Research on Web Server Application on Multi-core Embedded System.
412-416
- Kiduk Kwon, Midori Sugaya, Tatsuo Nakajima:
Analysis of Embedded Linux Using Kernel Analysis System.
417-422
- Futian Yao, Xiaozhu Chen, Yuntao Qian, Jiming Li:
Design and Implementation of an Embedded Quality Control System.
423-428
Session 2:
Real-Time Embedded Systems and Optimizations - (SHOES 2009)
- Hui Chen, Jiali Xia:
A Real-Time Task Scheduling Algorithm Based on Dynamic Priority.
431-436
- Johannes Pletzer, Josef Templ, Wolfgang Pree:
A Code Generation Framework for Time-Triggered Real-Time Systems.
437-442
- Hu Jin, Liang-Yin Chen, Nian-Wei Chen, Yang Lei:
Software Agent Design with Real Time Scheduling for Embedded Systems.
443-447
- Liming Wang, Xiyang Liu, Ailong Song, Lin Xu, Tao Liu:
An Effective Reversible Debugger of Cross Platform Based on Virtualization.
448-453
- Changhui Deng, Deyan Kong, Yanhong Song, Li Zhou, Jun Gu:
A Soft-Sensing Approach to On-Line Predicting Ammonia-Nitrogen Based on RBF Neural Networks.
454-458
Session 3:
Embedded Hardware and Software II - (SHOES 2009)
- Sufyan Samara, Fahad Bin Tariq, Timo Kerstan, Katharina Stahl:
Applications Adaptable Execution Path for Operating System Services on a Distributed Reconfigurable System on Chip.
461-466
- Xiao-Wei Wang, Weinan Chen, Ying Wang, Chenglian Peng:
A Co-design Flow for Reconfigurable Embedded Computing System with RTOS Support.
467-474
- Saadia Dhouib, Eric Senn, Jean-Philippe Diguet, Johann Laurent, Dominique Blouin:
Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services.
475-481
- Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell:
Implementing Haptic Feedback Environments from High-Level Descriptions.
482-489
- Xiang Zhou, Bing Guo, Yan Shen, Qi Li:
Design and Implementation of an Improved C Source-Code Level Program Energy Model.
490-495
Session 4:
Fault Tolerant and Trusted Embedded Systems - (SHOES 2009)
Session 1:
Wireless and Intelligent Embedded Systems - (MINES 2009)
- Nuo Wei, Qiang Guo, Jia-liang Lv, Yuan-Yuan Yang:
A Spanning Subtree Based Multi-channel Time Synchronization Algorithm for Sensor Networks.
519-523
- Na Xu, Xiaotong Zhang, Qin Wang, Jing Liang, Guangrong Pan, Meng Zhang:
An Improved Flooding Time Synchronization Protocol for Industrial Wireless Networks.
524-529
- Yuan Zhang, Chi-Hung Chi, Shengqing Zhang, Nan Zheng:
Complete Decentralized Mechanism Design for Online Machine Scheduling.
530-535
- Junpeng Yuan, Jie Su, Cheng Su:
A Novel Reduction Algorithm Based on Expert Knowledge.
536-540
- Xiaoshi Zheng, Yanling Zhao, Na Li, Huimin Wu:
An Automatic Moving Object Detection Algorithm for Video Surveillance Applications.
541-543
Session 2:
Automotive,
Medical and Avionics Systems - (MINES 2009)
- Zhiqiang Que, Yongxin Zhu, Tingting Mo, Bin Chen, Zhijun Li:
Design and Implementation of a Cordless Power Supply System for Pervasive Medical Devices.
547-552
- Li Zhi, FengLong Zhou, XueJuan Yao:
Research on LXI Trigger Bus.
553-558
- Linlin Xia, Jianguo Wang, Gangui Yan:
RBFNN Aided Extended Kalman Filter for MEMS AHRS/GPS.
559-564
- Yu-zhuang Zhao, Si-zhong Chen, Yang Lin:
Design of Real-Time and Multi-task Control System for Semi-active Suspension Based on PICOS18.
565-571
- Xiao Wu, Heng Ling, Yunwei Dong:
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL.
572-577
Session 3:
Networked Embedded Systems - (MINES 2009)
- Zhu Qiang, Chen Kai, Minrui Fei:
Research of Networked Control System Based on P2P Network.
581-586
- Jiandong Wang, Yingke Xie, Chao Zhu, Zili Zhao, Chengde Han:
An Embedded Load Balancing System for High Speed OC192 Networks.
587-592
- Xiaohui Chen, Xiaowei Qin, Sheng Xu, Weidong Wang, Guo Wei:
A Statistical Analysis of Uplink Packet Latency in GPRS Network.
593-597
Session 4:
Distributed and Mobile Computing - (MINES 2009)
- Xiong Fu, Ruchuan Wang, Yang Wang, Song Deng:
A Replica Placement Algorithm in Mobile Grid Environments.
601-606
- Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier:
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
607-614
- Lvhong Zhang, Hong Li, Li Zhou, Minde Zhao, Zhigang Gao:
OSEK COM-Based Dynamic Priority Assignment Method on CAN.
615-620
Last update Fri May 25 08:18:51 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
