434 search results - page 23 / 87 » From sequential programs to multi-tier applications by progr... |
108
click to vote
ICS
1994
Tsinghua U.
15 years 4 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
FC
2010
Springer
15 years 3 months ago
2010
Springer
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
194
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
CC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
103
click to vote
PPOPP
2009
ACM
16 years 13 days ago
2009
ACM
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...