MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Programs Without Failures." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Programs without Failures
by Annalisa Bossi, Nicoletta Cocco — 1997 — Proceedings LOPSTR'97, Lecture Notes in Computer Science
…Programs without Failures Annalisa Bossi, Nicoletta Cocco Dip. di Matematica Applicata e…
Cited by 5 (1 self) – Add To MetaCart

Performance and effectiveness analysis of checkpointing in mobile environments
by Xinyu Chen, Michael R. Lyu — 2003 — in Proc. the 22nd Symposium on Reliable Distributed Systems
… of failures. They assume that the total program execution time without failure is known in advance, under…
Cited by 8 (1 self) – Add To MetaCart

Successes in Logic Programs
by Annalisa Bossi, Nicoletta Cocco — 1999 — In Proc. Twentieth Annual ACM Symp. on Principles of Programming Languages
… program and query are without failures, namely they cannot have finitely failing derivations (no…
Cited by 19 (9 self) – Add To MetaCart

Security within a Calculus of Mobile Agents?
by Cédric Fournet, Inria Rocquencourt — 1997
… implementations with their specification (e.g. simpler programs without failure-recovery within simpler contexts…
Add To MetaCart

Fault Recovery for Distributed Shared Memory Systems
by William R. Dieter, James E. Lumpp, Jr.
… the program without failure. Figure 1 demonstrates the situation that leads to an inconsistent global state…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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