1. ICESS 2004: Hangzhou, China

Keynote Speeches and Invited Talks Abstracts (Partial)

• Bjarne Stroustrup:
  Abstraction and the C++ Machine Model. 1-13
  
• Alexander A. Stepanov:
  Keynote Speech: Industrializing Software Development. 14-14
  
• Laurence Tianruo Yang, Jon C. Muzio:
  Testing Methodologies for Embedded Systems and Systems-on-Chip. 15-24
  
• Qingfang Chen:
  China Putian Promote Commercial TD-SCDMA Services. 25-29
  
• Makoto Amamiya:
  Agent-Oriented Approach to Ubiquitous Computing. 30-37
  
• Walid Taha:
  Resource-Aware Programming. 38-43
  
• Naehyuck Chang:
  In-House Tools for Low-Power Embedded Systems. 44-58
  
• Lorenzo Verdoscia:
  CODACS Project: A Development Tool for Embedded System Prototyping. 59-64
  

Distributed Embedded Computing

• Young-Jun Seo, Hwa-Young Jeong, Young-Jae Song:
  A Study on Web Services Selection Method Based on the Negotiation Through Quality Broker: A MAUT-based Approach. 65-73
  
• Haili Wang, Jinian Bian, Yawen Niu, Kun Tong, Yunfeng Wang:
  CA-Ex: A Tuning-Incremental Methodology for Communication Architectures in Embedded Systems. 74-80
  
• Warnill Chung, Soon-Young Park, Hae-Young Bae:
  Efficient Parallel Spatial Join Processing Method in a Shared-Nothing Database Cluster System. 81-87
  
• Sam Jin Jeong:
  Maximizing Parallelism for Non-uniform Dependence Loops Using Two Parallel Region Partitioning Method. 88-93
  
• Guoqiang Zhong, Satoshi Amamiya, Kenichi Takahashi, Makoto Amamiya:
  The KODAMA Methodology: An Agent-Based Distributed Approach. 94-102
  

Embedded Systems

• Hongying Gu, Yueting Zhuang, Yunhe Pan, Bo Chen:
  A New Iris Recognition Approach for Embedded System. 103-109
  
• Xiao-Ming Dong, Jiguang Wan, Rui-fang Liu, Zhi-hu Tan:
  A RAID Controller: Software, Hardware and Embedded Platform Based on Intel IOP321. 110-117
  
• Weiqin Tong, Qinghui Luo, Zhijie Yin, Xiaoli Zhi, Yuwei Zong:
  Component-Based Integration Towards a Frequency-Regulating Home Appliance Control System. 118-123
  
• Kejin Bao, Huanchuen Zhang, Hao Shentu:
  Design and Implementation of the System for Remote Voltage Harmonic Monitor. 124-129
  
• Shanbin Li, Zhi Wang, Youxian Sun:
  Guaranteed Cost Control of Networked Control Systems: An LMI Approach. 130-136
  
• Dong Hwa Kim:
  Robust Tuning of Embedded Intelligent PID Controller for Induction Motor Using Bacterial Foraging Based Optimization. 137-142
  
• Kailong Zhang, Xingshe Zhou, Ke Liang, Jianjun Li:
  The Customizable Embedded System for Seriate Intelligent Sewing Equipment. 143-149
  

Embedded Hardware and Architecture

• Qiang Wu, Jinian Bian, Hongxi Xue:
  A Distributed Architecture Model for Heterogeneous Multiprocessor System-on-Chip Design. 150-157
  
• Ming-che Lai, Kui Dai, Li Shen, Zhiying Wang:
  A New Technique for Program Code Compression in Embedded Microprocessor. 158-164
  
• Xiaojun Yang, Lili Guo, Peiheng Zhang, Ninghui Sun:
  Design of System Area Network Interface Card Based on Intel IOP310. 165-171
  
• Caixia Sun, Minxuan Zhang:
  Dual-Stack Return Address Predictor. 172-179
  
• Qing Wang, Sicong Yue, Rongchun Zhao, David Dagan Feng:
  Electronic Reading Pen: A DSP Based Portable Device for Offline OCR and Bi-linguistic Translation. 180-187
  
• Jinyu Zhan, Nan Sang, Guangze Xiong:
  Formal Co-verification for SoC Design with Colored Petri Net. 188-195
  
• Luiza de Macedo Mourelle, Nadia Nedjah:
  Hardware for Modular Exponentiation Suitable for Smart Cards. 196-202
  
• Yun Zhu, Xi Li, Yuchang Gong, Zhi-Gang Wang:
  PN-based Formal Modeling and Verification for ASIP Architecture. 203-209
  
