×

Found 302 Documents (Results 1–100)

100
MathJax

Semantics, specification, and bounded verification of concurrent libraries in replicated systems. (English) Zbl 1478.68045

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 251-274 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automated synthesis: a distributed viewpoint. (English) Zbl 07278075

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 3, 5 p. (2018).
MSC:  68N19 68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of distributed algorithms with parameterized threshold guards. (English) Zbl 1487.68252

Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 32, 20 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

Models and languages for description of parallel processes. (English. Russian original) Zbl 1484.68142

J. Comput. Syst. Sci. Int. 57, No. 3, 471-481 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 3, 116-127 (2018).
MSC:  68Q85 68N19 68M14
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: Link

Proving opacity via linearizability: a sound and complete method. (English) Zbl 07542234

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 50-66 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Modularising opacity verification for hybrid transactional memory. (English) Zbl 07542233

Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 33-49 (2017).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

Recoverable mutual exclusion (extended abstract). (English) Zbl 1373.68177

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 65-74 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Multiparty session types as coherence proofs. (English) Zbl 1374.68323

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, 412-426 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Hoare logic for disjunctive information flow. (English) Zbl 1434.68095

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 47-65 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Complexity tradeoffs for read and update operations. (English) Zbl 1321.68168

Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 186-195 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Parallel programming for multicore and cluster systems. 2nd revised ed. (English) Zbl 1295.68012

Berlin: Springer (ISBN 978-3-642-37800-3/hbk; 978-3-642-37801-0/ebook). xiii, 516 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

Brief announcement: Increasing the power of the iterated immediate snapshot model with failure detectors. (English) Zbl 1301.68090

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 337-338 (2012).
MSC:  68N19 68M15
PDF BibTeX XML Cite
Full Text: DOI

Brief announcement: Reconfigurable state machine replication from non-reconfigurable building blocks. (English) Zbl 1301.68062

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 93-94 (2012).
MSC:  68M15 68M14 68N19
PDF BibTeX XML Cite
Full Text: DOI arXiv

Parallelization of sequential programs: distribution of arrays among processors and structurization of communications. (English. Russian original) Zbl 1276.68047

Cybern. Syst. Anal. 48, No. 1, 122-137 (2012); translation from Kibern. Sist. Anal. 2012, No. 1, 144-163 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n. (English) Zbl 1358.68041

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 74-101 (2012).
MSC:  68M14 68M20 68N19
PDF BibTeX XML Cite
Full Text: DOI

Eventually consistent transactions. (English) Zbl 1352.68050

Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 67-86 (2012).
MSC:  68N19 68M14 68P01
PDF BibTeX XML Cite
Full Text: DOI

Analyzing consistency properties for fun and profit. (English) Zbl 1321.68081

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 197-206 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Resilience of mutual exclusion algorithms to transient memory faults. (English) Zbl 1321.68172

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 69-78 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Predicate abstraction and refinement for verifying multi-threaded programs. (English) Zbl 1284.68427

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 331-344 (2011).
MSC:  68Q85 68M20 68N19
PDF BibTeX XML Cite
Full Text: DOI

A separation logic for refining concurrent objects. (English) Zbl 1284.68207

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 247-258 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

Mathematizing C++ concurrency. (English) Zbl 1284.68165

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 55-66 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

SMV: selective multi-versioning STM. (English) Zbl 1350.68049

Peleg, David (ed.), Distributed computing. 25th international symposium, DISC 2011, Rome, Italy, September 20–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24099-7/pbk). Lecture Notes in Computer Science 6950, 125-140 (2011).
MSC:  68M14 68N19
PDF BibTeX XML Cite
Full Text: DOI Link

Subtyping in distributed systems. Reprint of the 2001 hardback ed. (English) Zbl 1253.68243

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 233-253 (2010).
MSC:  68Q85 68M14 68N19
PDF BibTeX XML Cite

Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. (English) Zbl 1233.68011

Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).
PDF BibTeX XML Cite

Layering and enveloping: simplified algorithm with balancing loop fuzzy Petri net. (English) Zbl 1195.68078

Cao, Bing-yuan (ed.) et al., Fuzzy Information and Engineering 2010 (ACFIE 2010). Proceedings of the 5th annual conference, Huludao, China, September 23–27, 2010. Berlin: Springer (ISBN 978-3-642-14879-8/pbk; 978-3-642-14880-4/ebook). Advances in Intelligent and Soft Computing 78, 637-646 (2010).
MSC:  68T05 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Window-based greedy contention management for transactional memory. (English) Zbl 1290.68032

Lynch, Nancy A. (ed.) et al., Distributed computing. 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15762-2/pbk). Lecture Notes in Computer Science 6343, 64-78 (2010).
MSC:  68M20 68M14 68N19
PDF BibTeX XML Cite
Full Text: DOI

