Embedded Software and Systems: First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

Front Matter....Pages -
Abstraction and the C++ Machine Model....Pages 1-13
Keynote Speech: Industrializing Software Development....Pages 14-14
Testing Methodologies for Embedded Systems and Systems-on-Chip....Pages 15-24
China Putian Promote Commercial TD-SCDMA Services....Pages 25-29
Agent-Oriented Approach to Ubiquitous Computing....Pages 30-37
Resource-Aware Programming....Pages 38-43
In-House Tools for Low-Power Embedded Systems....Pages 44-58
CODACS Project: A Development Tool for Embedded System Prototyping....Pages 59-64
A Study on Web Services Selection Method Based on the Negotiation Through Quality Broker: A MAUT-based Approach....Pages 65-73
CA-Ex: A Tuning-Incremental Methodology for Communication Architectures in Embedded Systems....Pages 74-80
Efficient Parallel Spatial Join Processing Method in a Shared-Nothing Database Cluster System....Pages 81-87
Maximizing Parallelism for Non-uniform Dependence Loops Using Two Parallel Region Partitioning Method....Pages 88-93
The KODAMA Methodology: An Agent-Based Distributed Approach....Pages 94-102
A New Iris Recognition Approach for Embedded System....Pages 103-109
A RAID Controller: Software, Hardware and Embedded Platform Based on Intel IOP321....Pages 110-117
Component-Based Integration Towards a Frequency-Regulating Home Appliance Control System....Pages 118-123
Design and Implementation of the System for Remote Voltage Harmonic Monitor....Pages 124-129
Guaranteed Cost Control of Networked Control Systems: An LMI Approach....Pages 130-136
Robust Tuning of Embedded Intelligent PID Controller for Induction Motor Using Bacterial Foraging Based Optimization....Pages 137-142
The Customizable Embedded System for Seriate Intelligent Sewing Equipment....Pages 143-149
A Distributed Architecture Model for Heterogeneous Multiprocessor System-on-Chip Design....Pages 150-157
A New Technique for Program Code Compression in Embedded Microprocessor....Pages 158-164
Design of System Area Network Interface Card Based on Intel IOP310....Pages 165-171
Dual-Stack Return Address Predictor....Pages 172-179
Electronic Reading Pen: A DSP Based Portable Device for Offline OCR and Bi-linguistic Translation....Pages 180-187
Formal Co-verification for SoC Design with Colored Petri Net....Pages 188-195
Hardware for Modular Exponentiation Suitable for Smart Cards....Pages 196-202
PN-based Formal Modeling and Verification for ASIP Architecture....Pages 203-209
The Design and Performance Analysis of Embedded Parallel Multiprocessing System....Pages 210-215
Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning....Pages 216-221
A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database....Pages 222-228
A QoS-aware Component-Based Middleware for Pervasive Computing....Pages 229-235
AnyCom: A Component Framework Optimization for Pervasive Computing....Pages 236-242
Association Based Prefetching Algorithm in Mobile Environments....Pages 243-250
Integration Policy in Real-Time Embedded System....Pages 251-257
Prism-WM Based Connector Interaction for Middleware Systems....Pages 258-265
ScudWare: A Context-Aware and Lightweight Middleware for Smart Vehicle Space....Pages 266-273
Application of Cooperating and Embedded Technology for Network Computer Media Player....Pages 274-279
QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals....Pages 280-286
Semi-Videoconference System Using Real-Time Wireless Technologies....Pages 287-293
Smart Client Techniques for Online Game on Portable Device....Pages 294-299
The Implementation of Mobile IP in Hopen System....Pages 300-305
A New CGI Queueing Model Designed in Embedded Web Server....Pages 306-311
A New Embedded Wireless Microcensor Network Based on Bluetooth Scatternet and PMCN....Pages 312-317
A New Gradient-Based Routing Protocol in Wireless Sensor Networks....Pages 318-325
A Sensor Media Access Control Protocol Based on TDMA....Pages 326-332
Clusters Partition and Sensors Configuration for Target Tracking in Wireless Sensor Networks....Pages 333-338
Enhanced WFQ Algorithm with ( m,k )-Firm Guarantee....Pages 339-346
Fuzzy and Real-Time Queue Management in Differentiated Services Networks....Pages 347-354
Issues of Wireless Sensor Network Management....Pages 355-361
OPC-based Architecture of Embedded Web Server....Pages 362-367
Synchronized Data Gathering in Real-Time Embedded Fiber Sensor Network....Pages 368-373
The Energy Cost Model of Clustering Wireless Sensor Network Architecture....Pages 374-380
Traffic Control Scheme of VCNs’ Gigabit Ethernet Using BP....Pages 381-387
A Jitter-Free Kernel for Hard Real-Time Systems....Pages 388-394
A New Approach to Deadlock Avoidance in Embedded System....Pages 395-399
A Novel Task Scheduling for Heterogeneous Systems....Pages 400-405
Applying Component-Based Meta-service in Liquid Operating System for Pervasive Computing....Pages 406-411
Embedded Operating System Design: The Resolved and Intelligent Daemon Approach....Pages 412-417
New Approach for Device Driver Development – Devil+ Language....Pages 418-422
On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components....Pages 423-429
Research Directions for Embedded Operating Systems....Pages 430-436
SmartOSEK: A Real-Time Operating System for Automotive Electronics....Pages 437-442
A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors....Pages 443-448
Robust and Adaptive Dynamic Power Management for Time Varying System....Pages 449-455
Skyeye: An Instruction Simulator with Energy Awareness....Pages 456-461
The Modeling for Dynamic Power Management of Embedded Systems....Pages 462-467
Why Simple Timeout Strategies Work Perfectly in Practice?....Pages 468-473
An Adaptive Fault Tolerance Scheme for Applications on Real-Time Embedded System....Pages 474-480
Concurrent Garbage Collection Implementation in a Standard JVM for Real-Time Purposes....Pages 481-487
Relating FFTW and Split-Radix....Pages 488-493
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems....Pages 494-501
Sharing I/O in Strongly Partitioned Real-Time Systems....Pages 502-507
The Efficient QoS Control in Distributed Real-Time Embedded Systems....Pages 508-513
An Efficient Verification Method for Microprocessors Based on the Virtual Machine....Pages 514-521
EFSM-based Testing Strategy for APIs Test of Embedded OS....Pages 522-527
EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores....Pages 528-535
Formal Verification of a Ubiquitous Hardware Component....Pages 536-541
Model Optimization Techniques in a Verification Platform for Classified Properties....Pages 542-548
Using Model-Based Test Program Generator for Simulation Validation....Pages 549-556
A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model....Pages 557-562
A Component-Based Model Integrated Framework for Embedded Software....Pages 563-569
A Cooperative Web Framework of Jini into OSGi-based Open Home Gateway....Pages 570-575
A Structure Modeling Method for Multi-task Embedded Software Design....Pages 576-581
Chaos-Model Based Framework for Embedded Software Development....Pages 582-588
Hierarchical Integration of Runtime Models....Pages 589-594
Object-Oriented Software Loading and Upgrading Techniques for Embedded and Distributed System....Pages 595-600
Preserving Consistency in Distributed Embedded Collaborative Editing Systems....Pages 601-606
Back Matter....Pages -