2. ICESS 2005: Xi'an, China

Keynote Speech

• Lionel M. Ni:
  Are Lessons Learnt in Mobile Ad Hoc Networks Useful for Wireless Sensor Networks? 1
  
• Jingling Xue:
  Compiler-Directed Scratchpad Memory Management. 2
  
• Xu Cheng:
  Heterogeneous Multi-processor SoC: An Emerging Paradigm of Embedded System Design and Its Challenges. 3
  

Track 1: Embedded Hardware

• YuXing Tang, Kun Deng, HongJia Cao, Xingming Zhou:
  Trace-Based Runtime Instruction Rescheduling for Architecture Extension. 4-15
  
• Yue Li, Tao Li:
  Bioinformatics on Embedded Systems: A Case Study of Computational Biology Applications on VLIW Architecture. 16-29
  
• YuXing Tang, Kun Deng, Xingming Zhou:
  The Design Space of CMP vs. SMT for High Performance Embedded Processor. 30-38
  
• Cheong-Ghil Kim, Dae-Young Jeong, Byung-Gil Kim, Shin-Dug Kim:
  Reconfigurable Microarchitecture Based System-Level Dynamic Power Management SoC Platform. 39-49
  

Track 2: Embedded Software

• Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima:
  A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. 50-62
  
• Kevin Marquet, Alexandre Courbot, Gilles Grimaud:
  Ahead of Time Deployment in ROM of a Java-OS. 63-70
  
• Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung:
  The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card. 71-84
  
• Shoumeng Yan, Xingshe Zhou, Fan Zhang, Yaping Wang:
  A Packet Property-Based Task Scheduling Policy for Control Plane OS in NP-Based Applications. 85-95
  
• Huaifeng Qin, Xingshe Zhou:
  RBLS: A Role Based Context Storage Scheme for Sensornet. 96-106
  
• Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei Huang:
  CDP: Component Development Platform for Communication Protocols. 107-116
  
• Xianghui Hu, Bei Hua, Xinan Tang:
  TrieC: A High-Speed IPv6 Lookup with Fast Updates Using Network Processor. 117-128
  
• Jia Zeng, Stephen A. Edwards:
  Separate Compilation for Synchronous Modules. 129-140
  
• Young-choong Park, Seung-ok Lim, Kwang-sun Choi, KwangMo Jung, Dongil Shin:
  Implementation of Hardware and Embedded Software for Stream Gateway Interface Supporting Media Stream Transmissions with Heterogeneous Home Networks. 141-149
  

Track 3: Real-Time Systems

• Antonio Martí Campoy, Eugenio Tamura, S. Sáez, Francisco Rodríguez, José V. Busquets-Mataix:
  On Using Locking Caches in Embedded Real-Time Systems. 150-159
  
• Mengluo Ji, Xin Wang, Zhichang Qi:
  Trace Acquirement from Real-Time Systems Based on WCET Analysis. 160-171
  
• Masaki Hasegawa, Subhash Bhalla, Laurence Tianruo Yang:
  Elimination of Non-deterministic Delays in a Real-Time Database System. 172-185
  
• Zonghua Gu:
  Solving Real-Time Scheduling Problems with Model-Checking. 186-197
  
• Sabato Marco Siniscalchi, Fulvio Gennaro, Salvatore Vitabile, Antonio Gentile, Filippo Sorbello:
  Efficient FPGA Implementation of a Knowledge-Based Automatic Speech Classifier. 198-209
  

Track 4: Power-Aware Computing

• Zhendong Wu, Shanping Li, Jian Xu:
  A Topology Control Method for Multi-path Wireless Sensor Networks. 210-219
  
• Ning Hu, Deyun Zhang, Fubao Wang:
  Dynamic Threshold Scheme Used in Directed Diffusion. 220-229
  
• Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang:
  Compiler-Directed Energy-Aware Prefetching Optimization for Embedded Applications. 230-243
  
• Wenguang Chen, Feiyun Jiang, Weimin Zheng, Peinan Zhang:
  A Dynamic Energy Conservation Scheme for Clusters in Computing Centers. 244-255
  

Track 5: Hardware/Software Co-design and System-On-Chip

• Huy Nam Nguyen, Vu-Duc Ngo, Hae-Wook Choi:
  Realization of Video Object Plane Decoder on On-Chip Network Architecture. 256-264
  