• Guanghui Liu, Fei Xia, Xuejun Yang, Haifang Zhou, Heng Zhao, Yu Deng:
  The Design and Performance Analysis of Embedded Parallel Multiprocessing System. 210-215
  
• Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang:
  Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning. 216-221
  

Middleware for Embedded Computing

• Tianzhou Chen, Yi Lian, Jiangwei Huang:
  A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database. 222-228
  
• Yuan Liao, Mingshu Li:
  A QoS-aware Component-Based Middleware for Pervasive Computing. 229-235
  
• Wenzhi Chen, Zhou Jiang, Zhaohui Wu:
  AnyCom: A Component Framework Optimization for Pervasive Computing. 236-242
  
• Ho-Sook Kim, Hwan-Seung Yong:
  Association Based Prefetching Algorithm in Mobile Environments. 243-250
  
• Hyun Chang Lee:
  Integration Policy in Real-Time Embedded System. 251-257
  
• Hwa-Young Jeong, Young-Jae Song:
  Prism-WM Based Connector Interaction for Middleware Systems. 258-265
  
• Zhaohui Wu, Qing Wu, Jie Sun, Zhigang Gao, Bin Wu, Mingde Zhao:
  ScudWare: A Context-Aware and Lightweight Middleware for Smart Vehicle Space. 266-273
  

Mobile Systems

• Yue Gao, Bin Zhang, Xichang Zhong, Liuying Qu:
  Application of Cooperating and Embedded Technology for Network Computer Media Player. 274-279
  
• Yun Li, Lei Luo:
  QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals. 280-286
  
• Cheng Jin, Jiajun Bu, Chun Chen, Mingli Song, Mingyu You:
  Semi-Videoconference System Using Real-Time Wireless Technologies. 287-293
  
• Huacheng Ke, Haixiang Zhang, Chun Chen:
  Smart Client Techniques for Online Game on Portable Device. 294-299
  
• Yintang Gu, Xichang Zhong:
  The Implementation of Mobile IP in Hopen System. 300-305
  

Transducer Network

• Xi-huang Zhang, Wen-bo Xu:
  A New CGI Queueing Model Designed in Embedded Web Server. 306-311
  
• Kangqu Zhou, Wenge Yu:
  A New Embedded Wireless Microcensor Network Based on Bluetooth Scatternet and PMCN. 312-317
  
• Li Xia, Xi Chen, Xiaohong Guan:
  A New Gradient-Based Routing Protocol in Wireless Sensor Networks. 318-325
  
• Xiaohua Luo, Kougen Zheng, Yunhe Pan, Zhaohui Wu:
  A Sensor Media Access Control Protocol Based on TDMA. 326-332
  
• Yongcai Wang, Dianfei Han, Qianchuan Zhao, Xiaohong Guan, Da-Zhong Zheng:
  Clusters Partition and Sensors Configuration for Target Tracking in Wireless Sensor Networks. 333-338
  
• Hongxia Yin, Zhi Wang, Youxian Sun:
  Enhanced WFQ Algorithm with (m, k)-Firm Guarantee. 339-346
  
• Mahdi Jalili-Kharaajoo, Mohammadreza Sadri, Farzad Habibipour Roudsari:
  Fuzzy and Real-Time Queue Management in Differentiated Services Networks. 347-354
  
• Zhigang Li, Xingshe Zhou, ShiNing Li, Gang Liu, Kejun Du:
  Issues of Wireless Sensor Network Management. 355-361
  
• Zhiping Jia, Xin Li:
  OPC-based Architecture of Embedded Web Server. 362-367
  
• Yanfei Qiu, Fangmin Li, Ligong Xue:
  Synchronized Data Gathering in Real-Time Embedded Fiber Sensor Network. 368-373
  
• Yanjun Zhang, Xiaoyun Teng, Hongyi Yu, Hanying Hu:
  The Energy Cost Model of Clustering Wireless Sensor Network Architecture. 374-380
  
• Dae-Young Lee, Sang-Hyun Bae:
  Traffic Control Scheme of VCNs' Gigabit Ethernet Using BP. 381-387
  

Embedded Operating System

• Christo Angelov, Jesper Berthing:
  A Jitter-Free Kernel for Hard Real-Time Systems. 388-394
  
• Gang Wu, ZhiQiang Tang, Shi-liang Tu:
  A New Approach to Deadlock Avoidance in Embedded System. 395-399
  
• Xueping Ren, Jian Wan, GuangHuan Hu:
  A Novel Task Scheduling for Heterogeneous Systems. 400-405
  
• Bo Ma, Yi Zhang, Xingguo Shi:
  Applying Component-Based Meta-service in Liquid Operating System for Pervasive Computing. 406-411
  
