Sciweavers

3750 search results - page 475 / 750
» Code Optimization for Code Compression
Sort
View
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 10 months ago
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor
A generic and retargetable tool flow is presented that enables the export of timing data from software running on a cycle-accurate Virtual Prototype (VP) to a concurrent function...
Trevor Meyerowitz, Alberto L. Sangiovanni-Vincente...
130
Voted
SIPS
2007
IEEE
15 years 10 months ago
SVD-Aided, Iteratively Detected Spatial Division Multiplexing Using Long-Range Channel Prediction
In this contribution iteratively detected spatial division multiplexing is investigated under the constraint of a fixed data throughput. Existing bit loading and transmit power a...
Andreas Ahrens, Wei Liu, Soon Xin Ng, Volker K&uum...
TASE
2007
IEEE
15 years 10 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
134
Voted
EUROPAR
2007
Springer
15 years 10 months ago
Fine Tuning Algorithmic Skeletons
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
Denis Caromel, Mario Leyton
IESS
2007
Springer
162views Hardware» more  IESS 2007»
15 years 10 months ago
Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
Fabrizio Ferrandi, Luca Fossati, Marco Lattuada, G...