×

Found 46 Documents (Results 1–46)

Model checking meets auto-tuning of high-performance programs. (English) Zbl 1522.68317

Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 63-82 (2022).
MSC:  68Q60 68N19
PDFBibTeX XMLCite
Full Text: DOI

Molecular dynamics performance evaluation with modern computer architecture. (English) Zbl 07250764

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11974, 322-329 (2020).
MSC:  65-XX
PDFBibTeX XMLCite
Full Text: DOI

High performance implementation of the TFT. (English) Zbl 1325.65190

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 328-334 (2014).
MSC:  65T50 65Y05
PDFBibTeX XMLCite
Full Text: DOI

Performance and numerical accuracy evaluation of heterogeneous multicore systems for Krylov orthogonal basis computation. (English) Zbl 1323.65145

Palma, José M. Laginha M. (ed.) et al., High performance computing for computational science – VECPAR 2010. 9th international conference, Berkeley, CA, USA, June 22–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19327-9/pbk). Lecture Notes in Computer Science 6449, 45-57 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Towards automatic synthesis of high-performance codes for electronic structure calculations: Data locality optimization. (English) Zbl 1052.68545

Monien, Burkhard (ed.) et al., High performance computing - HiPC 2001. 8th international conference, Hyderabad, India, December 17–20, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43009-1). Lect. Notes Comput. Sci. 2228, 237-248 (2001).
MSC:  68M20 68N99
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software