214 search results - page 12 / 43 » Automatic Correction of Loop Transformations |
103
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
106
Voted
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
The Error Correcting Output Coding (ECOC) approach to classifier design decomposes a multi-class problem into a set of complementary two-class problems. We show how to apply the E...
77
Voted
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
A desirable property for any system dealing with unrestricted natural language text is robustness, the ability to analyze any input regardless of its grammaticality. In this paper ...
103
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
104
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...