×

Found 560 Documents (Results 1–100)

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

On stabilization of an explicit difference scheme for a nonlinear parabolic equation. (English. Russian original) Zbl 1505.65245

Dokl. Math. 106, No. 2, 326-331 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 506, 30-36 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Plan-based job scheduling for supercomputers with shared burst buffers. (English) Zbl 1512.68046

Sousa, Leonel (ed.) et al., Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12820, 120-135 (2021).
MSC:  68M20 68W10 68W27
PDFBibTeX XMLCite
Full Text: DOI arXiv

BiqBin: moving boundaries for NP-hard problems by HPC. (English) Zbl 1440.90061

Dimov, Ivan (ed.) et al., Advances in high performance computing. Results of the international conference on high performance computing, Borovets, Bulgaria, September 2–6, 2019. Cham: Springer. Stud. Comput. Intell. 902, 327-339 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Basins of attraction for higher-dimensional nonlinear dynamical systems: preliminary results on the case study of a sympodial tree. (English) Zbl 1477.70003

Kovacic, Ivana (ed.) et al., IUTAM symposium on exploiting nonlinear dynamics for engineering systems. ENOLIDES 2018. Proceedings of the IUTAM symposium, Novi Sad, Serbia, July 15–19, 2018. Cham: Springer. IUTAM Bookser. 37, 27-36 (2020).
MSC:  70-08 65P99
PDFBibTeX XMLCite
Full Text: DOI

AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributed deep learning on heterogeneous computing resources using gossip communication. (English) Zbl 1437.68155

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 220-227 (2020).
MSC:  68T07 68M10 68M14
PDFBibTeX XMLCite
Full Text: DOI

Generation of block structured grids on complex domains for high performance simulation. (English) Zbl 1457.65237

Garanzha, Vladimir A. (ed.) et al., Numerical geometry, grid generation and scientific computing. Proceedings of the 9th international conference, NUMGRID 2018 / Voronoi 150, celebrating the 150th anniversary of G.F. Voronoi, Moscow, Russia, December 3–5, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 131, 87-99 (2019).
MSC:  65N50 86A05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software