Skip to contents

Vossen, Gottfried [Author]; Wang, S. Shouhan [Author]; Wang, S. S. [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

Correct and efficient deadlock detection and resolution in distributed database systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Fachgruppe Informatik, RWTH, 1989

Published in: Aachener Informatik-Berichte ; 198921
Shoshani, Arie [Author]; Coffman, Edward G. [Author]

Detection, prevention and recovery from deadlocks in multiprocess, multiple resource systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Princeton: Univ., 1969

Published in: Princeton University: Technical report ; 80
Shoshani, Arie [Author]

Detection, prevention and recovery from deadlocks in multiprocess multiple resource systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ann Arbor, Mich.: University Microfilms, 1969
Raussen, Martin [Author] ; Martin Raussen [Contributor]

Deadlocks and Dihomotopy in Mutual Exclusion Models

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Hilbrich, Tobias [Author] ; Nagel, Wolfgang E. [Degree supervisor]; Ludwig, Thomas [Degree supervisor]

Runtime MPI Correctness Checking with a Scalable Tools Infrastructure

View online
Schließen

Access

https://d-nb.info/108818541X/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2016
Isabel, Miguel [Author] ; Miguel Isabel [Contributor]

Testing of Concurrent Programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Caltais, Georgiana [Author]; Meyer, Bertrand [Author]

On the verification of SCOOP programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KOPS - The Institutional Repository of the University of Konstanz, 2017

Published in: Science of Computer Programming. 2017, 133(2), pp. 194-215. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2016.08.005
Leue, Stefan [Author]; Tabaei Befrouei, Mitra [Author]

Counterexample explanation by anomaly detection

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KOPS - The Institutional Repository of the University of Konstanz, 2012
Minnameier, Christoph [Other]

Deadlock-detection in component-based systems is NP-hard

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim: Universität Mannheim / Institut für Informatik, 2006

Published in: Manuskripte / Reihe Informatik ; 2006-015
Ngô, Van Chan [Author] ; Rennes 1 [Contributor]; Talpin, Jean-Pierre [Contributor]

Formal verification of a synchronous data-flow compiler : from Signal to C ; Vérification formelle d’un compilateur synchrone : de Signal vers C

View online
Schließen

Links

http://www.theses.fr/2014REN1S034/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2014-07-01
Praveen, Asim Rama [Author] ; Zhang, Hubert [Other]; Langille, Dan (Moderator) [Other]

Distributed snapshots and global deadlock detection

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: PGCon - PostgreSQL Conference for Users and Developers, 2020

Published in: PGCon 2020 ; (Jan. 2020)
Bracha, Gabriel; Toueg, Sam

Distributed deadlock detection

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 1987

Published in: Distributed Computing
Agrawal, Rakesh; Carey, Michael J.; DeWitt, David J.

Deadlock detection is cheap

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1983

Published in: ACM SIGMOD Record
Chandy, K. Mani; Misra, Jayadev; Haas, Laura M.

Distributed deadlock detection

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1983

Published in: ACM Transactions on Computer Systems
Obermarck, Ron

Distributed deadlock detection algorithm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1982

Published in: ACM Transactions on Database Systems
Polyakov, Sergey Andreevich; Borodin, Alexey Evgenevich

Deadlock Detection using Static Analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute for System Programming of the Russian Academy of Sciences, 2020

Published in: Proceedings of the Institute for System Programming of the RAS
Zeng, Hong-wei

Deadlock detection using abstraction refinement

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2010

Published in: Journal of Shanghai University (English Edition)
Yibei Ling; Shigang Chen; Cho-Yu Jason Chiang

On Optimal Deadlock Detection Scheduling

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2006

Published in: IEEE Transactions on Computers
Luecke, Glenn R.; Zou, Yan; Coyle, James; Hoekstra, Jim; Kraeva, Marina

Deadlock detection in MPI programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2002

Published in: Concurrency and Computation: Practice and Experience
Singhal, M.

Deadlock detection in distributed systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 1989

Published in: Computer

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication