×

Found 5,928 Documents (Results 1–100)

Robust one/two-grid solver for black-box software in the computational continuum mechanics. (English) Zbl 1500.65105

Badriev, Ildar B. (ed.) et al., Mesh methods for boundary-value problems and applications. 13th international conference, Kazan, Russia, October 20–25, 2020. Cham: Springer. Lect. Notes Comput. Sci. Eng. 141, 597-608 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Algorithms with JULIA. Optimization, machine learning, and differential equations using the JULIA language. (English) Zbl 07595715

Cham: Springer (ISBN 978-3-031-16559-7/hbk; 978-3-031-16562-7/pbk; 978-3-031-16560-3/ebook). xxi, 439 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Fast computation of strong control dependencies. (English) Zbl 1493.68102

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 887-910 (2021).
MSC:  68N30 68R10 68W40
PDF BibTeX XML Cite
Full Text: DOI arXiv

Arithmetic software libraries. (English) Zbl 1489.11003

Bos, Joppe W. (ed.) et al., Computational cryptography. Algorithmic aspects of cryptology. A tribute to Arjen K. Lenstra on the occasion of his 65th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 469, 251-292 (2021).
MSC:  11-04 11Y16 94A60
PDF BibTeX XML Cite
Full Text: Link

Run-time complexity bounds using squeezers. (English) Zbl 1473.68046

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 320-347 (2021).
MSC:  68N30 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 264-291 (2021).
PDF BibTeX XML Cite
Full Text: DOI

An automated deductive verification framework for circuit-building quantum programs. (English) Zbl 1473.68106

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 148-177 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Algorithm design through the optimization of reuse-based generation. (English) Zbl 1481.68048

He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 14-32 (2021).
MSC:  68W01 68N30 68P10
PDF BibTeX XML Cite
Full Text: DOI

Generalizing CGAL periodic Delaunay triangulations. (English) Zbl 07651214

Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 75, 17 p. (2020).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Symbolic-numeric computation of the Bernstein coefficients of a polynomial from those of one of its partial derivatives and of the product of two polynomials. (English) Zbl 07635853

Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 583-599 (2020).
MSC:  68W30 65F30 41-04
PDF BibTeX XML Cite
Full Text: DOI

Asynchronous one-level and two-level domain decomposition solvers. (English) Zbl 07621537

Haynes, Ronald (ed.) et al., Domain decomposition methods in science and engineering XXV. Selected papers based on the presentations at the 25th international conference on domain decomposition methods, Memorial University of Newfoundland, in St. John’s, Newfoundland and Labrador, Canada, July 23–27, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 138, 134-142 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

OptORAMa: optimal oblivious RAM. (English) Zbl 07496557

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12106, 403-432 (2020).
MSC:  68P25 68Nxx 94A60
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Universal equivalence and majority of probabilistic programs over finite fields. (English) Zbl 1496.68186

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 155-166 (2020).
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software