• Hai-Yan Li, Xin-ming Li:
  Embedded Operating System Design: The Resolved and Intelligent Daemon Approach. 412-417
  
• Yingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen:
  New Approach for Device Driver Development - Devil+ Language. 418-422
  
• Qiming Teng, Xiangqun Chen, Xia Zhao:
  On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components. 423-429
  
• Xiangqun Chen, Xia Zhao, Qiming Teng:
  Research Directions for Embedded Operating Systems. 430-436
  
• Mingde Zhao, Zhaohui Wu, Guoqing Yang, Lei Wang, Wei Chen:
  SmartOSEK: A Real-Time Operating System for Automotive Electronics. 437-442
  

Power-Aware Computing

• Jia Chen, Shengyuan Wang, Yuan Dong, Gui-lan Dai, Yang Yang:
  A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors. 443-448
  
• Min Li, Xiaobo Wu, Menglian Zhao, Ping Li, Xiaolang Yan:
  Robust and Adaptive Dynamic Power Management for Time Varying System. 449-455
  
• Shuo Kang, Huayong Wang, Yu Chen, Xiaoge Wang, Yiqi Dai:
  Skyeye: An Instruction Simulator with Energy Awareness. 456-461
  
• Jiangwei Huang, Tianzhou Chen, Minjiao Ye, Yi Lian:
  The Modeling for Dynamic Power Management of Embedded Systems. 462-467
  
• Qi Wu, Guangze Xiong:
  Why Simple Timeout Strategies Work Perfectly in Practice? 468-473
  

Real-Time System

• Hongzhou Chen, Guochang Gu, Yizun Guo:
  An Adaptive Fault Tolerance Scheme for Applications on Real-Time Embedded System. 474-480
  
• Yuqiang Xian, Ning Zhang, Guangze Xiong:
  Concurrent Garbage Collection Implementation in a Standard JVM for Real-Time Purposes. 481-487
  
• Oleg Kiselyov, Walid Taha:
  Relating FFTW and Split-Radix. 488-493
  
• Qingxu Deng, Mingsong Lv, Ge Yu:
  Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems. 494-501
  
• Ravi Shah, Yann-Hang Lee, Daeyoung Kim:
  Sharing I/O in Strongly Partitioned Real-Time Systems. 502-507
  
• You-wei Yuan, La-mei Yan, Qing-ping Guo:
  The Efficient QoS Control in Distributed Real-Time Embedded Systems. 508-513
  

Embedded System Verification and Testing

• Jianfeng An, Xiaoya Fan, Shengbing Zhang, Danghui Wang:
  An Efficient Verification Method for Microprocessors Based on the Virtual Machine. 514-521
  
• SongXia Hao, XiChang Zhong, Yun Wang:
  EFSM-based Testing Strategy for APIs Test of Embedded OS. 522-527
  
• Haihua Shen, Yunji Chen, Jing Huang:
  EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores. 528-535
  
• Lu Yan:
  Formal Verification of a Ubiquitous Hardware Component. 536-541
  
• Ming Zhu, Jinian Bian, Weimin Wu:
  Model Optimization Techniques in a Verification Platform for Classified Properties. 542-548
  
• Youhui Zhang, Dongsheng Wang, Jinglei Wang, Weimin Zheng:
  Using Model-Based Test Program Generator for Simulation Validation. 549-556
  

Software Tools for Embedded Systems

• Guowei Wu, Lin Yao:
  A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model. 557-562
  
• Wenzhi Chen, Cheng Xie, Jiaoying Shi:
  A Component-Based Model Integrated Framework for Embedded Software. 563-569
  
• Zhang-long Chen, Wei Liu, Shi-liang Tu, Wei Du:
  A Cooperative Web Framework of Jini into OSGi-based Open Home Gateway. 570-575
  
• Jiamei Cai, Tieming Chen, Liying Zhu:
  A Structure Modeling Method for Multi-task Embedded Software Design. 576-581
  
• Huifeng Wu, Jing Ying, Xian Chen, Minghui Wu, Changyun Li:
  Chaos-Model Based Framework for Embedded Software Development. 582-588
  
• Cheng Xie, Wenzhi Chen, Jiaoying Shi, Lü Ye:
  Hierarchical Integration of Runtime Models. 589-594
  
• Boguslaw Cyganek:
  Object-Oriented Software Loading and Upgrading Techniques for Embedded and Distributed System. 595-600
  
• Bo Jiang, Jiajun Bu, Chun Chen:
  Preserving Consistency in Distributed Embedded Collaborative Editing Systems. 601-606
  

Last update Fri May 25 08:18:50 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page