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

Pirmais vāks
Laurence T. Yang
Springer Science & Business Media, 2005. gada 5. dec. - 779 lappuses
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.

No grāmatas satura

Atlasītās lappuses

Saturs

Keynote Speech
1
A Case Study of Computational
16
The Design Space of CMP vs SMT for High Performance Embedded
30
Embedded Software
50
Ahead of Time Deployment in ROM of a JavaOS
63
A Packet PropertyBased Task Scheduling Policy for Control Plane
85
Component Development Platform for Communication Protocols
107
Separate Compilation for Synchronous Modules
129
A Compiler Infrastructure for Java Reconfigurable Computing
386
CCD CameraBased Range Sensing with FPGA for RealTime
398
Agent and Distributed Computing
408
Data Storage in Sensor Networks for Multidimensional Range Queries
420
Wireless Communications
441
PowerEfficient Packet Scheduling Method for IEEE 802 15 3 WPAN
462
On LocationFree Node Scheduling Scheme for Random Wireless
484
The Study and Implementation of Wireless Network Router NPU1
506

RealTime Systems
150
Elimination of Nondeterministic Delays in a RealTime Database
172
Solving RealTime Scheduling Problems with ModelChecking
186
PowerAware Computing
210
CompilerDirected EnergyAware Prefetching Optimization
230
A Dynamic Energy Conservation Scheme for Clusters in Computing
244
Network on Chip for Parallel DSP Architectures
265
Designing OnChip Network Based on Optimal Latency Criteria
287
Testing and Verification
299
Selfcorrection of FPGABased Control Units
310
Detecting Memory Access Errors with FlowSensitive Conditional
320
Deductive Probabilistic Verification Methods of Safety Liveness
332
Specification and Verification Techniques of Embedded Systems Using
346
Formalization of fFSM Model and Its Verification
361
Reconfigurable Computing
373
Hierarchical Route Optimization in Mobile Network and Performance
522
PervasiveUbiquitous Computing and Intelligence
533
A Kind of ContextAware Approach Based on FuzzyNeural
554
SoftwareBased Video Codec for Mobile Devices
576
Power Consumption Analysis of Embedded Multimedia Application
596
An Improved DRR Packet Scheduling Algorithm Based on Even
618
A RevenueAware Bandwidth Allocation Model and Algorithm in
650
Support Industrial Hard RealTime Traffic with Switched Ethernet
671
Localized EnergyAware Broadcast Protocol for Wireless Networks
696
A Parallelizing Compiler Approach Based on
720
System
741
A GeneralPurpose Intelligent RAIDBased Object Storage Device
747
Improvement of Space Utilization in NAND Flash Memory Storages
767
Autortiesības

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Bibliogrāfiskā informācija