×

Found 65 Documents (Results 1–65)

100
MathJax

Dynamic symbolic verification of MPI programs. (English) Zbl 1460.68029

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 466-484 (2018).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Deadlock detection for actor-based coroutines. (English) Zbl 1460.68025

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 39-54 (2018).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Fencing off Go: liveness and safety for channel-based programming. (English) Zbl 1380.68298

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). 748-761 (2017).
MSC:  68Q85 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Static analysis of concurrent programs using ordinary differential equations. (English) Zbl 1250.68090

Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 1-35 (2009).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Stochastic analysis of distributed deadlock scheduling. (English) Zbl 1314.68086

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

Control mechanisms in distributed object bases. Synchronization, deadlock detection, migration (Univ. Passau, 1998). (English) Zbl 0989.68032

DISDBIS, Dissertationen zu Datenbanken und Informationssystemen. 54. Amsterdam: IOS Press. St. Augustin: infix, 134 p. (1999).
MSC:  68N25 68-02
PDF BibTeX XML Cite

Performance analysis of distributed deadlock-detection algorithms. (English) Zbl 0801.68074

Mullen, Gary L. (ed.) et al., Finite fields, coding theory, and advances in communications and computing. Proceedings of the international conference on finite fields, coding theory, and advances in communications and computing, held at the University of Nevada, Las Vegas, USA, August 7-10, 1991. New York: Marcel Dekker, Inc. Lect. Notes Pure Appl. Math. 141, 253-268 (1993).
MSC:  68W15 68M20 68P15
PDF BibTeX XML Cite

A unified approach to the deadlock detection problem in networks of communicating finite state machines. (English) Zbl 0786.68008

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 395-404 (1991).
MSC:  68M10
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