Sciweavers

3146 search results - page 74 / 630
» The use of compiler optimizations for embedded systems softw...
Sort
View
WORDS
2003
IEEE
15 years 9 months ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
ICCD
1993
IEEE
74views Hardware» more  ICCD 1993»
15 years 8 months ago
High Performance Embedded System Optimization Using Algebraic and Generalized Retiming Techniques
Miodrag Potkonjak, Sujit Dey, Zia Iqbal, Alice C. ...
SEFM
2006
IEEE
15 years 10 months ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
ICCAD
2003
IEEE
159views Hardware» more  ICCAD 2003»
16 years 1 months ago
Array Composition and Decomposition for Optimizing Embedded Applications
Optimizing array accesses is extremely critical in embedded computing as many embedded applications make use of arrays (in form of images, video frames, etc). Previous research co...
Guilin Chen, Mahmut T. Kandemir, A. Nadgir, Ugur S...
CGO
2007
IEEE
15 years 10 months ago
Microarchitecture Sensitive Empirical Models for Compiler Optimizations
This paper proposes the use of empirical modeling techniques for building microarchitecture sensitive models for compiler optimizations. The models we build relate program perform...
Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. S...