Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, China, December 16-18, 2005. With the advent of VLSI system level integration and system-on-chip, the center of gravity of the computer industry is now moving from personal c- puting into embedded computing. Embedded software and systems are incre- ingly becoming a key technological component of all kinds of complex technical systems, ranging from vehicles, telephones, aircraft, toys, security systems, to medical diagnostics, weapons, pacemakers, climate control systems, etc. The ICESS 2005 conference provided a premier international forum for - searchers, developers and providers from academia and industry to address all resulting profound challenges; to present and discuss their new ideas, - search results, applications and experience; to improve international com- nication and cooperation; and to promote embedded software and system - dustrialization and wide applications on all aspects of embedded software and systems.
Author(s): Lionel Ni (auth.), Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin (eds.)
Series: Lecture Notes in Computer Science 3820 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 784
Tags: Computer Communication Networks; Software Engineering; Operating Systems; Special Purpose and Application-Based Systems; Processor Architectures; System Performance and Evaluation
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 -
