Value-sensitive automatic code specialization for embedded software

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 21, Issue 9, 2002, Pages 1051-1067

  Chung, Eui Young ^a,b   Benini, Luca ^a,c   DeMicheli, Giovanni ^a,b   Luculli, Gabriele ^a,d   Carilli, Marco ^a,d  

^a IEEE   (United States)

^b STANFORD UNIVERSITY   (United States)

^c UNIVERSITY OF BOLOGNA   (Italy)

^d STMICROELECTRONICS   (France)

Author keywords

Code size; Common value; Embedded software; Energy consumption; Framework; Partial evaluation; Performance; Search space; Specialization; Value profiling

Indexed keywords

CODE SIZE; CODE SPECIALIZATION; EMBEDDED SOFTWARE; SEARCH SPACE; VALUE PROFILING;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA FLOW ANALYSIS; DATA STRUCTURES; OPTIMIZATION; SEARCH ENGINES; SENSITIVITY ANALYSIS;

EMBEDDED SYSTEMS;

EID: 0036733153     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2002.801096     Document Type: Article

References (58)

1. Embedded software in real-time signal processing systems: Design technologies
2. Embedded software in real-time signal processing systems: Application and architecture trends
3. Software strategies for portable computer energy management
4. Energy-driven integrated hardware-software optimizations using simplepower
5. Compilation techniques for low energy: An overview
6. System-level power optimization techniques and tools
7. Techniques for low energy software
8. Memory system energy; Influence of hardware-software optimizations
9. A framework for estimating and minimizing energy dissipation of embedded HW/SW systems
10. System-level transformation for low power data transfer and storage
11. A methodology for procedure cloning
12. Tutorial notes on partial evaluation
13. Combining program and data specialization
14. Program analysis and specialization for the C programming language
15. Instrumentation tools
16. Optimally profiling and tracing programs
17. Value profiling
18. Value profiling and optimization
19. Can program profiling support value prediction?
20. Cycle accurate simulation of energy consumption in embedded systems
21. Common-case computation: A high-level technique for power and performance optimization
22. Instruction selection using binate covering for code size optimization
23. Non-local instruction scheduling with limited code growth
24. Compiler transformation for high-performance computing
25. Split-radix FFT algorithm
26. Caching function results: Faster arithmetic by avoiding unnecessary computation
27. The SUIF library: A set of core routines for manipulating SUIF data structures
28. ATOM: A system for building customized programming analysis tools
29. ST200: A VLIW architecture for media-oriented applications
30. Source code optimization and profiling of energy consumption in embedded systems
31. Iterative decoding of binary block and convolutional codes
32. Value locality and load value prediction
33. On the value locality of store instructions
34. Partial evaluation of high-level imperative program languages with applications in hard real-time systems
35. Code optimization libraries for retargetable compilation for embedded digital signal processors
36. CodeSyn: A retargetable code synthesis system
37. Software scheduling in the co-synthesis of reactive real-time systems
38. Software synthesis for real-time information processing systems
39. Instruction level power analysis and optimization of software
40. Development of an optimizing compiler for fujitsu fixed-point digital signal processor
41. Instruction selection, resource allocation, and scheduling in the Aviv retargetable code generator
42. Code generation for fixed-point DSPs
43. Data and memory optimization techniques for embedded systems
44. Code compression for low-power embedded system design