214 search results - page 9 / 43 » Automatic Correction of Loop Transformations |
97
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
107
Voted
EUROPAR
2000
Springer
15 years 4 months ago
2000
Springer
This paper investigates the potential for automatic mapping of typical embedded applications to architectures with multimedia instruction set extensions. For this purpose a (patter...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct tra...
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
92
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...