MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Checking for Deadlock" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

230 documents found, showing 1 through 10. Next 10 →

ATOM

Deadlock Checking Using Net Unfoldings
by Stephan Melzer, Stefan Römer — 1997 — In Proceeding of 9th International Conference on Computer Aided Verification (CAV’97
…Deadlock Checking Using Net Unfoldings ? Stephan Melzer and Stefan Romer ?? Abstract. Mc…
Cited by 35 (1 self) – Add To MetaCart

Deadlock Checking for Complete Finite Preo/xes Using Logic Programs with Stable Model Semantics
by unknown authors
… Deadlock Checking for Complete Finite Preo/xes Using Logic Programs with Stable Model Semantics…
Add To MetaCart

An Approach to Tackle Livelock-freedom in SOA
by Christian Stahl, Karsten Wolf
… can be checked for deadlocks and livelocks. We show that this approach is applicable to realize a…
Add To MetaCart

Incremental Development of Deadlock-Free Communicating Systems
by Stephan Kleuker — 1997 — Proc. of TACAS'97, LNCS 1217
…-freedom. For systems consisting of the parallel composition of subsystems it is complex to check deadlock…
Cited by 1 (1 self) – Add To MetaCart

A Conversation-oriented language for B2B integration based on Semantic Web Services
by Juan Miguel Gomez, Armin Haller — 2005 — on Semantic Web Services. WWW 2005
… be formally checked, such as deadlock-freedom and how it builds on an architecture based on Semantic Web…
Cited by 1 (0 self) – Add To MetaCart

Safe and verifiable design of concurrent Java programs
by P. H. Welch, G. H. Hilderink, A. W. P. Bakkers, G. S. Stiles — 1999 — Proceedings of the IASTED International Conference
… and check the design of concurrent systems for a variety of dangers such as deadlock and livelock…
Cited by 4 (2 self) – Add To MetaCart

A Counterexample Guided Abstraction
by Refinement Framework For, Sagar J. Chaki — 2005
…/Event formalism, Deadlock, Temporal logic, Model checking, Predicate abstraction, Abstraction refinement…
Add To MetaCart

Model-Checking CSP-Z
by Alexandre Mota, Augusto Sampaio — 1998 — In Proceedings of the European Joint Conference on Theory and Practice of Software, volume 1382 of LNCS
… FDR to check that the specification is deadlock-free. 1 Introduction There is an increasing interest…
Cited by 10 (4 self) – Add To MetaCart

An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance
by Albert Timothy Chamillard — 1995 — In Proceedings of the 1995 European Software Engineering Conference
… reachability graph size, reachability graph generation time, and deadlock check times for concurrent Ada…
Cited by 1 (1 self) – Add To MetaCart

Static Deadlock Detection for the SHIM Concurrent Language
by Nalini Vasudevan, Stephen A. Edwards
… violates a communication protocol. We present a model-checking-based static deadlock detection technique…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB