×

Found 247 Documents (Results 1–100)

Specification and implementation of replicated list: the Jupiter protocol revisited. (English) Zbl 07561440

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 12, 16 p. (2019).
MSC:  68M14 68M20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Order out of chaos: proving linearizability using local views. (English) Zbl 1497.68141

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 23, 21 p. (2018).
MSC:  68P05 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Locking timestamps versus locking objects. (English) Zbl 1428.68054

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 367-376 (2018).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI Link

Seeing is believing: a client-centric specification of database isolation. (English) Zbl 1380.68043

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). 73-82 (2017).
MSC:  68M14 68P15 68P20
PDF BibTeX XML Cite
Full Text: DOI

Concurrent usage control implementation verification using the SPIN model checker. (English) Zbl 1210.68070

Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 214-223 (2010).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Session types for access and information flow control. (English) Zbl 1287.68126

Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 237-252 (2010).
MSC:  68Q85 68M12
PDF BibTeX XML Cite
Full Text: DOI

A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition. (English) Zbl 1274.68015

Kutten, Shay (ed.) et al., Structural information and communication complexity. 16th international colloquium, SIROCCO 2009, Piran, Slovenia, May 25–27, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11475-5/pbk). Lecture Notes in Computer Science 5869, 266-280 (2010).
MSC:  68M12
PDF BibTeX XML Cite
Full Text: DOI

An optimistic concurrency control protocol for replicated databases. (English) Zbl 1176.68061

Ravi, S. S. (ed.) et al., Fundamental problems in computing. Essays in honor of Professor Daniel J. Rosenkrantz. With a foreword of Richard E. Stearns. Dordrecht: Springer (ISBN 978-1-4020-9687-7/hbk; 978-1-4020-9688-4/ebook). 327-351 (2009).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI

Comparative study of concurrency control on bulk-synchronous parallel search engines. (English) Zbl 1172.68438

Bischof, Christian (ed.) et al., Parallel computing: Architectures, algorithms and applications. Selected papers based on the presentations at the international parallel computing conference (ParCo 2007), Aachen, Germany, September 4–7, 2007. Amsterdam: IOS Press (ISBN 978-1-58603-796-3/hbk). Advances in Parallel Computing 15, 389-396 (2008).
MSC:  68P10 68M10 68P05
PDF BibTeX XML Cite

A system theory view of Petri nets. (English) Zbl 1118.93038

Bonivento, Claudio (ed.) et al., Advances in control theory and applications. Selected papers based on the presentations at the meeting, Bertinoro, Italy, May 22–26, 2006. Berlin: Springer (ISBN 978-3-540-70700-4/pbk). Lecture Notes in Control and Information Sciences 353, 99-127 (2007).
MSC:  93C65 93A30 93-02 68Q85
PDF BibTeX XML Cite

Transactional contention management as a non-clairvoyant scheduling problem. (English) Zbl 1314.68082

Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 308-315 (2006).
PDF BibTeX XML Cite
Full Text: DOI

Supporting collaborative design. (English) Zbl 1048.68951

Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 249-262 (2002).
MSC:  68U99 68M10
PDF BibTeX XML Cite

Coalgebra, concurrency, and control. (English) Zbl 1017.93064

Boel, R. (ed.) et al., Discrete event systems. Analysis and control. Papers from the 5th workshop, WODES 2000, Ghent, Belgium, August 21-23, 2000. Boston: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 569, 31-38 (2000).
MSC:  93C65 93B25 68Q85
PDF BibTeX XML Cite

Integration of different commit/isolation protocols in CSCW systems with shared data. (English) Zbl 0970.68707

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 3rd international Andrei Ershov memorial conference, PSI ’99. Akademgorodik, Novosibirsk, Russia, July 6-9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1755, 341-351 (2000).
MSC:  68U99 68P15
PDF BibTeX XML Cite

\(\text{OCC}\_\text{CTP}\): A new optimistic concurrency control strategy based on combining transaction parameters in DSM systems. (English) Zbl 0963.68007

Cheng, Wilson C. H. (ed.) et al., PART ’99. Proceedings of the 6th Australasian conference on Parallel and real-time systems, Melbourne, Australia, November 29-December 1, 1999. Singapore: Springer. 13-21 (2000).
MSC:  68M10 68N19
PDF BibTeX XML Cite

Semantical concurrency control of object-oriented database systems. (Semantische Concurrency Control in objektorientierten Datenbanksystemen.) (German) Zbl 0883.68052

Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD-Berichte). 284. München: Oldenbourg. Darmstadt: TH Darmstadt, 233 p. (1997).
MSC:  68P15 68-01
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

Main Field

all top 3

Software