×

Found 51 Documents (Results 1–51)

Computing scores of forwarding schemes in switched networks with probabilistic faults. (English) Zbl 1452.68021

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 169-187 (2017).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Statistical approximation of optimal schedulers for probabilistic timed automata. (English) Zbl 1354.68172

Ábrahám, Erika (ed.) et al., Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1–5, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-33692-3/pbk; 978-3-319-33693-0/ebook). Lecture Notes in Computer Science 9681, 99-114 (2016).
MSC:  68Q60 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Modeling 1D distributed-memory dense kernels for an asynchronous multifrontal sparse solver. (English) Zbl 1514.65047

Daydé, Michel (ed.) et al., High performance computing for computational science – VECPAR 2014. 11th international conference, Eugene, OR, USA, June 30 – July 3, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8969, 156-169 (2015).
MSC:  65F50
PDFBibTeX XMLCite
Full Text: DOI

Using random butterfly transformations to avoid pivoting in sparse direct methods. (English) Zbl 1514.65048

Daydé, Michel (ed.) et al., High performance computing for computational science – VECPAR 2014. 11th international conference, Eugene, OR, USA, June 30 – July 3, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8969, 135-144 (2015).
MSC:  65F50
PDFBibTeX XMLCite
Full Text: DOI

A platform for high performance statistical model checking – PLASMA. (English) Zbl 1352.68156

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 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-28755-8/pbk). Lecture Notes in Computer Science 7214, 498-503 (2012).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Towards an efficient tile matrix inversion of symmetric positive definite matrices on multicore architectures. (English) Zbl 1323.65022

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, 129-138 (2011).
PDFBibTeX XMLCite
Full Text: DOI

A scalable high performant Cholesky factorization for multicore with GPU accelerators. (English) Zbl 1323.65135

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, 93-101 (2011).
MSC:  65Y10 65F30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software