Verifying distributed systems: the operational approach. (English) Zbl 1315.68105

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 429-440 (2009).
MSC:  68N30 68N19 68M14 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

Verifying multithreaded recursive programs with integer variables. (English) Zbl 1347.68069

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 143-154 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Supporting parametric polymorphism in CORBA IDL. (English) Zbl 1183.68091

Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 285-292 (2009).
MSC:  68M14 68N19
PDF BibTeX XML Cite

Brahms. An agent-oriented language for work practice simulation and multi-agent systems development. (English) Zbl 1185.68209

Bordini, Rafael H. (ed.) et al., Multi-agent programming. Languages, tools and applications. New York, NY: Springer (ISBN 978-0-387-89298-6/hbk; 978-0-387-89299-3/ebook). 73-117 (2009).
MSC:  68N19 68U20 68T42
PDF BibTeX XML Cite
Full Text: DOI

Large scale distributed and parallel computing for linear algebra problems: practice and experience. (English) Zbl 1200.68067

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 261-291 (2009).
PDF BibTeX XML Cite
Full Text: DOI

A peer-to-peer framework for message passing parallel programs. (English) Zbl 1187.68135

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 118-147 (2009).
MSC:  68N19 68M14
PDF BibTeX XML Cite
Full Text: DOI

Hybrid performance modeling and prediction of large-scale parallel systems. (English) Zbl 1189.68033

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 54-82 (2009).
MSC:  68N19 68M20
PDF BibTeX XML Cite
Full Text: DOI

Formalizing parallel programming in large scale distributed networks: from tasks parallel and data parallel to applied categorical structures. (English) Zbl 1189.68032

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 24-53 (2009).
MSC:  68N19 68M14
PDF BibTeX XML Cite
Full Text: DOI

Types for secure pattern matching with local knowledge in universal concurrent constraint programming. (English) Zbl 1251.68156

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 417-431 (2009).
MSC:  68Q85 68N19 68T42
PDF BibTeX XML Cite
Full Text: DOI

Higher-order components for grid programming. Making grids more usable. (English) Zbl 1179.68015

Berlin: Springer (ISBN 978-3-642-00840-5/hbk; 978-3-642-00841-2/ebook). xiii, 186 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI

Multi-agent systems and paraconsistent knowledge. (English) Zbl 1171.68359

Jain, Lakhmi C. (ed.) et al., Knowledge processing and decision making in agent-based systems. Berlin: Springer (ISBN 978-3-540-88048-6/hbk; 978-3-540-88049-3/ebook). Studies in Computational Intelligence 170, 101-121 (2009).
MSC:  68M14 68N19 68T27
PDF BibTeX XML Cite
Full Text: DOI

Specifying and implementing secure mobile applications. (English) Zbl 1171.68578

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 235-283 (2009).
PDF BibTeX XML Cite

Abstract machine for service-oriented mobility. (English) Zbl 1171.68577

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 199-234 (2009).
PDF BibTeX XML Cite

Prototyping concurrent systems with agents and artifacts: framework and core calculus. (English) Zbl 1277.68203

Canal, Carlos (ed.) et al., Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 4, 111-132 (2008).
MSC:  68Q85 68N19 68T42
PDF BibTeX XML Cite
Full Text: DOI

Observable behavior of dynamic systems: component reasoning for concurrent objects. (English) Zbl 1277.68056

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 19-34 (2008).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

The power of DCAS, highly-concurrent software transactional memory. (English) Zbl 1283.68118

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 342-343 (2007).
PDF BibTeX XML Cite
Full Text: DOI

From causal to \(z\)-linearizable transactional memory. (English) Zbl 1283.68120

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 340-341 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Transactions and privatization in Delaunay triangulation. (English) Zbl 1283.68121

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 336-337 (2007).
MSC:  68N19 68M14
PDF BibTeX XML Cite
Full Text: DOI

SNZI, scalable nonzero indicators. (English) Zbl 1283.68119

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 13-22 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Constant-RMR implementations of CAS and other synchronization primitives using read and write operations. (English) Zbl 1283.68095

Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 3-12 (2007).
PDF BibTeX XML Cite
Full Text: DOI Link

Formal sequentialization of distributed systems via program rewriting. (English) Zbl 1278.68213

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 53-75 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Role of formal methods in the automobile industry. (English) Zbl 1189.93101

Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 175 (2007).
MSC:  93C85 93A30 68N19
PDF BibTeX XML Cite
Full Text: DOI

Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. (English) Zbl 1118.68002

Lecture Notes in Computer Science 4468. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). x, 317 p. (2007).
PDF BibTeX XML Cite
Full Text: DOI

RALE: an environment for simulation and transformations. (English) Zbl 1127.68357

Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 265-284 (2007).
MSC:  68N19 68M14
PDF BibTeX XML Cite

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