×

Found 41 Documents (Results 1–41)

100
MathJax

A framework for transactional consistency models with atomic visibility. (English) Zbl 1374.68064

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

A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Safe nondeterminism in a deterministic-by-default parallel language. (English) Zbl 1284.68166

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

Coarse-grained transactions. (English) Zbl 1312.68143

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 19-30 (2010).
MSC:  68Q65 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Partial memoization of concurrency and communication. (English) Zbl 1302.68076

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 161-172 (2009).
MSC:  68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

Biological transactions for quantitative models. (English) Zbl 1277.68173

Busi, Nadia (ed.) et al., Proceedings of the first workshop on membrane computing and biologically inspired process calculi (MeCBIC 2006), S. Servolo, Venice, Italy, July 9, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 2, 55-67 (2007).
MSC:  68Q85 68Q55 92C42
PDF BibTeX XML Cite
Full Text: DOI

Transactional events. (English) Zbl 1321.68149

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 124-135 (2006).
MSC:  68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

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

Graph transactions as processes. (English) Zbl 1156.68416

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 199-214 (2006).
MSC:  68Q42 68Q85 18A40
PDF BibTeX XML Cite
Full Text: DOI

Theoretical foundations for compensations in flow composition languages. (English) Zbl 1369.68070

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 209-220 (2005).
MSC:  68N15 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Toward a theory of transactional contention managers. (English) Zbl 1314.68088

Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 258-264 (2005).
PDF BibTeX XML Cite
Full Text: DOI Link

AtomCaml: first-class atomicity via rollback. (English) Zbl 1302.68052

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 92-104 (2005).
MSC:  68N15 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

Summarizing procedures in concurrent programs. (English) Zbl 1325.68156

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 245-255 (2004).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Concurrent construction of proof-nets. (English) Zbl 1116.03311

Baaz, Matthias (ed.) et al., Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40801-0/pbk). Lect. Notes Comput. Sci. 2803, 29-42 (2003).
PDF BibTeX XML Cite
Full Text: DOI

Critical evaluation of the EJB transaction model. (English) Zbl 1025.68656

Guelfi, Nicolas (ed.) et al., Scientific engineering for distributed Java applications. International workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2604, 15-28 (2003).
MSC:  68U99 68N19
PDF BibTeX XML Cite
Full Text: Link

AOP: Does it make sense? The case of concurrency and failures. (English) Zbl 1049.68800

Magnusson, Boris (ed.), ECOOP 2002 - object-oriented programming. 16th European conference, Málaga, Spain, June 10–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43759-2). Lect. Notes Comput. Sci. 2374, 37-61 (2002).
MSC:  68U99 68N19
PDF BibTeX XML Cite
Full Text: Link

Object-oriented business solutions. (English) Zbl 1048.68722

Frohner, Ákos (ed.), Object-oriented technology. ECOOP 2001 workshop reader. Panel and posters, Budapest, Hungary, June 18–22, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43675-8). Lect. Notes Comput. Sci. 2323, 184-200 (2002).
MSC:  68U99 68N19 68M10
PDF BibTeX XML Cite
Full Text: Link

Using Petri nets for modeling branch control of pipelined processors. (English) Zbl 1033.68077

Abraham, Ajith (ed.) et al., Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11–12, 2001. Heidelberg: Physica-Verlag (ISBN 3-7908-1480-6/pbk). Advances in Soft Computing, 653-663 (2002).
MSC:  68Q85
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software