Embedded Software for SoC

Embedded Operating Systems for SoC.- Application Mapping to a Hardware Platform Through Automated Code Generation Targeting a RTOS.- Formal Methods for Integration of Automotive Software.- Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect.- Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results.- Operating System Abstraction and Targeting.- RTOS Modeling for System Level Design.- Modeling and Integration of Peripheral Devices in Embedded Systems.- Systematic Embedded Software Generation from Systemc.- Embedded Software Design and Implementation.- Exploring SW Performance Using SoC Transaction-Level Modeling.- A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices.- Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design.- Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device.- Interactive Ray Tracing on Reconfigurable SIMD Morphosys.- Porting a Network Cryptographic Service to the RMC2000.- Embedded Operating Systems for SoC.- to Hardware Abstraction Layers for SoC.- Hardware/Software Partitioning of Operating Systems.- Embedded SW in Digital AM-FM Chipset.- Software Optimisation for Embedded Systems.- Control Flow Driven Splitting of Loop Nests at the Source Code Level.- Data Space Oriented Scheduling.- Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines.- State Space Compression in History Driven Quasi-Static Scheduling.- Simulation Trace Verification for Quantitative Constraints.- Energy Aware Software Techniques.- Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications.- Dynamic Parallelization of Array Based On-Chip MultiprocessorApplications.- SDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms.- Safe Automotive Software Development.- Safe Automotive Software Development.- Embedded System Architecture.- Exploring High Bandwidth Pipelined Cache Architecture for Scaled Technology.- Enhancing Speedup in Network Processing Applications by Exploiting Instruction Reuse with Flow Aggregation.- On-Chip Stochastic Communication.- Hardware/Software Techniques for Improving Cache Performance in Embedded Systems.- Rapid Configuration & Instruction Selection for an ASIP: A Case Study.- Transformations for Real-Time Software.- Generalized Data Transformations.- Software Streaming via Block Streaming.- Adaptive Checkpointing with Dynamic Voltage Scaling in Embedded Real-Time Systems.- Low Power Software.- Software Architectural Transformations.- Dynamic Functional Unit Assignment for Low Power.- Energy-Aware Parameter Passing.- Low Energy Associative Data Caches for Embedded Systems.