×

Found 206 Documents (Results 1–100)

Asynchronous wait-free runtime verification and enforcement of linearizability. (English) Zbl 07824315

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 90-101 (2023).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Zeros of solutions of third-order L-A pairs and linearizable ordinary differential equations. (English. Russian original) Zbl 1523.35200

Proc. Steklov Inst. Math. 321, Suppl. 1, S230-S238 (2023); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 29, No. 1, 180-189 (2023).
MSC:  35K05 35C05 34A05
PDFBibTeX XMLCite
Full Text: DOI

Blunting an adversary against randomized concurrent programs with linearizable implementations. (English) Zbl 07824266

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 209-219 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

How should we think about persistent data structures? (English) Zbl 07824241

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 3 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: Linearizability: a typo. (English) Zbl 07824234

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 561-564 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

On register linearizability and termination. (English) Zbl 07824230

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 521-531 (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Brief announcement: ordered reliable broadcast and fast ordered Byzantine consensus for cryptocurrency. (English) Zbl 07774314

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 63, 4 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: non-blocking dynamic unbounded graphs with worst-case amortized bounds. (English) Zbl 07774303

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

VBR: version based reclamation. (English) Zbl 07774286

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 35, 18 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tame the wild with Byzantine linearizability: reliable broadcast, snapshots, and asset transfer. (English) Zbl 07774269

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 18, 18 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fully Read/Write fence-free work-stealing with multiplicity. (English) Zbl 07774267

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 16, 20 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast nonblocking persistence for concurrent data structures. (English) Zbl 07774265

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 14, 20 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Wait-free CAS-based algorithms: the burden of the past. (English) Zbl 07774262

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 11, 15 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Impossibility of strongly-linearizable message-passing objects via simulation by single-writer registers. (English) Zbl 07774258

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 7, 18 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fragmented objects: boosting concurrency of shared large objects. (English) Zbl 07495136

Jurdziński, Tomasz (ed.) et al., Structural information and communication complexity. 28th international colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12810, 106-126 (2021).
MSC:  68Mxx 68Q11 68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

\(k\)-immediate snapshot and \(x\)-set agreement: how are they related? (English) Zbl 1517.68042

Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 97-112 (2020).
MSC:  68M14 68M15 68W15
PDFBibTeX XMLCite
Full Text: DOI

Extending the wait-free hierarchy to multi-threaded systems. (English) Zbl 07323165

Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 21-30 (2020).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI HAL

Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects. (English) Zbl 1515.68096

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019).
MSC:  68N19 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrent specifications beyond linearizability. (English) Zbl 07561456

Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 28, 16 p. (2019).
MSC:  68M14 68M20
PDFBibTeX XMLCite
Full Text: DOI

Strongly linearizable implementations of snapshots and other types. (English) Zbl 07298674

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 197-206 (2019).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Concurrent lock-free unbounded priority queue with mutable priorities. (English) Zbl 1519.68065

Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 365-380 (2018).
MSC:  68P05 68W15
PDFBibTeX XMLCite
Full Text: DOI

Interleaving-tree based fine-grained linearizability fault localization. (English) Zbl 1511.68061

Feng, Xinyu (ed.) et al., Dependable software engineering. Theories, tools, and applications. 4th international symposium, SETTA 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10998, 108-126 (2018).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Monitoring weak consistency. (English) Zbl 1511.68181

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 487-506 (2018).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Linearizability of multi-control systems of the class \(C^1\) by additive change of controls. (English) Zbl 1427.93052

André, Carlos (ed.) et al., Operator theory, operator algebras, and matrix theory. Based on the presentations at the international workshop on operator theory and operator algebras, WOAT 2016, Lisbon, Portugal, July 5–8, 2016. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 267, 359-370 (2018).
MSC:  93B18 93C10
PDFBibTeX XMLCite
Full Text: DOI

Checking linearizability of concurrent priority queues. (English) Zbl 1442.68126

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 16, 16 p. (2017).
MSC:  68Q85 68Q60 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Local linearizability for concurrent container-type data structures. (English) Zbl 1392.68152

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 6, 15 p. (2016).
MSC:  68P05 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Are shared objects composable under an oblivious adversary? (English) Zbl 1375.68196

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). 335-344 (2016).
MSC:  68W15 68W20
PDFBibTeX XMLCite
Full Text: DOI

\(t\)-resilient immediate snapshot Is impossible. (English) Zbl 1482.68055

Suomela, Jukka (ed.), Structural information and communication complexity. 23rd international colloquium, SIROCCO 2016, Helsinki, Finland, July 19–21, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9988, 177-191 (2016).
MSC:  68M14
PDFBibTeX XMLCite
Full Text: DOI

Symbolic abstract data type inference. (English) Zbl 1347.68245

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). 513-525 (2016).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract). (English) Zbl 1394.68225

Moses, Yoram (ed.), Distributed computing. 29th international symposium, DISC 2015, Tokyo, Japan, October 7–9, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48652-8/pbk; 978-3-662-48653-5/ebook). Lecture Notes in Computer Science 9363, 420-435 (2015).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Tractable refinement checking for concurrent objects. (English) Zbl 1345.68096

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 651-662 (2015).
MSC:  68N30 03B70 68W25
PDFBibTeX XMLCite
Full Text: DOI

A scalable, correct time-stamped stack. (English) Zbl 1345.68116

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 233-246 (2015).
MSC:  68P05 68T15
PDFBibTeX XMLCite
Full Text: DOI

The future(s) of shared data structures. (English) Zbl 1321.68225

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). 30-39 (2014).
PDFBibTeX XMLCite
Full Text: DOI

On the signaling problem. (English) Zbl 1482.68276

Chatterjee, Mainak (ed.) et al., Distributed computing and networking. 15th international conference, ICDCN 2014, Coimbatore, India, January 4–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8314, 44-65 (2014).
MSC:  68W15 68M14
PDFBibTeX XMLCite
Full Text: DOI

Checking linearizability of encapsulated extended operations. (English) Zbl 1405.68066

Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 311-330 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Logical relations for fine-grained concurrency. (English) Zbl 1301.68181

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 343-356 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Some subgroups of the Cremona groups. (English) Zbl 1301.14006

Masuda, Kayo (ed.) et al., Affine algebraic geometry. Proceedings of the conference, Osaka, Japan, March 3–6, 2011. Dedicated to Professor Masayoshi Miyanishi on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4436-69-4/hbk; 978-981-4436-71-7/ebook). 213-242 (2013).
MSC:  14E07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software