×

zbMATH — the first resource for mathematics

Found 1,107 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Alexandrov, Alexander; Monov, Vladimir; Tashev, Tasho
Generalized nets model of data parallel processing in large scale wireless sensor networks. (English) Zbl 1437.68027
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, 475-483 (2020).
MSC:  68M18 68Q85
PDF BibTeX XML Cite
\textit{A. Alexandrov} et al., Lect. Notes Comput. Sci. 11958, 475--483 (2020; Zbl 1437.68027)
Full Text: DOI
Heaton, Matthew J.; Datta, Abhirup; Finley, Andrew O.; Furrer, Reinhard; Guinness, Joseph; Guhaniyogi, Rajarshi; Gerber, Florian; Gramacy, Robert B.; Hammerling, Dorit; Katzfuss, Matthias; Lindgren, Finn; Nychka, Douglas W.; Sun, Furong; Zammit-Mangion, Andrew
A case study competition among methods for analyzing large spatial data. (English) Zbl 1426.62345
J. Agric. Biol. Environ. Stat. 24, No. 3, 398-425 (2019).
MSC:  62P12 62M30 62-08
PDF BibTeX XML Cite
\textit{M. J. Heaton} et al., J. Agric. Biol. Environ. Stat. 24, No. 3, 398--425 (2019; Zbl 1426.62345)
Full Text: DOI
Fercoq, Olivier; Richtárik, Peter
Smooth minimization of nonsmooth functions with parallel coordinate descent methods. (English) Zbl 1421.90061
Pintér, János D. (ed.) et al., Modeling and optimization: theory and applications, MOPTA, Bethlehem, PA, USA, August 16–18, 2017. Selected contributions of the conference. Cham: Springer. Springer Proc. Math. Stat. 279, 57-96 (2019).
MSC:  90B35 90C26 68Q85
PDF BibTeX XML Cite
\textit{O. Fercoq} and \textit{P. Richtárik}, Springer Proc. Math. Stat. 279, 57--96 (2019; Zbl 1421.90061)
Full Text: DOI
Kuhn, Stefan
Simulation of base excision repair in the calculus of covalent bonding. (English) Zbl 06957260
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). Lecture Notes in Computer Science 11106, 123-129 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
\textit{S. Kuhn}, Lect. Notes Comput. Sci. 11106, 123--129 (2018; Zbl 06957260)
Full Text: DOI
Sanán, David; Zhao, Yongwang; Hou, Zhe; Zhang, Fuyuan; Tiu, Alwen; Liu, Yang
CSimpl: a rely-guarantee-based framework for verifying concurrent programs. (English) Zbl 1452.68053
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 I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
\textit{D. Sanán} et al., Lect. Notes Comput. Sci. 10205, 481--498 (2017; Zbl 1452.68053)
Full Text: DOI
Brunet, Paul; Pous, Damien; Struth, Georg
On decidability of concurrent Kleene algebra. (English) Zbl 1442.68128
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017).
MSC:  68Q85 68Q25 68Q45 68Q55
PDF BibTeX XML Cite
\textit{P. Brunet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017; Zbl 1442.68128)
Full Text: DOI
Castellan, Simon; Clairambault, Pierre; Winskel, Glynn
Observably deterministic concurrent strategies and intensional full abstraction for parallel-or. (English) Zbl 1441.68144
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 12, 16 p. (2017).
MSC:  68Q85 68Q55 91A80
PDF BibTeX XML Cite
\textit{S. Castellan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 12, 16 p. (2017; Zbl 1441.68144)
Full Text: DOI
de Visme, Marc; Winskel, Glynn
Strategies with parallel causes. (English) Zbl 1440.68175
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 41, 21 p. (2017).
MSC:  68Q85 91A80
PDF BibTeX XML Cite
\textit{M. de Visme} and \textit{G. Winskel}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 41, 21 p. (2017; Zbl 1440.68175)
Full Text: DOI
Shylo, Volodymyr P.; Shylo, Oleg V.
Algorithm portfolios and teams in parallel optimization. (English) Zbl 1398.90129
Butenko, Sergiy (ed.) et al., Optimization methods and applications. In honor of Ivan V. Sergienko’s 80th birthday. Cham: Springer (ISBN 978-3-319-68639-4/hbk; 978-3-319-68640-0/ebook). Springer Optimization and Its Applications 130, 481-493 (2017).
MSC:  90C26 68Q85
PDF BibTeX XML Cite
\textit{V. P. Shylo} and \textit{O. V. Shylo}, Springer Optim. Appl. 130, 481--493 (2017; Zbl 1398.90129)
Full Text: DOI
Gfrerer, Christine; Vajteršic, Marián; Kutil, Rade
Parallel algorithms to align multiple strings in the context of web data extraction. (English) Zbl 1396.68138
Adamatzky, Andrew (ed.), Emergent computation. A Festschrift for Selim G. Akl. Cham: Springer (ISBN 978-3-319-46375-9/hbk; 978-3-319-46376-6/ebook). Emergence, Complexity and Computation 24, 525-578 (2017).
MSC:  68W32 68M11 68W10
PDF BibTeX XML Cite
\textit{C. Gfrerer} et al., Emerg. Complex. Comput. 24, 525--578 (2017; Zbl 1396.68138)
Full Text: DOI
Pommereau, Franck; de la Houssaye, Jordan
Faster simulation of (coloured) Petri nets using parallel computing. (English) Zbl 1393.68124
van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 37-56 (2017).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{F. Pommereau} and \textit{J. de la Houssaye}, Lect. Notes Comput. Sci. 10258, 37--56 (2017; Zbl 1393.68124)
Full Text: DOI
Bogaenko, V. A.; Bulavatskiĭ, V. M.
Numerical modelling of the fractional-differential dynamics of the filtration-convective diffusion on the base of parallel algorithms for cluster systems. (Russian. English summary) Zbl 1374.93030
Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2017, No. 1, 21-28 (2017).
MSC:  93A30 35K57 35R11 68Q10
PDF BibTeX XML Cite
\textit{V. A. Bogaenko} and \textit{V. M. Bulavatskiĭ}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2017, No. 1, 21--28 (2017; Zbl 1374.93030)
Full Text: DOI
Bursuc, Sergiu
Secure two-party computation in applied pi-calculus: models and verification. (English) Zbl 07331382
Ganty, Pierre (ed.) et al., Trustworthy global computing. 10th international symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28765-2/pbk; 978-3-319-28766-9/ebook). Lecture Notes in Computer Science 9533, 1-15 (2016).
MSC:  68Q85 68Q10 68Q60
PDF BibTeX XML Cite
\textit{S. Bursuc}, Lect. Notes Comput. Sci. 9533, 1--15 (2016; Zbl 07331382)
Full Text: DOI
Lempiäinen, Tuomo
Ability to count messages is worth \(\Theta(\Delta)\) rounds in distributed computing. (English) Zbl 1401.68230
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 357-366 (2016).
MSC:  68Q85 03B45 03B70 68M14 68Q10
PDF BibTeX XML Cite
\textit{T. Lempiäinen}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 357--366 (2016; Zbl 1401.68230)
Full Text: DOI
Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
Soundness in negotiations. (English) Zbl 1392.68298
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 12, 13 p. (2016).
MSC:  68Q85 68Q10 68Q25
PDF BibTeX XML Cite
\textit{J. Esparza} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 12, 13 p. (2016; Zbl 1392.68298)
Full Text: DOI
Bulavatsky, V. M.; Bogaenko, V. A.
Mathematical modeling of the dynamics of nonequilibrium in time convection-diffusion processes in domains with free boundaries. (English. Russian original) Zbl 1348.93026
Cybern. Syst. Anal. 52, No. 3, 427-440 (2016); translation from Kibern. Sist. Anal. 2016, No. 3, 106-121 (2016).
MSC:  93A30 35R11 65M06
PDF BibTeX XML Cite
\textit{V. M. Bulavatsky} and \textit{V. A. Bogaenko}, Cybern. Syst. Anal. 52, No. 3, 427--440 (2016; Zbl 1348.93026); translation from Kibern. Sist. Anal. 2016, No. 3, 106--121 (2016)
Full Text: DOI
Gimenez, Stéphane; Moser, Georg
The complexity of interaction. (English) Zbl 1347.68052
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 243-255 (2016).
MSC:  68N18 03F52 68Q05 68Q25 68Q85
PDF BibTeX XML Cite
\textit{S. Gimenez} and \textit{G. Moser}, in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 243--255 (2016; Zbl 1347.68052)
Full Text: DOI
Kuhn, Stefan; Ulidowski, Irek
A calculus for local reversibility. (English) Zbl 06610595
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). Lecture Notes in Computer Science 9720, 20-35 (2016).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
\textit{S. Kuhn} and \textit{I. Ulidowski}, Lect. Notes Comput. Sci. 9720, 20--35 (2016; Zbl 06610595)
Full Text: DOI
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Forward and backward bisimulations for chemical reaction networks. (English) Zbl 1374.68204
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 226-239 (2015).
MSC:  68Q05 68Q10 68Q85 92C40
PDF BibTeX XML Cite
\textit{L. Cardelli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 226--239 (2015; Zbl 1374.68204)
Full Text: DOI
Zimovets, Artem Anatol’evich; Matviĭchuk, Aleksandr Rostislavovich
A parallel algorithm for constructing approximate attainable sets of nonlinear control systems. (Russian. English summary) Zbl 1362.93020
Vestn. Udmurt. Univ., Mat. Mekh. Komp’yut. Nauki 25, No. 4, 459-472 (2015).
MSC:  93B03 93B40 93C10 93C83 68Q10
PDF BibTeX XML Cite
\textit{A. A. Zimovets} and \textit{A. R. Matviĭchuk}, Vestn. Udmurt. Univ., Mat. Mekh. Komp'yut. Nauki 25, No. 4, 459--472 (2015; Zbl 1362.93020)
Full Text: DOI MNR
Roscoe, A. W.
The expressiveness of CSP with priority. (English) Zbl 1351.68148
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 387-401, electronic only (2015).
MSC:  68Q55 68Q10 68Q85
PDF BibTeX XML Cite
\textit{A. W. Roscoe}, Electron. Notes Theor. Comput. Sci. 319, 387--401 (2015; Zbl 1351.68148)
Full Text: DOI
Kuhn, Stefan; Ulidowski, Irek
Towards modelling of local reversibility. (English) Zbl 06631945
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 279-284 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
\textit{S. Kuhn} and \textit{I. Ulidowski}, Lect. Notes Comput. Sci. 9138, 279--284 (2015; Zbl 06631945)
Full Text: DOI
Gay, Simon J.; Puthoor, Ittoop V.
Equational reasoning about quantum protocols. (English) Zbl 06631936
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 155-170 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
\textit{S. J. Gay} and \textit{I. V. Puthoor}, Lect. Notes Comput. Sci. 9138, 155--170 (2015; Zbl 06631936)
Full Text: DOI
Ribeiro, Pedro; Cavalcanti, Ana
Angelicism in the theory of reactive processes. (English) Zbl 06596635
Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-319-14805-2/pbk). Lecture Notes in Computer Science 8963, 42-61 (2015).
MSC:  68N30 68Q10 68Q85
PDF BibTeX XML Cite
\textit{P. Ribeiro} and \textit{A. Cavalcanti}, Lect. Notes Comput. Sci. 8963, 42--61 (2015; Zbl 06596635)
Full Text: DOI
Bulavatsky, V. M.; Bogaenko, V. A.
Mathematical modeling of the fractional differential dynamics of the relaxation process of convective diffusion under conditions of planned filtration. (English. Russian original) Zbl 1381.76330
Cybern. Syst. Anal. 51, No. 6, 886-895 (2015); translation from Kibern. Sist. Anal. 2015, No. 6, 60-70 (2015).
MSC:  76R10 35Q35 35R11
PDF BibTeX XML Cite
\textit{V. M. Bulavatsky} and \textit{V. A. Bogaenko}, Cybern. Syst. Anal. 51, No. 6, 886--895 (2015; Zbl 1381.76330); translation from Kibern. Sist. Anal. 2015, No. 6, 60--70 (2015)
Full Text: DOI
Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis
Discretionary information flow control for interaction-oriented specifications. (English) Zbl 1321.68349
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 427-450 (2015).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
\textit{A. Lluch Lafuente} et al., Lect. Notes Comput. Sci. 9200, 427--450 (2015; Zbl 1321.68349)
Full Text: DOI

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