• Yuanli Jing, Xiaoya Fan, Deyuan Gao, Jian Hu:
  Network on Chip for Parallel DSP Architectures. 265-274
  
• Yunfeng Wang, Jinian Bian, Xianlong Hong, Liu Yang, Qiang Zhou, Qiang Wu:
  A New Methodology of Integrating High Level Synthesis and Floorplan for SoC Design. 275-286
  
• Vu-Duc Ngo, Huy Nam Nguyen, Hae-Wook Choi:
  Designing On-Chip Network Based on Optimal Latency Criteria. 287-298
  

Track 6: Testing and Verification

• Danghui Wang, Xiaoya Fan, Deyuan Gao, Shengbing Zhang, Jianfeng An:
  Microprocessor Based Self Schedule and Parallel BIST for System-On-a-Chip. 299-309
  
• Iouliia Skliarova:
  Self-correction of FPGA-Based Control Units. 310-319
  
• Yimin Xia, Jun Luo, Minxuan Zhang:
  Detecting Memory Access Errors with Flow-Sensitive Conditional Range Analysis. 320-331
  
• Satoshi Yamane:
  Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems. 332-345
  
• Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane:
  Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. 346-360
  
• Sachoun Park, Gihwon Kwon, Soonhoi Ha:
  Formalization of fFSM Model and Its Verification. 361-372
  

Track 7: Reconfigurable Computing

• Lingling Jin, Wei Wu, Jun Yang, Chuanjun Zhang, Youtao Zhang:
  Dynamic Co-allocation of Level One Caches. 373-385
  
• Youngsun Han, Seon Kim, Chulwoo Kim:
  Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing. 386-397
  
• Chun-Shin Lin, Hyongsuk Kim:
  CCD Camera-Based Range Sensing with FPGA for Real-Time Processing. 398-407
  

Track 8: Agent and Distributed Computing

• Young-Jun Seo, Hwa-Young Jeong, Young-Jae Song:
  Best Web Service Selection Based on the Decision Making Between QoS Criteria of Service. 408-419
  
• Ji Yeon Lee, Yong Hun Lim, Yon Dohn Chung, Myoung-Ho Kim:
  Data Storage in Sensor Networks for Multi-dimensional Range Queries. 420-429
  
• Guoqing Yang, Minde Zhao, Lei Wang, Zhaohui Wu:
  An OSEK COM Compliant Communication Model for Smart Vehicle Environment. 430-440
  

Track 9: Wireless Communications

• Sung Won Kim, Byung-Seo Kim:
  Resource Allocation Based on Traffic Load over Relayed Wireless Access Networks. 441-451
  
• Jinbo Qiu, Guangxi Zhu, Tao Jiang:
  An Adaptive Cross Layer Unequal Protection Method for Video Transmission over Wireless Communication Channels. 452-461
  
• Sung Won Kim, Byung-Seo Kim:
  Power-Efficient Packet Scheduling Method for IEEE 802.15.3 WPAN. 462-472
  
• Bibo Wang, Yu Chen, Hongliang Gu, Jian Yang, Tan Zhao:
  Two Energy-Efficient, Timesaving Improvement Mechanisms of Network Reprogramming in Wireless Sensor Network. 473-483
  
• Jie Jiang, Chong Liu, Guofu Wu, Wenhua Dou:
  On Location-Free Node Scheduling Scheme for Random Wireless Sensor Networks. 484-493
  
• Chunlei Liu:
  Leading Causes of TCP Performance Degradation over Wireless Links. 494-505
  
• Yi'an Zhu:
  The Study and Implementation of Wireless Network Router NPU-1. 506-511
  

Track 10: Mobile Computing

• Qing Gao, Shanping Li, Jianliang Xu:
  Performance Evaluation of Air Indexing Schemes for Multi-attribute Data Broadcast. 512-521
  
• Keecheon Kim, Dongkeun Lee, Jae Hyeong Ahn, Hyeong Ho Lee:
  Hierarchical Route Optimization in Mobile Network and Performance Evaluation. 522-532
  

Track 11: Pervasive/Ubiquitous Computing and Intelligence

