|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
37 | Michael Wolfe |
Optimizing supercompilers for supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: ICS '20: 2020 International Conference on Supercomputing, Barcelona Spain, June, 2020, pp. 32:1, 2020, ACM, 978-1-4503-7983-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
37 | Dimitur Nikolaev Krustev |
Towards a Framework for Building Formally Verified Supercompilers in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 133-148, 2012, Springer, 978-3-642-40446-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Michael Wolfe |
Supercompilers, the AMD Opteron, and Your Cell Phone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Kleanthis Psarris, David Klappholz |
Data Dependence Testing for Supercompilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: Trends and Applications, PARCO 1993, Grenoble, France, pp. 643-646, 1993, Elsevier, 0-444-81841-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
37 | Hans P. Zima, Barbara M. Chapman |
Supercompilers for parallel and vector computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
36 | Alain Darte, Yves Robert |
Constructive Methods for Scheduling Uniform Loop Nests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(8), pp. 814-822, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
linearprogramming, uniform loop nests, uniform dependences, parallelisationtechniques, scheduling, scheduling, parallel algorithms, parallel programming, linear programming, program compilers, execution time, optimal solutions, supercompilers, hyperplane method, affine scheduling |
26 | Cédric Bastoul |
Efficient Code Generation for Automatic Parallelization and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 13-14 October 2003, Ljubljana, Slovenia, pp. 23-30, 2003, IEEE Computer Society, 0-7695-2069-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Valentin F. Turchin |
Supercompilation: Techniques and Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 227-248, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Roman Blasco |
Systematic Strategy for Performance Prediction in Improvement of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAST ![In: Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers, pp. 252-267, 1994, Springer, 3-540-61478-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | François Irigoin, Rémi Triolet |
Supernode Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 319-329, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|