MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reasoning about Timeouts." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Harvest, Yield, and Scalable Tolerant Systems  
  • by Armando Fox Stanford, Armando Fox, Eric A. Brewer — 1999 — In HotOS-VII
  • … mechanisms with small state spaces whose be- ยง haviors are easy to reason about: timeout-based partial…
  • Add To MetaCart
  • On Modeling Real-time Mobile Processes  
  • by Jeremy Y. Lee, John Ic I — 2002 — In Proceedings of the twenty-fifth Australasian Conference on Computer science (2002
  • … of prefix de- lay for describing and reasoning about timeouts proved to be very cumbersome. The current…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB