Embedded Software and Systems

Co-verification for SoC Design with Colored Petri Net.- Hardware for Modular Exponentiation Suitable for Smart Cards.- PN-based Formal Modeling and Verification for ASIP Architecture.- The Design and Performance Analysis of Embedded Parallel Multiprocessing System.- Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning.- Track 4 Middleware for Embedded Computing.- A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database.- A QoS-aware Component-Based Middleware for Pervasive Computing.- AnyCom: A Component Framework Optimization for Pervasive Computing.- Association Based Prefetching Algorithm in Mobile Environments.- Integration Policy in Real-Time Embedded System.- Prism-WM Based Connector Interaction for Middleware Systems.- ScudWare: A Context-Aware and Lightweight Middleware for Smart Vehicle Space.- Track 5 Mobile Systems.- Application of Cooperating and Embedded Technology for Network Computer Media Player.- QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals.- Semi-Videoconference System Using Real-Time Wireless Technologies.- Smart Client Techniques for Online Game on Portable Device.- The Implementation of Mobile IP in Hopen System.- Track 6 Transducer Network.- A New CGI Queueing Model Designed in Embedded Web Server.- A New Embedded Wireless Microcensor Network Based on Bluetooth Scatternet and PMCN.- A New Gradient-Based Routing Protocol in Wireless Sensor Networks.- A Sensor Media Access Control Protocol Based on TDMA.- Clusters Partition and Sensors Configuration for Target Tracking in Wireless Sensor Networks.- Enhanced WFQ Algorithm with (m,k)-Firm Guarantee.- Fuzzy and Real-Time Queue Management in Differentiated Services Networks.- Issues of Wireless Sensor Network Management.- OPC-based Architecture of Embedded Web Server.- Synchronized Data Gathering in Real-Time Embedded Fiber Sensor Network.- The Energy Cost Model of Clustering Wireless Sensor Network Architecture.- Traffic Control Scheme of VCNs' Gigabit Ethernet Using BP.- Track 7 Embedded Operating System.- A Jitter-Free Kernel for Hard Real-Time Systems.- A New Approach to Deadlock Avoidance in Embedded System.- A Novel Task Scheduling for Heterogeneous Systems.- Applying Component-Based Meta-service in Liquid Operating System for Pervasive Computing.- Embedded Operating System Design: The Resolved and Intelligent Daemon Approach.- New Approach for Device Driver Development - Devil+ Language.- On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components.- Research Directions for Embedded Operating Systems.- SmartOSEK: A Real-Time Operating System for Automotive Electronics.- Track 8 Power-Aware Computing.- A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors.- Robust and Adaptive Dynamic Power Management for Time Varying System.- Skyeye: An Instruction Simulator with Energy Awareness.- The Modeling for Dynamic Power Management of Embedded Systems.- Why Simple Timeout Strategies Work Perfectly in Practice?.- Track 9 Real-Time System.- An Adaptive Fault Tolerance Scheme for Applications on Real-Time Embedded System.- Concurrent Garbage Collection Implementation in a Standard JVM for Real-Time Purposes.- Relating FFTW and Split-Radix.- Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems.- Sharing I/O in Strongly Partitioned Real-Time Systems.- The Efficient QoS Control in Distributed Real-Time Embedded Systems.- Track 10 Embedded System Verification and Testing.- An Efficient Verification Method for Microprocessors Based on the Virtual Machine.- EFSM-based Testing Strategy for APIs Test of Embedded OS.- EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores.- Formal Verification of a Ubiquitous Hardware Component.- Model Optimization Techniques in a Verification Platform for Classified Properties.- Using Model-Based Test Program Generator for Simulation Validation.- Track 11 Software Tools for Embedded Systems.- A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model.- A Component-Based Model Integrated Framework for Embedded Software.- A Cooperative Web Framework of Jini into OSGi-based Open Home Gateway.- A Structure Modeling Method for Multi-task Embedded Software Design.- Chaos-Model Based Framework for Embedded Software Development.- Hierarchical Integration of Runtime Models.- Object-Oriented Software Loading and Upgrading Techniques for Embedded and Distributed System.- Preserving Consistency in Distributed Embedded Collaborative Editing Systems.