Search Sciweavers | Sciweavers

1448 search results - page 2 / 290

» Deadlock Detection in Distributed Systems

click to vote

ARTS
1999
Springer

225views Distributed And Parallel Com...» more ARTS 1999»

Verifying Progress in Timed Systems

13 years 9 months ago

Download www-verimag.imag.fr

In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...

Stavros Tripakis

claim paper

Read More »

click to vote

CONCUR
1998
Springer

90views Distributed And Parallel Com...» more CONCUR 1998»

Detecting Deadlocks in Concurrent Systems

13 years 9 months ago

Download www.brics.dk

Lisbeth Fajstrup, Eric Goubault, Martin Rauß...

claim paper

Read More »

click to vote

EDO
2000
Springer

84views Distributed And Parallel Com...» more EDO 2000»

Using Model Checking to Detect Deadlocks in Distributed Object Systems

13 years 8 months ago

Download eprints.ucl.ac.uk

Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...

Nima Kaveh

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

118views Software Engineering» more SIGSOFT 2001»

Deadlock detection in distribution object systems

14 years 6 months ago

Download visnyk.vstu.vinnica.ua

Nima Kaveh, Wolfgang Emmerich

claim paper

Read More »