• Xiaoling Wu, Shu Lei, Jie Yang, Xu Hui, Jinsung Cho, Sungyoung Lee:
  Swarm Based Sensor Deployment Optimization in Ad Hoc Sensor Networks. 533-541
  
• Joongheon Kim, Wonjun Lee, Jaewon Jung, Jihoon Choi, Eunkyo Kim, Joonmo Kim:
  Weighted Localized Clustering: A Coverage-Aware Reader Collision Arbitration Protocol in RFID Networks. 542-553
  
• Degan Zhang, Guangping Zeng, Xiaojuan Ban, Yixin Yin:
  A Kind of Context-Aware Approach Based on Fuzzy-Neural for Proactive Service of Pervasive Computing. 554-563
  

Track 12: Multimedia and Human-Computer Interaction

• Tiejun Li, Sikun Li:
  A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism. 564-575
  
• Jiajun Bu, Yuanliang Duan, Chun Chen, Zhi Yang:
  Software-Based Video Codec for Mobile Devices. 576-585
  
• Weili Liu, Cheng Jin, Jiajun Bu, Chun Chen:
  Real-Time Expression Mapping with Ratio Image. 586-595
  
• Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang:
  Power Consumption Analysis of Embedded Multimedia Application. 596-607
  

Track 13: Network Protocol, Security and Fault-Tolerance

• ShiNing Li, JiPing Fang, Zheng Qin, Xingshe Zhou:
  A Dynamic Threshold and Subsection Control TCP Slow-Start Algorithm. 608-617
  
• Fan Zhang, Shoumeng Yan, Xingshe Zhou, Yaping Wang:
  An Improved DRR Packet Scheduling Algorithm Based on Even Service Sequence. 618-628
  
• Ya-Fen Chang, Chin-Chen Chang:
  An Improvement on Strong-Password Authentication Protocols. 629-637
  
• Kyungsan Cho, Soo-Young Lee, JongEun Kim:
  Two-Step Hierarchical Protocols for Establishing Session Keys in Wireless Sensor Networks. 638-649
  
• Meng Ji, Shao-hua Yu:
  A Revenue-Aware Bandwidth Allocation Model and Algorithm in IP Networks. 650-658
  
• Francisco Rodríguez, Juan José Serrano:
  Control Flow Error Checking with ISIS. 659-670
  
• Alimujiang Yiming, Toshio Eisaka:
  Support Industrial Hard Real-Time Traffic with Switched Ethernet. 671-682
  
• Laurence Tianruo Yang, Li Xu, Man Lin:
  Integer Factorization by a Parallel GNFS Algorithm for Public Key Cryptosystems. 683-695
  
• Hui Xu, Manwoo Jeon, Lei Shu, Xiaoling Wu, Jinsung Cho, Sungyoung Lee:
  Localized Energy-Aware Broadcast Protocol for Wireless Networks with Directional Antennas. 696-707
  

Track 14: Workshop Selected Papers

• Huizhan Yi, Xuejun Yang, Juan Chen:
  The Optimal Profile-Guided Greedy Dynamic Voltage Scaling in Real-Time Applications. 708-719
  
• Ting Ding, Naiqi Liu:
  A Parallelizing Compiler Approach Based on IXA. 720-725
  
• Zhang Ke, Liu Naiqi, Chen Yan:
  The Design of Firewall Based on Intel IXP2350 and Autopartitioning Mode C. 726-731
  
• Jahwan Koo, Seong-Jin Ahn:
  AMT6: End-to-End Active Measurement Tool for IPv6 Network. 732-740
  
• Dae-Keun Si, Yang-Seung Jeon, Jong-Ok Choi, Young-Sik Jeong, Sung-Kook Han:
  Semantic Web Based Knowledge Searching System in Mobile Environment. 741-746
  
• Fang Wang, Song Lv, Dan Feng, Shunda Zhang:
  A General-Purpose, Intelligent RAID-Based Object Storage Device. 747-756
  
• Qiang Cao, Tian-jie Guo, Changsheng Xie:
  The Design and Implement of Remote Mirroring Based on iSCSI. 757-765
  
• Yeonseung Ryu, Kangsun Lee:
  Improvement of Space Utilization in NAND Flash Memory Storages. 766-775
  

Keynote Speech

• Jianhua Ma:
  Smart u-Things and Ubiquitous Intelligence. 776