214 search results - page 14 / 43 » Automatic Correction of Loop Transformations |
102
click to vote
CGO
2008
IEEE
15 years 7 months ago
2008
IEEE
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
201
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
177
Voted
POPL
2005
ACM
16 years 22 days ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
111
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
104
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...