Software Technologies for Embedded and Ubiquitous Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme
3. Altmetric Badge
   Chapter 2 Energy-Efficient Process Allocation Algorithms in Peer-to-Peer Systems
4. Altmetric Badge
   Chapter 3 Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems
5. Altmetric Badge
   Chapter 4 Optimizing Mobile Application Performance with Model–Driven Engineering
6. Altmetric Badge
   Chapter 5 A Single-Path Chip-Multiprocessor System
7. Altmetric Badge
   Chapter 6 Towards Trustworthy Self-optimization for Distributed Systems
8. Altmetric Badge
   Chapter 7 An Experimental Framework for the Analysis and Validation of Software Clocks
9. Altmetric Badge
   Chapter 8 Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing Pipeline Stalls
10. Altmetric Badge
    Chapter 9 Joining a Distributed Shared Memory Computation in a Dynamic Distributed System
11. Altmetric Badge
    Chapter 10 BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network
12. Altmetric Badge
    Chapter 11 DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network
13. Altmetric Badge
    Chapter 12 Development of Field Monitoring Server System and Its Application in Agriculture
14. Altmetric Badge
    Chapter 13 On-Line Model Checking as Operating System Service
15. Altmetric Badge
    Chapter 14 Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems
16. Altmetric Badge
    Chapter 15 Fine-Grained Tailoring of Component Behaviour for Embedded Systems
17. Altmetric Badge
    Chapter 16 MapReduce System over Heterogeneous Mobile Devices
18. Altmetric Badge
    Chapter 17 Towards Time-Predictable Data Caches for Chip-Multiprocessors
19. Altmetric Badge
    Chapter 18 From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach
20. Altmetric Badge
    Chapter 19 Model-Based Testing of GUI-Driven Applications
21. Altmetric Badge
    Chapter 20 Parallelizing Software-Implemented Error Detection
22. Altmetric Badge
    Chapter 21 Model-Based Analysis of Contract-Based Real-Time Scheduling
23. Altmetric Badge
    Chapter 22 Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
24. Altmetric Badge
    Chapter 23 HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization
25. Altmetric Badge
    Chapter 24 Applying Architectural Hybridization in Networked Embedded Systems
26. Altmetric Badge
    Chapter 25 Concurrency and Communication: Lessons from the SHIM Project
27. Altmetric Badge
    Chapter 26 Location-Aware Web Service by Utilizing Web Contents Including Location Information
28. Altmetric Badge
    Chapter 27 The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems
29. Altmetric Badge
    Chapter 28 Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development
30. Altmetric Badge
    Chapter 29 Software Technologies for Embedded and Ubiquitous Systems
31. Altmetric Badge
    Chapter 30 An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections
32. Altmetric Badge
    Chapter 31 Real-Sense Media Representation Technology Using Multiple Devices Synchronization
33. Altmetric Badge
    Chapter 32 Overview of Multicore Requirements towards Real-Time Communication
34. Altmetric Badge
    Chapter 33 Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems