Sciweavers

229 search results - page 1 / 46
» Value-sensitive automatic code specialization for embedded s...
Sort
View
TCAD
2002
107views more  TCAD 2002»
13 years 4 months ago
Value-sensitive automatic code specialization for embedded software
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
Eui-Young Chung, Luca Benini, Giovanni De Micheli,...
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
13 years 10 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
PEPM
2004
ACM
13 years 10 months ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
Helle Markmann Andersen, Ulrik Pagh Schultz
CODES
2000
IEEE
13 years 9 months ago
Linking codesign and reuse in embedded systems design
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
Matthias Meerwein, C. Baumgartner, W. Glauert
ASAP
2003
IEEE
141views Hardware» more  ASAP 2003»
13 years 10 months ago
Automatic Instruction Set Extension and Utilization for Embedded Processors
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
Armita Peymandoust, Laura Pozzi, Paolo Ienne, Giov...