Result 1 to 20 of 68 total
A new method for program inversion. (English)
O’Boyle, Michael (ed.), Compiler construction. 21st international conference, CC 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28651-3/pbk). Lecture Notes in Computer Science 7210, 81-100 (2012).
1
Auto-tuning full applications: A case study (English)
IJHPCA 25, No. 3, 286-294 (2011).
2
Rethinking hardware-software codesign for exascale systems (English)
IEEE Computer 44, No. 11, 22-30 (2011).
3
Semantic-aware automatic parallelization of modern applications using high-level abstractions. (English)
Int. J. Parallel Program. 38, No. 5-6, 361-378 (2010).
4
A ROSE-based OpenMP 3.0 research compiler supporting multiple runtime libraries. (English)
Sato, Mitsuhisa (ed.) et al., Beyond loop level parallelism in OpenMP: Accelerators, tasking and more. 6th internationan workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13216-2/pbk). Lecture Notes in Computer Science 6132, 15-28 (2010).
5
Effective source-to-source outlining to support whole program empirical optimization. (English)
Gao, Guang R. (ed.) et al., Languages and compilers for parallel computing. 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8‒10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-13373-2/pbk). Lecture Notes in Computer Science 5898, 308-322 (2010).
6
Transforming MPI source code based on communication patterns (English)
Future Generation Comp. Syst. 26, No. 1, 147-154 (2010).
7
A ROSE-based openmp 3.0 research compiler supporting multiple runtime libraries (English)
IWOMP, 15-28 (2010).
8
Exploitation of dynamic communication patterns through static analysis (English)
ICPP, 51-60 (2010).
9
A symbolic verifier for CUDA programs (English)
PPOPP, 357-358 (2010).
10
Extending automatic parallelization to optimize high-level abstractions for multicore. (English)
Müller, Matthias S. (ed.) et al., Evolving OpenMP in an age of extreme parallelism. 5th international workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3‒5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02284-5/pbk). Lecture Notes in Computer Science 5568, 28-41 (2009).
11
Detecting code clones in binary executables (English)
ISSTA, 117-128 (2009).
12
Extending automatic parallelization to optimize high-level abstractions for multicore (English)
IWOMP, 28-41 (2009).
13
Static validation of C preprocessor macros (English)
ASE, 149-160 (2009).
14
Reusable, generic program analyses and transformations (English)
GPCE, 5-14 (2009).
15
Effective source-to-source outlining to support whole program empirical optimization (English)
LCPC, 308-322 (2009).
16
Using MPI communication patterns to guide source code transformations. (English)
Bubak, Marian (ed.) et al., Computational science ‒ ICCS 2008. 8th international conference, Kraków, Poland, June 23‒25, 2008. Proceedings, Part III. Berlin: Springer (ISBN 978-3-540-69388-8/pbk). Lecture Notes in Computer Science 5103, 253-260 (2008).
17
Using MPI communication patterns to guide source code transformations (English)
ICCS (3), 253-260 (2008).
18
Detecting patterns in MPI communication traces (English)
ICPP, 230-237 (2008).
19
A projection-based optimization framework for abstractions with application to the unstructured mesh domain (English)
ICS, 104-113 (2008).
20
Result 1 to 20 of 68 total
Start
Contact
Print
General Help
