703 search results - page 26 / 141 » Automatic Generation of Block-Recursive Codes |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents a new functionality of the Automatic Differentiation (AD) Tool tapenade. tapenade generates adjoint codes which are widely used for optimization or inverse prob...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
RTS
2010
13 years 8 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...