Embedded Software and Systems: Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

Front Matter....Pages -
Are Lessons Learnt in Mobile Ad Hoc Networks Useful for Wireless Sensor Networks?....Pages 1-1
Compiler-Directed Scratchpad Memory Management....Pages 2-2
Heterogeneous Multi-processor SoC: An Emerging Paradigm of Embedded System Design and Its Challenges....Pages 3-3
Trace-Based Runtime Instruction Rescheduling for Architecture Extension....Pages 4-15
Bioinformatics on Embedded Systems: A Case Study of Computational Biology Applications on VLIW Architecture....Pages 16-29
The Design Space of CMP vs. SMT for High Performance Embedded Processor....Pages 30-38
Reconfigurable Microarchitecture Based System-Level Dynamic Power Management SoC Platform....Pages 39-49
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC....Pages 50-62
Ahead of Time Deployment in ROM of a Java-OS....Pages 63-70
The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card....Pages 71-84
A Packet Property-Based Task Scheduling Policy for Control Plane OS in NP-Based Applications....Pages 85-95
RBLS: A Role Based Context Storage Scheme for Sensornet....Pages 96-106
CDP: Component Development Platform for Communication Protocols....Pages 107-116
TrieC: A High-Speed IPv6 Lookup with Fast Updates Using Network Processor....Pages 117-128
Separate Compilation for Synchronous Modules....Pages 129-140
Implementation of Hardware and Embedded Software for Stream Gateway Interface Supporting Media Stream Transmissions with Heterogeneous Home Networks....Pages 141-149
On Using Locking Caches in Embedded Real-Time Systems....Pages 150-159
Trace Acquirement from Real-Time Systems Based on WCET Analysis....Pages 160-171
Elimination of Non-deterministic Delays in a Real-Time Database System....Pages 172-185
Solving Real-Time Scheduling Problems with Model-Checking....Pages 186-197
Efficient FPGA Implementation of a Knowledge-Based Automatic Speech Classifier....Pages 198-209
A Topology Control Method for Multi-path Wireless Sensor Networks....Pages 210-219
Dynamic Threshold Scheme Used in Directed Diffusion....Pages 220-229
Compiler-Directed Energy-Aware Prefetching Optimization for Embedded Applications....Pages 230-243
A Dynamic Energy Conservation Scheme for Clusters in Computing Centers....Pages 244-255
Realization of Video Object Plane Decoder on On-Chip Network Architecture....Pages 256-264
Network on Chip for Parallel DSP Architectures....Pages 265-274
A New Methodology of Integrating High Level Synthesis and Floorplan for SoC Design....Pages 275-286
Designing On-Chip Network Based on Optimal Latency Criteria....Pages 287-298
Microprocessor Based Self Schedule and Parallel BIST for System-On-a-Chip....Pages 299-309
Self-correction of FPGA-Based Control Units....Pages 310-319
Detecting Memory Access Errors with Flow-Sensitive Conditional Range Analysis....Pages 320-331
Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems....Pages 332-345
Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata....Pages 346-360
Formalization of f FSM Model and Its Verification....Pages 361-372
Dynamic Co-allocation of Level One Caches....Pages 373-385
Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing....Pages 386-397
CCD Camera-Based Range Sensing with FPGA for Real-Time Processing....Pages 398-407
Best Web Service Selection Based on the Decision Making Between QoS Criteria of Service....Pages 408-419
Data Storage in Sensor Networks for Multi-dimensional Range Queries....Pages 420-429
An OSEK COM Compliant Communication Model for Smart Vehicle Environment....Pages 430-440
Resource Allocation Based on Traffic Load over Relayed Wireless Access Networks....Pages 441-451
An Adaptive Cross Layer Unequal Protection Method for Video Transmission over Wireless Communication Channels....Pages 452-461
Power-Efficient Packet Scheduling Method for IEEE 802.15.3 WPAN....Pages 462-472
Two Energy-Efficient, Timesaving Improvement Mechanisms of Network Reprogramming in Wireless Sensor Network....Pages 473-483
On Location-Free Node Scheduling Scheme for Random Wireless Sensor Networks....Pages 484-493
Leading Causes of TCP Performance Degradation over Wireless Links....Pages 494-505
The Study and Implementation of Wireless Network Router NPU-1....Pages 506-511
Performance Evaluation of Air Indexing Schemes for Multi-attribute Data Broadcast....Pages 512-521
Hierarchical Route Optimization in Mobile Network and Performance Evaluation....Pages 522-532
Swarm Based Sensor Deployment Optimization in Ad Hoc Sensor Networks....Pages 533-541
Weighted Localized Clustering: A Coverage-Aware Reader Collision Arbitration Protocol in RFID Networks....Pages 542-553
A Kind of Context-Aware Approach Based on Fuzzy-Neural for Proactive Service of Pervasive Computing....Pages 554-563
A Novel Block-Based Motion Estimation Algorithm and VLSI Architecture Based on Cluster Parallelism....Pages 564-575
Software-Based Video Codec for Mobile Devices....Pages 576-585
Real-Time Expression Mapping with Ratio Image....Pages 586-595
Power Consumption Analysis of Embedded Multimedia Application....Pages 596-607
A Dynamic Threshold and Subsection Control TCP Slow-Start Algorithm....Pages 608-617
An Improved DRR Packet Scheduling Algorithm Based on Even Service Sequence....Pages 618-628
An Improvement on Strong-Password Authentication Protocols....Pages 629-637
Two-Step Hierarchical Protocols for Establishing Session Keys in Wireless Sensor Networks....Pages 638-649
A Revenue-Aware Bandwidth Allocation Model and Algorithm in IP Networks....Pages 650-658
Control Flow Error Checking with ISIS....Pages 659-670
Support Industrial Hard Real-Time Traffic with Switched Ethernet....Pages 671-682
Integer Factorization by a Parallel GNFS Algorithm for Public Key Cryptosystems....Pages 683-695
Localized Energy-Aware Broadcast Protocol for Wireless Networks with Directional Antennas....Pages 696-707
The Optimal Profile-Guided Greedy Dynamic Voltage Scaling in Real-Time Applications....Pages 708-719
A Parallelizing Compiler Approach Based on IXA....Pages 720-725
The Design of Firewall Based on Intel IXP2350 and Autopartitioning Mode C....Pages 726-731
AMT6: End-to-End Active Measurement Tool for IPv6 Network....Pages 732-740
Semantic Web Based Knowledge Searching System in Mobile Environment....Pages 741-746
A General-Purpose, Intelligent RAID-Based Object Storage Device....Pages 747-756
The Design and Implement of Remote Mirroring Based on iSCSI....Pages 757-765
Improvement of Space Utilization in NAND Flash Memory Storages....Pages 766-775
Smart u-Things and Ubiquitous Intelligence....Pages 776-776
Back Matter....Pages -