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 updated on Sat May 18 05:03:31 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page