Embedded Software and Systems: Second International Conference, Icess 2005, Xi'an, China, December 16-18, 2005, Proceedings (Paperback, 2005)

Keynote Speech.- Are Lessons Learnt in Mobile Ad Hoc Networks Useful for Wireless Sensor Networks?.- Compiler-Directed Scratchpad Memory Management.- Heterogeneous Multi-processor SoC: An Emerging Paradigm of Embedded System Design and Its Challenges.- Track 1: Embedded Hardware.- Trace-Based Runtime Instruction Rescheduling for Architecture Extension.- Bioinformatics on Embedded Systems: A Case Study of Computational Biology Applications on VLIW Architecture.- The Design Space of CMP vs. SMT for High Performance Embedded Processor.- Reconfigurable Microarchitecture Based System-Level Dynamic Power Management SoC Platform.- Track 2: Embedded Software.- A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.- Ahead of Time Deployment in ROM of a Java-OS.- The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card.- A Packet Property-Based Task Scheduling Policy for Control Plane OS in NP-Based Applications.- RBLS: A Role Based Context Storage Scheme for Sensornet.- CDP: Component Development Platform for Communication Protocols.- TrieC: A High-Speed IPv6 Lookup with Fast Updates Using Network Processor.- Separate Compilation for Synchronous Modules.- Implementation of Hardware and Embedded Software for Stream Gateway Interface Supporting Media Stream Transmissions with Heterogeneous Home Networks.- Track 3: Real-Time Systems.- On Using Locking Caches in Embedded Real-Time Systems.- Trace Acquirement from Real-Time Systems Based on WCET Analysis.- Elimination of Non-deterministic Delays in a Real-Time Database System.- Solving Real-Time Scheduling Problems with Model-Checking.- Efficient FPGA Implementation of a Knowledge-Based Automatic Speech Classifier.- Track 4: Power-Aware Computing.- A Topology Control Method for Multi-path Wireless Sensor Networks.- Dynamic Threshold Scheme Used in Directed Diffusion.- Compiler-Directed Energy-Aware Prefetching Optimization for Embedded Applications.- A Dynamic Energy Conservation Scheme for Clusters in Computing Centers.- Track 5: Hardware/Software Co-design and System-On-Chip.- Realization of Video Object Plane Decoder on On-Chip Network Architecture.- Network on Chip for Parallel DSP Architectures.- A New Methodology of Integrating High Level Synthesis and Floorplan for SoC Design.- Designing On-Chip Network Based on Optimal Latency Criteria.- Track 6: Testing and Verification.- Microprocessor Based Self Schedule and Parallel BIST for System-On-a-Chip.- Self-correction of FPGA-Based Control Units.- Detecting Memory Access Errors with Flow-Sensitive Conditional Range Analysis.- Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems.- Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata.- Formalization of fFSM Model and Its Verification.- Track 7: Reconfigurable Computing.- Dynamic Co-allocation of Level One Caches.- Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing.- CCD Camera-Based Range Sensing with FPGA for Real-Time Processing.- Track 8: Agent and Distributed Computing.- Best Web Service Selection Based on the Decision Making Between QoS Criteria of Service.- Data Storage in Sensor Networks for Multi-dimensional Range Queries.- An OSEK COM Compliant Communication Model for Smart Vehicle Environment.- Track 9: Wireless Communications.- Resource Allocation Based on Traffic Load over Relayed Wireless Access Networks.- An Adaptive Cross Layer Unequal Protection Method for Video Transmission over Wireless Communication Channels.- Power-Efficient Packet Scheduling Method for IEEE 802.15.3 WPAN.- Two Energy-Efficient, Timesaving Improvement Mechanisms of Network Reprogramming in Wireless Sensor Network.- On Location-Free Node Scheduling Scheme for Random Wireless Sensor Networks.- Leading Causes of TCP Performance Degradation over Wireless Links.- The Study and Implementation of Wireless Network