Holm, Håvard H.; Sætra, Martin L.; Brodtkorb, André R. Data assimilation for ocean drift trajectories using massive ensembles and GPUs. (English) Zbl 07239656 Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer (ISBN 978-3-030-43650-6/hbk; 978-3-030-43651-3/ebook). Springer Proceedings in Mathematics & Statistics 323, 715-723 (2020). Reviewer: Abdallah Bradji (Annaba) MSC: 65M08 65N08 62M99 60G35 35L65 76B15 68N19 65Y10 65Y05 86A05 PDF BibTeX XML Cite \textit{H. H. Holm} et al., in: Finite volumes for complex applications IX -- methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15--19, 2020. In 2 volumes. Volume I and II. Cham: Springer. 715--723 (2020; Zbl 07239656) Full Text: DOI
Zhao, Xin; Haller, Philipp Replicated data types that unify eventual consistency and observable atomic consistency. (English) Zbl 1451.68056 J. Log. Algebr. Methods Program. 114, Article ID 100561, 21 p. (2020). MSC: 68M14 03B70 68N19 68Q60 PDF BibTeX XML Cite \textit{X. Zhao} and \textit{P. Haller}, J. Log. Algebr. Methods Program. 114, Article ID 100561, 21 p. (2020; Zbl 1451.68056) Full Text: DOI
Dylus, Sandra; Christiansen, Jan; Teegen, Finn Implementing a library for probabilistic programming using non-strict non-determinism. (English) Zbl 1434.68062 Theory Pract. Log. Program. 20, No. 1, 147-175 (2020). MSC: 68N15 68N17 68N18 68N19 PDF BibTeX XML Cite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI
Juma, Nahid; Dietl, Werner; Tripunitara, Mahesh A computational complexity analysis of tunable type inference for Generic Universe Types. (English) Zbl 1435.68059 Theor. Comput. Sci. 814, 189-209 (2020). MSC: 68N15 68N19 68Q17 68Q25 68R07 PDF BibTeX XML Cite \textit{N. Juma} et al., Theor. Comput. Sci. 814, 189--209 (2020; Zbl 1435.68059) Full Text: DOI
Cruz-Filipe, Luís; Montesi, Fabrizio A core model for choreographic programming. (English) Zbl 1436.68078 Theor. Comput. Sci. 802, 38-66 (2020). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Theor. Comput. Sci. 802, 38--66 (2020; Zbl 1436.68078) Full Text: DOI
Lamport, Leslie A new solution of Dijkstra’s concurrent programming problem. (English) Zbl 1448.68133 Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 173-178 (2019). MSC: 68M14 68N19 68M15 PDF BibTeX XML Cite \textit{L. Lamport}, ACM Books 29, 173--178 (2019; Zbl 1448.68133) Full Text: DOI
Golab, Wojciech; Ramaraju, Aditya Recoverable mutual exclusion. (English) Zbl 1451.68045 Distrib. Comput. 32, No. 6, 535-564 (2019). MSC: 68M14 68N19 68M15 68P05 68Q25 PDF BibTeX XML Cite \textit{W. Golab} and \textit{A. Ramaraju}, Distrib. Comput. 32, No. 6, 535--564 (2019; Zbl 1451.68045) Full Text: DOI
Ortiz-Bernardin, A.; Alvarez, C.; Hitschfeld-Kahler, N.; Russo, A.; Silva-Valenzuela, R.; Olate-Sanzana, E. Veamy: an extensible object-oriented C++ library for the virtual element method. (English) Zbl 1442.65002 Numer. Algorithms 82, No. 4, 1189-1220 (2019). MSC: 65-04 65N30 65N50 35J05 74B99 PDF BibTeX XML Cite \textit{A. Ortiz-Bernardin} et al., Numer. Algorithms 82, No. 4, 1189--1220 (2019; Zbl 1442.65002) Full Text: DOI
Benavides, Zachary; Vora, Keval; Gupta, Rajiv; Zhang, Xiangyu Annotation guided collection of context-sensitive parallel execution profiles. (English) Zbl 1425.68056 Form. Methods Syst. Des. 54, No. 3, 388-415 (2019). MSC: 68N19 PDF BibTeX XML Cite \textit{Z. Benavides} et al., Form. Methods Syst. Des. 54, No. 3, 388--415 (2019; Zbl 1425.68056) Full Text: DOI
Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K. Abstract semantic diffing of evolving concurrent programs. (English) Zbl 1425.68063 Form. Methods Syst. Des. 54, No. 1, 4-26 (2019). MSC: 68N30 68N19 68Q55 PDF BibTeX XML Cite \textit{A. Bouajjani} et al., Form. Methods Syst. Des. 54, No. 1, 4--26 (2019; Zbl 1425.68063) Full Text: DOI
Boukaram, Wajih; Turkiyyah, George; Keyes, David Randomized GPU algorithms for the construction of hierarchical matrices from matrix-vector operations. (English) Zbl 07099326 SIAM J. Sci. Comput. 41, No. 4, C339-C366 (2019). MSC: 65F 68N19 68W10 68W20 68W25 PDF BibTeX XML Cite \textit{W. Boukaram} et al., SIAM J. Sci. Comput. 41, No. 4, C339--C366 (2019; Zbl 07099326) Full Text: DOI
Bradley, Andrew M.; Bosler, Peter A.; Guba, Oksana; Taylor, Mark A.; Barnett, Gregory A. Communication-efficient property preservation in tracer transport. (English) Zbl 1421.76168 SIAM J. Sci. Comput. 41, No. 3, C161-C193 (2019). MSC: 76M25 65Y05 65Y20 68N19 86-08 PDF BibTeX XML Cite \textit{A. M. Bradley} et al., SIAM J. Sci. Comput. 41, No. 3, C161--C193 (2019; Zbl 1421.76168) Full Text: DOI
Boreale, Michele (ed.); Corradini, Flavio (ed.); Loreti, Michele (ed.); Pugliese, Rosario (ed.) Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. (English) Zbl 1416.68004 Lecture Notes in Computer Science 11665. Cham: Springer (ISBN 978-3-030-21484-5/pbk; 978-3-030-21485-2/ebook). xiii, 498 p. (2019). MSC: 68-06 68N19 68Q85 00B25 00B30 PDF BibTeX XML Cite \textit{M. Boreale} (ed.) et al., Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. Cham: Springer (2019; Zbl 1416.68004) Full Text: DOI
Tabareau, Nicolas; Tanter, Éric Chemical foundations of distributed aspects. (English) Zbl 1451.68068 Distrib. Comput. 32, No. 3, 193-216 (2019). MSC: 68N19 68N15 68Q07 68Q10 PDF BibTeX XML Cite \textit{N. Tabareau} and \textit{É. Tanter}, Distrib. Comput. 32, No. 3, 193--216 (2019; Zbl 1451.68068) Full Text: DOI
Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin All-path reachability logic. (English) Zbl 1421.68015 Log. Methods Comput. Sci. 15, No. 2, Paper No. 5, 23 p. (2019). MSC: 68N30 03B70 68N19 68Q55 68T15 PDF BibTeX XML Cite \textit{A. Ştefănescu} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 5, 23 p. (2019; Zbl 1421.68015) Full Text: arXiv
Gebhardt, Cristian Guillermo; Hofmeister, Benedikt; Hente, Christian; Rolfes, Raimund Nonlinear dynamics of slender structures: a new object-oriented framework. (English) Zbl 07037439 Comput. Mech. 63, No. 2, 219-252 (2019). MSC: 74 PDF BibTeX XML Cite \textit{C. G. Gebhardt} et al., Comput. Mech. 63, No. 2, 219--252 (2019; Zbl 07037439) Full Text: DOI
Giannini, Paola; Servetto, Marco; Zucca, Elena; Cone, James Flexible recovery of uniqueness and immutability. (English) Zbl 1417.68032 Theor. Comput. Sci. 764, 145-172 (2019). MSC: 68N30 68N15 68N19 PDF BibTeX XML Cite \textit{P. Giannini} et al., Theor. Comput. Sci. 764, 145--172 (2019; Zbl 1417.68032) Full Text: DOI
Sen, Alper; Kalaci, Onder Hybrid data race detection for multicore software. (English) Zbl 07299704 Comput. Inform. 37, No. 1, 186-212 (2018). MSC: 68N19 PDF BibTeX XML Cite \textit{A. Sen} and \textit{O. Kalaci}, Comput. Inform. 37, No. 1, 186--212 (2018; Zbl 07299704) Full Text: DOI
Ohkubo, Yuhi; Yokoyama, Tetsuo; Kanayama, Chishun Clean reversible simulations of ranking binary trees. (English) Zbl 1434.68749 Adamatzky, Andrew (ed.), Reversibility and universality. Essays presented to Kenichi Morita on the occasion of his 70th birthday. Cham: Springer. Emerg. Complex. Comput. 30, 243-267 (2018). MSC: 68W40 68N19 68P05 PDF BibTeX XML Cite \textit{Y. Ohkubo} et al., Emerg. Complex. Comput. 30, 243--267 (2018; Zbl 1434.68749) Full Text: DOI
Raad, Azalea; Lahav, Ori; Vafeiadis, Viktor On parallel snapshot isolation and release/acquire consistency. (English) Zbl 1418.68064 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 940-967 (2018). MSC: 68N30 68N19 68Q60 PDF BibTeX XML Cite \textit{A. Raad} et al., Lect. Notes Comput. Sci. 10801, 940--967 (2018; Zbl 1418.68064) Full Text: DOI
Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan; Wrigstad, Tobias Correctness of a concurrent object collector for actor languages. (English) Zbl 1418.68040 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 885-911 (2018). MSC: 68N19 PDF BibTeX XML Cite \textit{J. Franco} et al., Lect. Notes Comput. Sci. 10801, 885--911 (2018; Zbl 1418.68040) Full Text: DOI
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio Concurrent Kleene algebra: free model and completeness. (English) Zbl 1422.68035 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 856-882 (2018). MSC: 68N30 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{T. Kappé} et al., Lect. Notes Comput. Sci. 10801, 856--882 (2018; Zbl 1422.68035) Full Text: DOI
Viering, Malte; Chen, Tzu-Chun; Eugster, Patrick; Hu, Raymond; Ziarek, Lukasz A typing discipline for statically verified crash failure handling in distributed systems. (English) Zbl 1418.68019 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 799-826 (2018). MSC: 68M14 68M15 68N19 68Q60 PDF BibTeX XML Cite \textit{M. Viering} et al., Lect. Notes Comput. Sci. 10801, 799--826 (2018; Zbl 1418.68019) Full Text: DOI
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1418.68025 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 771-798 (2018). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., Lect. Notes Comput. Sci. 10801, 771--798 (2018; Zbl 1418.68025) Full Text: DOI
Abdulla, Parosh Aziz; Jonsson, Bengt; Trinh, Cong Quy Fragment abstraction for concurrent shape analysis. (English) Zbl 1418.68124 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 442-471 (2018). MSC: 68Q60 68N19 68P05 68Q85 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Lect. Notes Comput. Sci. 10801, 442--471 (2018; Zbl 1418.68124) Full Text: DOI
Hamin, Jafar; Jacobs, Bart Deadlock-free monitors. (English) Zbl 1418.68056 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 415-441 (2018). MSC: 68N30 68N19 68T15 PDF BibTeX XML Cite \textit{J. Hamin} and \textit{B. Jacobs}, Lect. Notes Comput. Sci. 10801, 415--441 (2018; Zbl 1418.68056) Full Text: DOI
Le, Xuan-Bach; Hobor, Aquinas Logical reasoning for disjoint permissions. (English) Zbl 1418.68059 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 385-414 (2018). MSC: 68N30 03B70 68N19 PDF BibTeX XML Cite \textit{X.-B. Le} and \textit{A. Hobor}, Lect. Notes Comput. Sci. 10801, 385--414 (2018; Zbl 1418.68059) Full Text: DOI
Svendsen, Kasper; Pichon-Pharabod, Jean; Doko, Marko; Lahav, Ori; Vafeiadis, Viktor A separation logic for a promising semantics. (English) Zbl 1422.68037 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 357-384 (2018). MSC: 68N30 03B70 68N19 68Q55 PDF BibTeX XML Cite \textit{K. Svendsen} et al., Lect. Notes Comput. Sci. 10801, 357--384 (2018; Zbl 1422.68037) Full Text: DOI
Riguzzi, Fabrizio Foundations of probabilistic logic programming. Languages, semantics, inference and learning. (English) Zbl 1420.68003 River Publishers Series in Software Engineering. Gistrup: River Publishers (ISBN 978-87-7022-018-7/hbk; 978-87-7022-017-0/ebook). xxxiii, 387 p. (2018). MSC: 68-02 68N17 68N19 PDF BibTeX XML Cite \textit{F. Riguzzi}, Foundations of probabilistic logic programming. Languages, semantics, inference and learning. Gistrup: River Publishers (2018; Zbl 1420.68003)
López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka Polymorphic success types for Erlang. (English) Zbl 1415.68056 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 515-533 (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{F. J. López-Fraguas} et al., EPiC Ser. Comput. 57, 515--533 (2018; Zbl 1415.68056) Full Text: DOI
Areias, Miguel; Rocha, Ricardo Table space designs for implicit and explicit concurrent tabled evaluation. (English) Zbl 1452.68035 Theory Pract. Log. Program. 18, No. 5-6, 950-992 (2018). MSC: 68N17 68N19 PDF BibTeX XML Cite \textit{M. Areias} and \textit{R. Rocha}, Theory Pract. Log. Program. 18, No. 5--6, 950--992 (2018; Zbl 1452.68035) Full Text: DOI
Frühwirth, Thom Parallelism, concurrency and distribution in constraint handling rules: a survey. (English) Zbl 1452.68042 Theory Pract. Log. Program. 18, No. 5-6, 759-805 (2018). MSC: 68N19 68N17 68Q10 68Q42 68Q85 PDF BibTeX XML Cite \textit{T. Frühwirth}, Theory Pract. Log. Program. 18, No. 5--6, 759--805 (2018; Zbl 1452.68042) Full Text: DOI
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador Declarative debugging of concurrent Erlang programs. (English) Zbl 1400.68052 J. Log. Algebr. Methods Program. 101, 22-41 (2018). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{R. Caballero} et al., J. Log. Algebr. Methods Program. 101, 22--41 (2018; Zbl 1400.68052) Full Text: DOI
Gall, Daniel; Frühwirth, Thom An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules. (English) Zbl 1407.68094 ACM Trans. Comput. Log. 19, No. 3, Article No. 22, 42 p. (2018). MSC: 68N19 68Q55 91E10 PDF BibTeX XML Cite \textit{D. Gall} and \textit{T. Frühwirth}, ACM Trans. Comput. Log. 19, No. 3, Article No. 22, 42 p. (2018; Zbl 1407.68094) Full Text: DOI
Sagebaum, Max; Albring, T.; Gauger, N. R. Expression templates for primal value taping in the reverse mode of algorithmic differentiation. (English) Zbl 1401.65164 Optim. Methods Softw. 33, No. 4-6, 1207-1231 (2018). MSC: 65Y20 68N19 68N30 68Q25 PDF BibTeX XML Cite \textit{M. Sagebaum} et al., Optim. Methods Softw. 33, No. 4--6, 1207--1231 (2018; Zbl 1401.65164) Full Text: DOI
Castegren, Elias; Wallin, Joel; Wrigstad, Tobias Bestow and atomic: concurrent programming using isolation, delegation and grouping. (English) Zbl 1400.68053 J. Log. Algebr. Methods Program. 100, 130-151 (2018). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{E. Castegren} et al., J. Log. Algebr. Methods Program. 100, 130--151 (2018; Zbl 1400.68053) Full Text: DOI
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán A theory of reversibility for Erlang. (English) Zbl 1400.68046 J. Log. Algebr. Methods Program. 100, 71-97 (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{I. Lanese} et al., J. Log. Algebr. Methods Program. 100, 71--97 (2018; Zbl 1400.68046) Full Text: DOI
Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti Java & lambda: a featherweight story. (English) Zbl 1398.68079 Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{L. Bettini} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018; Zbl 1398.68079) Full Text: DOI arXiv
Atkinson, Timothy; Plump, Detlef; Stepney, Susan Probabilistic graph programs for randomised and evolutionary algorithms. (English) Zbl 1394.68050 Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 63-78 (2018). MSC: 68N15 68N19 68T20 68W20 PDF BibTeX XML Cite \textit{T. Atkinson} et al., Lect. Notes Comput. Sci. 10887, 63--78 (2018; Zbl 1394.68050) Full Text: DOI
Birkisson, Ásgeir Automatic reformulation of odes to systems of first-order equations. (English) Zbl 06920094 ACM Trans. Math. Softw. 44, No. 3, Paper No. 31, 18 p. (2018). MSC: 65 PDF BibTeX XML Cite \textit{Á. Birkisson}, ACM Trans. Math. Softw. 44, No. 3, Paper No. 31, 18 p. (2018; Zbl 06920094) Full Text: DOI
Kennedy, Andrew J.; Russo, Claudio V. Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language. (English) Zbl 1397.68025 Theor. Comput. Sci. 741, 3-18 (2018). MSC: 68N15 68N19 68Q65 PDF BibTeX XML Cite \textit{A. J. Kennedy} and \textit{C. V. Russo}, Theor. Comput. Sci. 741, 3--18 (2018; Zbl 1397.68025) Full Text: DOI
El-Hokayem, Antoine; Falcone, Yliès; Jaber, Mohamad Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – application to the behavior interaction priority framework. (English) Zbl 1395.68092 J. Log. Algebr. Methods Program. 99, 143-177 (2018). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{A. El-Hokayem} et al., J. Log. Algebr. Methods Program. 99, 143--177 (2018; Zbl 1395.68092) Full Text: DOI
Hainry, Emmanuel; Péchoux, Romain A type-based complexity analysis of object oriented programs. (English) Zbl 1395.68087 Inf. Comput. 261, Part 1, 78-115 (2018). MSC: 68N19 68Q25 PDF BibTeX XML Cite \textit{E. Hainry} and \textit{R. Péchoux}, Inf. Comput. 261, Part 1, 78--115 (2018; Zbl 1395.68087) Full Text: DOI
Tian, Cong (ed.); Nagoya, Fumiko (ed.); Liu, Shaoying (ed.); Duan, Zhenhua (ed.) Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. (English) Zbl 1384.68007 Lecture Notes in Computer Science 10795. Cham: Springer (ISBN 978-3-319-90103-9/pbk; 978-3-319-90104-6/ebook). x, 219 p. (2018). MSC: 68-06 68N15 68N19 00B25 PDF BibTeX XML Cite \textit{C. Tian} (ed.) et al., Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017. Revised selected papers. Cham: Springer (2018; Zbl 1384.68007) Full Text: DOI
Czaja, Ludwik A protocol of mutual exclusion for DSM based on vectors of global timestamps. (English) Zbl 1386.68021 Fundam. Inform. 157, No. 4, 359-370 (2018). MSC: 68M14 68N19 PDF BibTeX XML Cite \textit{L. Czaja}, Fundam. Inform. 157, No. 4, 359--370 (2018; Zbl 1386.68021) Full Text: DOI
Clote, Peter; Bayegan, Amir H. RNA folding kinetics using Monte Carlo and Gillespie algorithms. (English) Zbl 1392.92066 J. Math. Biol. 76, No. 5, 1195-1227 (2018). MSC: 92D20 60J22 68N19 65C05 PDF BibTeX XML Cite \textit{P. Clote} and \textit{A. H. Bayegan}, J. Math. Biol. 76, No. 5, 1195--1227 (2018; Zbl 1392.92066) Full Text: DOI
Schmidt, Stephan; Schütte, Maria; Walther, Andrea Efficient numerical solution of geometric inverse problems involving Maxwell’s equations using shape derivatives and automatic code generation. (English) Zbl 1402.65104 SIAM J. Sci. Comput. 40, No. 2, B405-B428 (2018). Reviewer: Luis Filipe Pinheiro de Castro (Aveiro) MSC: 65M32 65M25 65K10 68N19 35Q61 35R30 78M50 49Q10 78A25 PDF BibTeX XML Cite \textit{S. Schmidt} et al., SIAM J. Sci. Comput. 40, No. 2, B405--B428 (2018; Zbl 1402.65104) Full Text: DOI
Walker, Shawn W. FELICITY: a Matlab/C++ toolbox for developing finite element methods and simulation modeling. (English) Zbl 06856484 SIAM J. Sci. Comput. 40, No. 2, C234-C257 (2018). MSC: 68N30 65N30 65M60 68N19 68N20 PDF BibTeX XML Cite \textit{S. W. Walker}, SIAM J. Sci. Comput. 40, No. 2, C234--C257 (2018; Zbl 06856484) Full Text: DOI
Agrawal, Kunal; Devietti, Joseph; Fineman, Jeremy T.; Lee, I-Ting Angelina; Utterback, Robert; Xu, Changming Race detection and reachability in nearly series-parallel DAGs. (English) Zbl 1403.68043 Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 156-171 (2018). MSC: 68P05 68M14 68N19 68R10 PDF BibTeX XML Cite \textit{K. Agrawal} et al., in: Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7--10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 156--171 (2018; Zbl 1403.68043) Full Text: Link
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten Choreographies, logically. (English) Zbl 1423.68304 Distrib. Comput. 31, No. 1, 51-67 (2018). MSC: 68Q85 03F52 68N19 PDF BibTeX XML Cite \textit{M. Carbone} et al., Distrib. Comput. 31, No. 1, 51--67 (2018; Zbl 1423.68304) Full Text: DOI
Weston, Toby Scala for Java developers. A practical primer. (English) Zbl 1382.68005 New York, NY: Springer/Apress (ISBN 978-1-4842-3107-4/pbk; 978-1-4842-3108-1/ebook). xxi, 245 p. (2018). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-01 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{T. Weston}, Scala for Java developers. A practical primer. New York, NY: Springer/Apress (2018; Zbl 1382.68005) Full Text: DOI
Kahn, David M. Undecidable problems for probabilistic network programming. (English) Zbl 1441.68019 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 68, 17 p. (2017). MSC: 68N19 68N30 68Q45 PDF BibTeX XML Cite \textit{D. M. Kahn}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 68, 17 p. (2017; Zbl 1441.68019) Full Text: DOI
Voevodin, Vladimir Valentinovich Parallelism in large software packages (why is it difficult to create efficient software). (Russian. English summary) Zbl 1434.68037 Chebyshevskiĭ Sb. 18, No. 3(63), 188-201 (2017). MSC: 68M07 65Y05 65Y15 68N19 68W10 PDF BibTeX XML Cite \textit{V. V. Voevodin}, Chebyshevskiĭ Sb. 18, No. 3(63), 188--201 (2017; Zbl 1434.68037) Full Text: DOI MNR
Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K. Abstract semantic diffing of evolving concurrent programs. (English) Zbl 1420.68051 Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 46-65 (2017). MSC: 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{A. Bouajjani} et al., Lect. Notes Comput. Sci. 10422, 46--65 (2017; Zbl 1420.68051) Full Text: DOI
Kahsai, Temesghen; Kersten, Rody; Rümmer, Philipp; Schäf, Martin Quantified heap invariants for object-oriented programs. (English) Zbl 1403.68126 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 368-384 (2017). MSC: 68Q60 68N19 68N30 68P05 PDF BibTeX XML Cite \textit{T. Kahsai} et al., EPiC Ser. Comput. 46, 368--384 (2017; Zbl 1403.68126) Full Text: DOI
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina An abstraction technique for describing concurrent program behaviour. (English) Zbl 1403.68034 Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 191-209 (2017). MSC: 68N19 03B70 68Q85 PDF BibTeX XML Cite \textit{W. Oortwijn} et al., Lect. Notes Comput. Sci. 10712, 191--209 (2017; Zbl 1403.68034) Full Text: DOI
Abe, Tatsuya; Ugawa, Tomoharu; Maeda, Toshiyuki Reordering control approaches to state explosion in model checking with memory consistency models. (English) Zbl 1403.68120 Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 170-190 (2017). MSC: 68Q60 68N19 PDF BibTeX XML Cite \textit{T. Abe} et al., Lect. Notes Comput. Sci. 10712, 170--190 (2017; Zbl 1403.68120) Full Text: DOI
Kogtenkov, Alexander Practical void safety. (English) Zbl 1403.68025 Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 132-151 (2017). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{A. Kogtenkov}, Lect. Notes Comput. Sci. 10712, 132--151 (2017; Zbl 1403.68025) Full Text: DOI
Panchenko, T. V.; Ivanov, Ye. V.; Fabunmi, Sunmade; Skidonenko, A. V.; Trofymenko, Ye. O. Extended dynamic state and instances spawning model in IPCL. (Ukrainian. English summary) Zbl 1413.68017 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 127-130 (2017). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{T. V. Panchenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 127--130 (2017; Zbl 1413.68017)
Sunmade, Fabunmi Some atomic operator’s semantics in IPCL. (Ukrainian. English summary) Zbl 1413.68019 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 59-62 (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{F. Sunmade}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 59--62 (2017; Zbl 1413.68019)
Parsa, Saeed; Hamzei, Mohammad Nested-loops tiling for parallelization and locality optimization. (English) Zbl 06986721 Comput. Inform. 36, No. 3, 566-596 (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{S. Parsa} and \textit{M. Hamzei}, Comput. Inform. 36, No. 3, 566--596 (2017; Zbl 06986721) Full Text: DOI
Lacko, Peter; Kajsa, Peter; Návrat, Pavol Design pattern instances within model driven development based on abstraction, concretization and variability. (English) Zbl 06986702 Comput. Inform. 36, No. 1, 55-85 (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{P. Lacko} et al., Comput. Inform. 36, No. 1, 55--85 (2017; Zbl 06986702) Full Text: DOI
Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike Proving opacity of a pessimistic STM. (English) Zbl 1432.68070 Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 35, 17 p. (2017). MSC: 68N30 68N19 68Q45 68V15 PDF BibTeX XML Cite \textit{S. Doherty} et al., LIPIcs -- Leibniz Int. Proc. Inform. 70, Article 35, 17~p. (2017; Zbl 1432.68070) Full Text: DOI
Savić, Miloš; Ivanović, Mirjana; Radovanović, Miloš Analysis of high structural class coupling in object-oriented software systems. (English) Zbl 1382.68052 Computing 99, No. 11, 1055-1079 (2017). MSC: 68N19 05C82 PDF BibTeX XML Cite \textit{M. Savić} et al., Computing 99, No. 11, 1055--1079 (2017; Zbl 1382.68052) Full Text: DOI
Gregorics, Tibor Object-oriented backtracking. (English) Zbl 1425.68057 Acta Univ. Sapientiae, Inform. 9, No. 2, 144-161 (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{T. Gregorics}, Acta Univ. Sapientiae, Inform. 9, No. 2, 144--161 (2017; Zbl 1425.68057) Full Text: DOI
Benger, Werner; Dobler, Wolfgang Massive geometric algebra: visions for C++ implementations of geometric algebra to scale into the big data era. (English) Zbl 1425.68424 Adv. Appl. Clifford Algebr. 27, No. 3, 2153-2174 (2017). MSC: 68U05 68N19 PDF BibTeX XML Cite \textit{W. Benger} and \textit{W. Dobler}, Adv. Appl. Clifford Algebr. 27, No. 3, 2153--2174 (2017; Zbl 1425.68424) Full Text: DOI
Stewart, John M. Python for scientists. 2nd edition. (English) Zbl 1380.68002 Cambridge: Cambridge University Press (ISBN 978-1-316-64123-1/pbk; 978-1-108-12024-1/ebook). xiv, 257 p. (2017). MSC: 68-01 00A06 68N15 68N19 PDF BibTeX XML Cite \textit{J. M. Stewart}, Python for scientists. 2nd edition. Cambridge: Cambridge University Press (2017; Zbl 1380.68002) Full Text: DOI
Jing, Weipeng; Tong, Danyu; Wang, Yangang; Wang, Jingyuan; Liu, Yaqiu; Zhao, Peng MaMR: high-performance MapReduce programming model for material cloud applications. (English) Zbl 1376.68022 Comput. Phys. Commun. 211, 79-87 (2017). MSC: 68M14 68M11 68N19 74-04 82-04 PDF BibTeX XML Cite \textit{W. Jing} et al., Comput. Phys. Commun. 211, 79--87 (2017; Zbl 1376.68022) Full Text: DOI
Henrio, Ludovic; Rochas, Justine Multiactive objects and their applications. (English) Zbl 1398.68087 Log. Methods Comput. Sci. 13, No. 4, Paper No. 12, 41 p. (2017). MSC: 68N19 68N20 68Q85 PDF BibTeX XML Cite \textit{L. Henrio} and \textit{J. Rochas}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 12, 41 p. (2017; Zbl 1398.68087) Full Text: DOI arXiv
Stefan, Deian; Mazières, David; Mitchell, John C.; Russo, Alejandro Flexible dynamic information flow control in the presence of exceptions. (English) Zbl 1418.68043 J. Funct. Program. 27, Paper No. e5, 56 p. (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{D. Stefan} et al., J. Funct. Program. 27, Paper No. e5, 56 p. (2017; Zbl 1418.68043) Full Text: DOI
Nguyên, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David Higher order symbolic execution for contract verification and refutation. (English) Zbl 1418.68061 J. Funct. Program. 27, Paper No. e3, 56 p. (2017). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{P. C. Nguyên} et al., J. Funct. Program. 27, Paper No. e3, 56 p. (2017; Zbl 1418.68061) Full Text: DOI
Sekiyama, Taro; Igarashi, Atsushi Stateful manifest contracts. (English) Zbl 1380.68105 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 530-544 (2017). MSC: 68N19 68N18 68N30 PDF BibTeX XML Cite \textit{T. Sekiyama} and \textit{A. Igarashi}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 530--544 (2017; Zbl 1380.68105) Full Text: DOI
Wickerson, John; Batty, Mark; Sorensen, Tyler; Constantinides, George A. Automatically comparing memory consistency models. (English) Zbl 1380.68110 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 190-204 (2017). MSC: 68N20 68N15 68N19 68Q60 PDF BibTeX XML Cite \textit{J. Wickerson} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 190--204 (2017; Zbl 1380.68110) Full Text: DOI
Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek A promising semantics for relaxed-memory concurrency. (English) Zbl 1380.68103 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 175-189 (2017). MSC: 68N19 68N15 PDF BibTeX XML Cite \textit{J. Kang} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 175--189 (2017; Zbl 1380.68103) Full Text: DOI
Shan, Chung-chieh; Ramsey, Norman Exact Bayesian inference by symbolic disintegration. (English) Zbl 1380.68106 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 130-144 (2017). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{C.-c. Shan} and \textit{N. Ramsey}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 130--144 (2017; Zbl 1380.68106) Full Text: DOI
Alglave, Jade; Cousot, Patrick Ogre and Pythia: an invariance proof method for weak consistency models. (English) Zbl 1380.68101 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 3-18 (2017). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{J. Alglave} and \textit{P. Cousot}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 3--18 (2017; Zbl 1380.68101) Full Text: DOI
Lesani, Mohsen Brief announcement: Fence insertion for straight-line programs is in P. (English) Zbl 1380.68104 Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 97-99 (2017). MSC: 68N19 68Q25 PDF BibTeX XML Cite \textit{M. Lesani}, in: Proceedings of the 36th ACM symposium on principles of distributed computing, PODC '17, Washington, DC, USA, July 25--27, 2017. New York, NY: Association for Computing Machinery (ACM). 97--99 (2017; Zbl 1380.68104) Full Text: DOI
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. Observational and behavioural equivalences for soft concurrent constraint programming. (English) Zbl 1373.68176 J. Log. Algebr. Methods Program. 92, 45-63 (2017). MSC: 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{F. Gadducci} et al., J. Log. Algebr. Methods Program. 92, 45--63 (2017; Zbl 1373.68176) Full Text: DOI
Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. (English) Zbl 1370.68195 Form. Methods Syst. Des. 51, No. 1, 200-265 (2017). MSC: 68Q60 68N19 68N30 PDF BibTeX XML Cite \textit{W. Ahrendt} et al., Form. Methods Syst. Des. 51, No. 1, 200--265 (2017; Zbl 1370.68195) Full Text: DOI
Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique Rely-guarantee termination and cost analyses of loops with concurrent interleavings. (English) Zbl 1409.68071 J. Autom. Reasoning 59, No. 1, 47-85 (2017). MSC: 68N30 68N19 68Q85 PDF BibTeX XML Cite \textit{E. Albert} et al., J. Autom. Reasoning 59, No. 1, 47--85 (2017; Zbl 1409.68071) Full Text: DOI
Bhat, Sooraj; Borgström, Johannes; Gordon, Andrew D.; Russo, Claudio Deriving probability density functions from probabilistic functional programs. (English) Zbl 1398.68084 Log. Methods Comput. Sci. 13, No. 2, Paper No. 16, 32 p. (2017). MSC: 68N18 68N19 68N20 68Q87 PDF BibTeX XML Cite \textit{S. Bhat} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 16, 32 p. (2017; Zbl 1398.68084) Full Text: DOI
Kuznetsov, Petr; Peri, Sathya Non-interference and local correctness in transactional memory. (English) Zbl 1371.68052 Theor. Comput. Sci. 688, 103-116 (2017). MSC: 68N30 68M14 68N19 68Q85 PDF BibTeX XML Cite \textit{P. Kuznetsov} and \textit{S. Peri}, Theor. Comput. Sci. 688, 103--116 (2017; Zbl 1371.68052) Full Text: DOI
Comini, Marco; Gallardo, María-del-Mar; Titolo, Laura; Villanueva, Alicia A program analysis framework for tccp based on abstract interpretation. (English) Zbl 1362.68045 Formal Asp. Comput. 29, No. 3, 531-557 (2017). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{M. Comini} et al., Formal Asp. Comput. 29, No. 3, 531--557 (2017; Zbl 1362.68045) Full Text: DOI
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346 Form. Methods Syst. Des. 50, No. 2-3, 97-139 (2017). MSC: 68N19 68M20 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. Černý} et al., Form. Methods Syst. Des. 50, No. 2--3, 97--139 (2017; Zbl 1360.68346) Full Text: DOI
Neykova, Rumyana; Yoshida, Nobuko Multiparty session actors. (English) Zbl 1398.68097 Log. Methods Comput. Sci. 13, No. 1, Paper No. 17, 30 p. (2017). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{R. Neykova} and \textit{N. Yoshida}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 17, 30 p. (2017; Zbl 1398.68097) Full Text: DOI arXiv
Liu, Shaoying (ed.); Duan, Zhenhua (ed.); Tian, Cong (ed.); Nagoya, Fumiko (ed.) Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. (English) Zbl 06707243 Lecture Notes in Computer Science 10189. Cham: Springer (ISBN 978-3-319-57707-4/pbk; 978-3-319-57708-1/ebook). x, 239 p. (2017). MSC: 68-06 68N15 68N19 00B25 PDF BibTeX XML Cite \textit{S. Liu} (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer (2017; Zbl 06707243) Full Text: DOI
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo Dynamic choreographies: theory and implementation. (English) Zbl 1398.68088 Log. Methods Comput. Sci. 13, No. 2, Paper No. 1, 57 p. (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{M. D. Preda} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 1, 57 p. (2017; Zbl 1398.68088) Full Text: DOI
Azadbakht, Keyvan; Bezirgiannis, Nikolaos; de Boer, Frank S. Distributed network generation based on preferential attachment in ABS. (English) Zbl 1444.68132 Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 103-115 (2017). MSC: 68R10 05C80 05C82 68M14 68N19 91D30 PDF BibTeX XML Cite \textit{K. Azadbakht} et al., Lect. Notes Comput. Sci. 10139, 103--115 (2017; Zbl 1444.68132) Full Text: DOI
Buchman, David; Poole, David Negative probabilities in probabilistic logic programs. (English) Zbl 1404.68034 Int. J. Approx. Reasoning 83, 43-59 (2017). MSC: 68N17 68N19 68Q87 PDF BibTeX XML Cite \textit{D. Buchman} and \textit{D. Poole}, Int. J. Approx. Reasoning 83, 43--59 (2017; Zbl 1404.68034) Full Text: DOI
Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H. Dynamic rebinding for concurrent object groups: theory and practice. (English) Zbl 1353.68044 J. Log. Algebr. Methods Program. 86, No. 1, 349-390 (2017). MSC: 68N19 68N15 PDF BibTeX XML Cite \textit{M. Bravetti} et al., J. Log. Algebr. Methods Program. 86, No. 1, 349--390 (2017; Zbl 1353.68044) Full Text: DOI
Lange, Julien; Yoshida, Nobuko Characteristic formulae for session types. (English) Zbl 1420.68070 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 833-850 (2016). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{J. Lange} and \textit{N. Yoshida}, Lect. Notes Comput. Sci. 9636, 833--850 (2016; Zbl 1420.68070) Full Text: DOI
Poetzl, Daniel; Kroening, Daniel Formalizing and checking thread refinement for data-race-free execution models. (English) Zbl 1420.68072 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 515-530 (2016). MSC: 68N30 68N19 68Q85 PDF BibTeX XML Cite \textit{D. Poetzl} and \textit{D. Kroening}, Lect. Notes Comput. Sci. 9636, 515--530 (2016; Zbl 1420.68072) Full Text: DOI
Enea, Constantin; Farzan, Azadeh On atomicity in presence of non-atomic writes. (English) Zbl 1420.68052 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 497-514 (2016). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{C. Enea} and \textit{A. Farzan}, Lect. Notes Comput. Sci. 9636, 497--514 (2016; Zbl 1420.68052) Full Text: DOI
Chistikov, Dmitry; Majumdar, Rupak; Niksic, Filip Hitting families of schedules for asynchronous programs. (English) Zbl 1411.68027 Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 9780, 157-176 (2016). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{D. Chistikov} et al., Lect. Notes Comput. Sci. 9780, 157--176 (2016; Zbl 1411.68027) Full Text: DOI
Tejedor, Enric; Álvarez, Javier; Badia, Rosa M. Infrastructure-Agnostic programming and interoperable execution in heterogeneous grids. (English) Zbl 06985656 Comput. Inform. 35, No. 4, 986-1004 (2016). MSC: 68N19 68M14 PDF BibTeX XML Cite \textit{E. Tejedor} et al., Comput. Inform. 35, No. 4, 986--1004 (2016; Zbl 06985656)
Kozsik, Tamás; Tóth, Melinda; Bozó, István; Horváth, Zoltán Static analysis for divide-and-conquer pattern discovery. (English) Zbl 06985653 Comput. Inform. 35, No. 4, 764-791 (2016). MSC: 68N19 PDF BibTeX XML Cite \textit{T. Kozsik} et al., Comput. Inform. 35, No. 4, 764--791 (2016; Zbl 06985653)
Julia, Stéphane; do Nascimento Vale, Liliane; Soares Passos, Lígia Maria Functional testing using object workflow nets. (English) Zbl 06985642 Comput. Inform. 35, No. 3, 719-743 (2016). MSC: 68N19 68M15 PDF BibTeX XML Cite \textit{S. Julia} et al., Comput. Inform. 35, No. 3, 719--743 (2016; Zbl 06985642)
Chochlík, Matúš Implementing the factory pattern with the help of reflection. (English) Zbl 06985638 Comput. Inform. 35, No. 3, 653-686 (2016). MSC: 68N19 PDF BibTeX XML Cite \textit{M. Chochlík}, Comput. Inform. 35, No. 3, 653--686 (2016; Zbl 06985638)
Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir May-happen-in-parallel analysis with condition synchronization. (English) Zbl 1398.68086 van Eekelen, Marko (ed.) et al., Foundational and practical aspects of resource analysis. 4th international workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-46558-6/pbk; 978-3-319-46559-3/ebook). Lecture Notes in Computer Science 9964, 1-19 (2016). MSC: 68N19 PDF BibTeX XML Cite \textit{E. Albert} et al., Lect. Notes Comput. Sci. 9964, 1--19 (2016; Zbl 1398.68086) Full Text: DOI
Miele, Vincent; Louvet, Violaine Parallel calculus with R. (Calcul parallèle avec R.) (French) Zbl 1392.68002 Pratique R. Les Ulis: EDP Sciences (ISBN 978-2-7598-2060-3/pbk; 978-2-7598-2068-9/ebook). 117 p. (2016). MSC: 68-01 68M07 68N15 68N19 PDF BibTeX XML Cite \textit{V. Miele} and \textit{V. Louvet}, Calcul parallèle avec R. Les Ulis: EDP Sciences (2016; Zbl 1392.68002)