×

Found 838 Documents (Results 1–100)

100
MathJax

Checking robustness between weak transactional consistency models. (English) Zbl 1473.68063

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, 87-117 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Maximal lineability of the class of Darboux not connectivity maps on \(\mathbb{R}\). (English) Zbl 1477.26002

PDF BibTeX XML Cite
Full Text: DOI

A decoupled staggered scheme for the shallow water equations. (English) Zbl 1471.65116

Ahusborde, É. (ed.) et al., Fifteenth international conference Zaragoza-Pau on mathematics and its applications. Proceedings of the conference, Jaca, Spain, September 10–12, 2018. Zaragoza: Prensas de la Universidad de Zaragoza. Monogr. Mat. García Galdeano 42, 127-141 (2019).
MSC:  65M08 76B99
PDF BibTeX XML Cite
Full Text: arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software