Anish Arora David M. Poduska December 1994 Revised: March 1995  Home/Search
Context Related
Links: ACM | ohiostate.edu/pub/techre...TR26.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ohiostate.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paradigm of information exchange provides a basis for nodes in a network to stay uptodate with the recent information in the network. In this paradigm, nodes cooperate to share their current information with each other. We present a simple and uniform schema for building information exchange protocols that are stabilizing, in the following strong sense. Starting from arbitrary state, the protocols reach within bounded real-time a state wherefrom all nodes remain uptodate with the... (Update)
Context of citations to this paper: More
.... Principles underlying various kinds of program transformation steps and program composition rules are given in [GH91, Sto93, SS94, Aro94, AP95, Var97] The dissertation [Pra95] demonstrates how mechanical theorem proving technology (using HOL) assists in the verification of...
...implemented in software and does not need service or kernel modification. It detects faults using a selfstabilizing distributed algorithm [3] and provides highavailability using IP failover. The self stabilizing algorithm allows client visible faults but makes them short lived....
Cited by: More
Information Societies Technology - Ist Programme Contract (Correct)
Resettable Vector Clocks: A Case Study in Designing Graybox.. - Demirbas (2000) (Correct)
Towards Dependable Home Networking: An Experience Report - Wang, Russell, Arora.. (2000) (Correct)
Similar documents (at the sentence level):
74.8%: A Timing-based Schema for Stabilizing Information Exchange - Arora, Poduska (1995) (Correct)
Active bibliography (related documents): More All
0.0: Using Simulation Techniques to Prove Timing Properties - Luchangco (1995) (Correct)
0.0: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
0.0: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
Similar documents based on text: More All
0.1: Efficient Reconfiguration of Trees: A Case Study in Methodical.. - Arora (1994) (Correct)
0.1: Component Based Design of Multitolerance - Arora, Kulkarni (1998) (Correct)
0.0: A Multi-Agent Architecture for an Intelligent Website in.. - Jonker, Lam, Treur (1999) (Correct)
Related documents from co-citation: More All
4: Self-stabilizing systems in spite of distributed control (context) - Dijkstra - 1974
3: Closure and convergence: A foundation for fault-tolerent computing - et, -- - 1993
2: Information Processing Letters (context) - Gouda, Herman - 1990
BibTeX entry: (Update)
A. Arora and D. M. Poduska. A timing-based schema for stabilizing information exchange. Technical Report OSUCISRC -5/95-TR26, The Ohio State University, 1995. http://citeseer.ist.psu.edu/article/arora95timingbased.html More
@inproceedings{ arora95timingbased,
author = "Anish Arora and David M. Poduska",
title = "A timing-based schema for stabilizing information exchange",
booktitle = "Proceedings of the Third International Conference on Computer Networks, Tokyo, Japan",
year = "1995",
url = "citeseer.ist.psu.edu/article/arora95timingbased.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
275 The Science of Programming (context) - Gries - 1981
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986 ACM DBLP
147 Real-time logics: Complexity and expressiveness - Alur, Henzinger - 1990 ACM DBLP
77 nondeterminacy and formal derivation of programs (context) - Dijkstra - 1975
69 Using mappings to prove timing properties - Lynch, Attiya - 1990 ACM DBLP
41 Self-stabilization by local checking and correction Ph (context) - Varghese - 1992
40 Proving assertions about parallel programs (context) - Ashcroft - 1975 DBLP
40 Real-time programming and asynchronous message passing (context) - Koymans, Vytopil et al. - 1983 ACM DBLP
1 Stabilizing communication protocols IEEE Transactions on Com.. (context) - Gouda, Multari - 1991
1 Distributed network protocols IEEE Transactions on Informati.. (context) - Segall - 1983
1 A logic for real-time fault-tolerant programs (context) - Arora, Poduska - 1995
1 Temporal proof methodologies for time transition systems (context) - Henzinger, Manna et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cis.ohio-state.edu.html): More
Reducing Cache Invalidation Overheads in Wormhole Routed DSMs.. - Dai, Panda (1996) (Correct)
On Meta-Programming in CLP(R) - Heintze, Michaylov, Stuckey, Yap (1989) (Correct)
Effective Use of Virtual Channels in Wormhole Routed.. - Dai, Panda (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC