default search action
6th ICESS 2009: Hangzhou, Zhejiang, P. R. China
- Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha:
International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3678-1
Session 1: Formal Methods I
- Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond:
Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. 3-10 - Henning Dierks, Alexander Metzner, Ingo Stierand:
Efficient Model-Checking for Real-Time Task Networks. 11-18 - Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu:
A Formal Model for Component-Based Embedded Software Development. 19-23
Session 2: Embedded Architecture and Reconfigurable Systems
- Xianwei Gao, Jianxin Wang, Haiwen Ou, Xiuying Li:
RAM-Based Reconfigurable Implementation of the MD6 Hash Function. 27-31 - Lei Chen, Yunde Jia:
A Parallel Reconfigurable Architecture for Real-Time Stereo Vision. 32-39 - Guoqiang Wang, Marco Di Natale
, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli
Automatic Code Generation for Synchronous Reactive Communication. 40-47
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
A Survey of WCET Analysis of Real-Time Operating Systems. 65-72
Session 4: Formal Methods II
- Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten:
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. 75-82 - Alexandre Chapoutot
Abstract Simulation: A Static Analysis of Simulink Models. 83-92 - Mohamed Yassin Chkouri
Deterministic Data Flow Communication in AADL. 93-100
Session 5: Embedded Architectures
- Peixiang Yan, Xianju Yang, Minxuan Zhang:
A Global Replacement Based on Actual Set Association. 103-108 - Naifeng Jing, Zhigang Mao, Yongxin Zhu:
Statistical Estimation for Total Communication Load in Application-Specific Network-on-Chip. 109-114 - Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
In Pursuit of Real Answers. 115-122
Session 6: Embedded Systems
- Hui Li, Dong C. Liu:
An Embedded High Performance Ultrasonic Signal Processing Subsystem. 125-130 - Chengjiong Wei, Min Yao, Pan Lu, Qi Hu, Nenggan Zheng:
OSEK/VDX-Based Dynamic Network Management on Automotive Network. 131-137 - Rongshen Long, Hong Li, Wei Peng, Yi Zhang, Minde Zhao:
An Approach to Optimize Intra-ECU Communication Based on Mapping of AUTOSAR Runnable Entities. 138-143
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
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
- Ke Yu, Neil C. Audsley:
A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach. 193-200 - Yan Chen, Yann-Hang Lee, Xiaofeng Xu, W. Eric Wong, Donghui Guo:
A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-Time Embedded Systems. 201-208 - Sanjoy K. Baruah, Nathan Fisher
Component-Based Design in Multiprocessor Real-Time Systems. 209-214
Session 10: Embedded Multimedia Systems
- Jie Shen:
Privacy-Protection in Real-Time Video Communication. 217-220 - Marisol García-Valls, Alejandro Alonso
Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems. 221-230 - Andreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius
Memory Analysis of Low Power MPEG-4 Decoder Architecture. 231-237
Session 11: Software Tools and Design Environments
- Jingde Cheng:
Uncertainty Problem in Dynamic Slicing of Concurrent Programs. 241-248 - Liping Zhang, Minde Zhao, Chao Wang, Ruyi Wu, Hong Li, Dongdong Wang, Renfa Li:
A Bidirectional Generation Method of SmartC Models and Codes. 249-255 - Yao Guo
A Lightweight Dynamic Performance Monitoring Framework for Embedded Systems. 256-262
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
Performance Analysis of p-Persistent Aloha for Multi-hop Underwater Acoustic Sensor Networks. 305-311
Session 14: Distributed and Mobile Computing
- Nianen Chen, Yue Yu
Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded Computing. 315-322 - Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle:
The Web of Things: Interconnecting Devices with High Usability and Performance. 323-330 - Dexter H. Hu, Fan Dong, Cho-Li Wang:
A Semantic Context Management Framework on Mobile Device. 331-338
Session 15: Image and Graphics Processing
- Lei Fei, Wang Xueli, Dongsheng Chen:
Drowning Detection Based on Background Subtraction. 341-343 - Yu Ren, Fengming Zhang:
Hand Gesture Recognition Based on MEB-SVM. 344-349 - Wann-Yun Shieh
Speedup the Multi-camera Video-Surveillance System for Elder Falling Detection. 350-355
Session 16: Wireless Sensor Networks
- Miao Peng, Yang Xiao
Error Analysis of Scheduling Sleeping Nodes in Wireless Sensor Networks. 359-366 - Xiaofang Zhou, Yugui Qu, Yusheng Ji:
A Channel Aware Contention Based Forwarding Scheme in Wireless Sensor Network. 367-371 - Ruihua Zhang, Zhiping Jia, Heyou Cheng, Xin Li, Dong-xue Han:
The Improved Scheme of Prolong-Lifetime in Wireless Sensor Networks. 372-378
Session 17: Embedded Optimization and Verification
- Shih-Hao Hung
An Automatic Compiler Optimizations Selection Framework for Embedded Applications. 381-387 - Haihua Shen, Pengyu Wang, Yunji Chen
Designing an Effective Constraint Solver in Coverage Directed Test Generation. 388-395 - Lucas C. Cordeiro
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
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
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
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)
- Albert M. K. Cheng
Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis. 499-504 - Arshin Rezazadeh
An Enhanced Fault-Tolerant Routing Algorithm for Mesh Network-on-Chip. 505-510 - Mi Zhou, Lihong Shang, Yu Hu:
Reliability Optimization of Reconfigurable FPGA Based on Second-Order Approximation Domain-Partition. 511-516
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: