×

Found 5,405 Documents (Results 1–100)

100
MathJax

Numerical modeling of motion of near-Earth objects in a parallel computing environment. (English. Russian original) Zbl 07514182

Russ. Phys. J. 64, No. 8, 1566-1575 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Fiz. 64, No. 8, 168-175 (2021).
MSC:  81-XX
PDF BibTeX XML Cite
Full Text: DOI

Studying the accuracy and applicability of the finite difference scheme for solving the diffusion-convection problem at large grid Péclet numbers. (English. Russian original) Zbl 07513581

J. Appl. Mech. Tech. Phys. 62, No. 7, 1255-1266 (2021); translation from Vychisl. Mekh. Splosh. Sred 13, No. 1, 437-448 (2020).
MSC:  65Mxx 76-XX
PDF BibTeX XML Cite
Full Text: DOI

A set automaton to locate all pattern matches in a term. (English) Zbl 07500638

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 67-85 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Scalable SAT solving in the cloud. (English) Zbl 07495595

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 518-534 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

On the impact of treewidth in the computational complexity of freezing dynamics. (English) Zbl 07495174

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 260-272 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Mining frequent items in a product of partial orders using parallel calculations. (English. Russian original) Zbl 07461089

Autom. Remote Control 82, No. 10, 1641-1650 (2021); translation from Avtom. Telemekh. 2021, No. 10, 13-24 (2021).
MSC:  62-XX 68-XX
PDF BibTeX XML Cite
Full Text: DOI

Parallel contextual array insertion deletion P systems and tabled matrix grammars. (English) Zbl 07437062

Freund, Rudolf (ed.) et al., Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12687, 46-77 (2021).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI

Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. (English) Zbl 07426853

Lecture Notes in Computer Science 12984. Cham: Springer (ISBN 978-3-030-87992-1/pbk; 978-3-030-87993-8/ebook). xxii, 195 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Causal-consistent debugging of distributed Erlang programs. (English) Zbl 07419484

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 79-95 (2021).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Work-sensitive dynamic complexity of formal languages. (English) Zbl 07410440

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. 12650, 490-509 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI 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