| Dedication |
|
v | |
| Contents |
|
vii | |
| Preface |
|
xiii | |
| Introduction |
|
xv | |
|
PART I: EMBEDDED OPERATING SYSTEMS FOR SOC |
|
|
1 | (52) |
|
Application Mapping to a Hardware Platform through Atomated Code Generation Targeting a RTOS |
|
|
3 | (8) |
|
|
|
|
|
Formal Methods for Integration of Automotive Software |
|
|
11 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect |
|
|
25 | (14) |
|
|
|
|
|
|
|
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results |
|
|
39 | (14) |
|
|
|
|
|
PART II: OPERATING SYSTEM ABSTRACTION AND TARGETING |
|
|
53 | (42) |
|
Rtos Modelling for System Level Design |
|
|
55 | (14) |
|
|
|
|
|
|
|
Modeling and Integration of Peripheral Devices in Embedded Systems |
|
|
69 | (14) |
|
|
|
|
|
|
|
Systematic Embedded Software Generation from Systemic |
|
|
83 | (12) |
|
|
|
|
|
|
|
|
|
PART III: EMBEDDED SOFTWARE DESIGN AND IMPLEMENTATION |
|
|
95 | (82) |
|
Exploring SW Performance Using SoC Transaction-Level Modeling |
|
|
97 | (14) |
|
|
|
|
|
|
|
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices |
|
|
111 | (14) |
|
|
|
Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design |
|
|
125 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Evaluation of Applying SPECC to the Integrated Design Method of Device Driver and Device |
|
|
137 | (14) |
|
|
|
|
|
Interactive Ray Tracing on Reconfigurable SIMD Morphosys |
|
|
151 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Porting a Network Cryptographic Service to the RMC2000 |
|
|
165 | (12) |
|
|
|
|
|
|
|
PART IV: EMBEDDED OPERATING SYSTEMS FOR SOC |
|
|
177 | (36) |
|
Introduction to Hardware Abstraction Layers for SoC |
|
|
179 | (8) |
|
|
|
|
|
Hardware/Software Partitioning of Operating Systems |
|
|
187 | (20) |
|
|
|
Embedded SW In Digital AM-FM Chipset |
|
|
207 | (6) |
|
|
|
|
|
|
|
|
|
PART V: SOFTWARE OPTIMISATION FOR EMBEDDED SYSTEMS |
|
|
213 | (74) |
|
Control Flow Driven Splitting of Loop Nests at the Source Code Level |
|
|
215 | (16) |
|
|
|
|
|
|
|
Data Space Oriented Scheduling |
|
|
231 | (14) |
|
|
|
|
|
|
|
|
|
Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines |
|
|
245 | (16) |
|
|
|
|
|
State Space Compression in History Driven Quasi-Static Scheduling |
|
|
261 | (14) |
|
|
|
|
|
|
|
|
|
Simulation Trace Verification for Quantitative Constraints |
|
|
275 | (12) |
|
|
|
|
|
|
|
|
|
PART VI: ENERGY AWARE SOFTWARE TECHNIQUES |
|
|
287 | (44) |
|
Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications |
|
|
289 | (16) |
|
|
|
|
|
Dynamic Parallelization of Array Based On-Chip Multiprocessor Applications |
|
|
305 | (14) |
|
|
|
|
|
SDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms |
|
|
319 | (12) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PART VII: SAFE AUTOMOTIVE SOFTWARE DEVELOPMENT |
|
|
331 | (12) |
|
Safe Automotive Software Development |
|
|
333 | (10) |
|
|
|
|
|
|
|
|
|
PART VIII: EMBEDDED SYSTEM ARCHITECTURE |
|
|
343 | (76) |
|
Exploring High Bandwidth Pipelined Cache Architecture for Scaled Technology |
|
|
345 | (14) |
|
|
|
|
|
|
|
Enhancing Speedup in Network Processing Applications by Exploiting Instruction Reuse with Flow Aggregation |
|
|
359 | (14) |
|
|
|
|
|
|
|
On-Chip Stochastic Communication |
|
|
373 | (14) |
|
|
|
|
|
Hardware/Software Techniques for Improving Cache Performance in Embedded Systems |
|
|
387 | (16) |
|
|
|
|
|
|
|
|
|
Rapid Configuration & Instruction Selection for an ASIP: A Case Study |
|
|
403 | (16) |
|
|
|
|
|
|
|
PART IX: TRANSFORMATIONS FOR REAL-TIME SOFTWARE |
|
|
419 | (46) |
|
Generalized Data Transformations |
|
|
421 | (14) |
|
|
|
|
|
|
|
|
|
Software Streaming via Block Streaming |
|
|
435 | (14) |
|
|
|
|
|
|
|
Adaptive Checkpointing with Dynamic Voltage Scaling in Embedded Real-Time Systems |
|
|
449 | (16) |
|
|
|
|
|
PART X: LOW POWER SOFTWARE |
|
|
465 | (62) |
|
Software Architectural Transformations |
|
|
467 | (18) |
|
|
|
|
|
|
|
Dynamic Functional Unit Assignment for Low Power |
|
|
485 | (14) |
|
|
|
|
|
|
|
|
|
Energy-Aware Parameter Passing |
|
|
499 | (14) |
|
|
|
|
|
|
|
Low Energy Associative Data Caches for Embedded Systems |
|
|
513 | (14) |
|
|
|
|
|
|
| Index |
|
527 | |
Other versions by this Author
