-
1
-
-
0001939851
-
Self-stabilizing unidirectional network algorithms by power-supply
-
Afek, Y., Bremler, A. (1998) Self-stabilizing unidirectional network algorithms by power-supply. Chicago Journal of Theoretical Computer Science 1998(3): 1-48
-
(1998)
Chicago Journal of Theoretical Computer Science
, vol.1998
, Issue.3
, pp. 1-48
-
-
Afek, Y.1
Bremler, A.2
-
2
-
-
0004354423
-
Self-stabilizing mutual exclusion on directed graphs
-
Stichting Mathematisch Centrum, Amsterdam
-
Alstein, D., Hoepman, J.H., Olivier, B.E., van der Put, P.I.A. (1994) Self-stabilizing mutual exclusion on directed graphs. In: Computing Science in the Netherlands (Utrecht, 1994), Stichting Mathematisch Centrum, Amsterdam, pp. 42-53
-
(1994)
Computing Science in the Netherlands (Utrecht, 1994)
, pp. 42-53
-
-
Alstein, D.1
Hoepman, J.H.2
Olivier, B.E.3
Van Der Put, P.I.A.4
-
3
-
-
0022144867
-
Complexity of network synchronization
-
Awerbuch, B. (1985) Complexity of network synchronization. JACM 32(4): 804-823
-
(1985)
JACM
, vol.32
, Issue.4
, pp. 804-823
-
-
Awerbuch, B.1
-
4
-
-
5044219884
-
Self-stabilizing autonomie recoverer for eventual byzantine software
-
Herzelia
-
Brukman, O., Dolev, S., Kolodner, H. (2003) Self-stabilizing autonomie recoverer for eventual byzantine software. IEEE International Conference on Software-Science, Technology & Engineering, (SwSTE03). Herzelia, pp. 20-29. Also in: Workshop on Adaptive Distributed Systems (WADiS03), Sorrento, Italy
-
(2003)
IEEE International Conference on Software-science, Technology & Engineering, (SwSTE03)
, pp. 20-29
-
-
Brukman, O.1
Dolev, S.2
Kolodner, H.3
-
5
-
-
5044219884
-
-
Sorrento, Italy
-
Brukman, O., Dolev, S., Kolodner, H. (2003) Self-stabilizing autonomie recoverer for eventual byzantine software. IEEE International Conference on Software-Science, Technology & Engineering, (SwSTE03). Herzelia, pp. 20-29. Also in: Workshop on Adaptive Distributed Systems (WADiS03), Sorrento, Italy
-
Workshop on Adaptive Distributed Systems (WADiS03)
-
-
-
6
-
-
0003954225
-
Digraphs: Theory, algorithms and applications
-
Springer, London
-
Bang-Jensen, J., Gutin, G. (2000) Digraphs: theory, algorithms and applications. Springer Monographs in Mathematics, Springer, London
-
(2000)
Springer Monographs in Mathematics
-
-
Bang-Jensen, J.1
Gutin, G.2
-
7
-
-
0036287056
-
Token based self-stabilizing uniform algorithms
-
Beauquier, J., Gradinariu, M., Johnen, C., Durand-Lose, J. (2002) Token based self-stabilizing uniform algorithms. Journal of Parallel and Distributed Computing (JPDC) 62(5): 899-921
-
(2002)
Journal of Parallel and Distributed Computing (JPDC)
, vol.62
, Issue.5
, pp. 899-921
-
-
Beauquier, J.1
Gradinariu, M.2
Johnen, C.3
Durand-Lose, J.4
-
8
-
-
0009633537
-
Self-stabilization in Eulerian networks with cut-through constraints
-
Laboratoire de Recherche en Informatique, January
-
Beauquier, J., Kutten, S., Tixeuil, S. (1999) Self-stabilization in Eulerian networks with cut-through constraints. Technical Report 1200, Laboratoire de Recherche en Informatique, January
-
(1999)
Technical Report
, vol.1200
-
-
Beauquier, J.1
Kutten, S.2
Tixeuil, S.3
-
9
-
-
84958976949
-
Stabilization of routing in directed networks
-
Proc. 5th Workshop on Self-Stabilization Systems
-
Cobb, J.A., Gouda, M.G. (2001) Stabilization of routing in directed networks. Proc. 5th Workshop on Self-Stabilization Systems, LNCS 2194, pp. 51-66
-
(2001)
LNCS
, vol.2194
, pp. 51-66
-
-
Cobb, J.A.1
Gouda, M.G.2
-
10
-
-
0003548232
-
Agreeing on processor group membership in asynchronous distributed systems
-
Department of Computer Science, University of California San Diego
-
Cristian, F., Schmuck, F. (1995) Agreeing on processor group membership in asynchronous distributed systems. Technical Report CSE95-428, Department of Computer Science, University of California San Diego
-
(1995)
Technical Report
, vol.CSE95-428
-
-
Cristian, F.1
Schmuck, F.2
-
11
-
-
0029307011
-
Efficient fault tolerant algorithms for distributed resource allocation
-
Choy, M., Singh, A.K. (1995) Efficient fault tolerant algorithms for distributed resource allocation. ACM Transactions on Programming Languages and Systems 17(4): 535-559
-
(1995)
ACM Transactions on Programming Languages and Systems
, vol.17
, Issue.4
, pp. 535-559
-
-
Choy, M.1
Singh, A.K.2
-
12
-
-
0015195766
-
Hierarchical ordering of sequential processes
-
Dijkstra, E.W. (1971) Hierarchical ordering of sequential processes. Acta Informatica 1: 115-138
-
(1971)
Acta Informatica
, vol.1
, pp. 115-138
-
-
Dijkstra, E.W.1
-
13
-
-
84976834622
-
Self-stabilizing systems in spite of distributed control
-
Dijkstra, E.W. (1974) Self-stabilizing systems in spite of distributed control. Communication of the ACM 17: 643-644
-
(1974)
Communication of the ACM
, vol.17
, pp. 643-644
-
-
Dijkstra, E.W.1
-
17
-
-
84876621829
-
Self-stabilizing soft error resilient microprocessor
-
IEEE Computer Society, (DSN 2003)
-
Dolev, S., Haviv, Y. (2003) Self-stabilizing soft error resilient microprocessor. Supplemental Volume of the 2003 International Conference on Dependable Systems and Networks, IEEE Computer Society, (DSN 2003), pp. B-18, B-19. Also presented at: IBM's Compiler and Architecture Seminar, IBM Haifa Labs, November 2002
-
(2003)
Supplemental Volume of the 2003 International Conference on Dependable Systems and Networks
-
-
Dolev, S.1
Haviv, Y.2
-
18
-
-
84876608242
-
-
IBM Haifa Labs, November
-
Dolev, S., Haviv, Y. (2003) Self-stabilizing soft error resilient microprocessor. Supplemental Volume of the 2003 International Conference on Dependable Systems and Networks, IEEE Computer Society, (DSN 2003), pp. B-18, B-19. Also presented at: IBM's Compiler and Architecture Seminar, IBM Haifa Labs, November 2002
-
(2002)
IBM's Compiler and Architecture Seminar
-
-
-
19
-
-
0036444692
-
Self-stabilizing distributed file systems
-
Dolev, S., Kat, R., (2002) Self-stabilizing distributed file systems. International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS 2002), pp. 384-389. Also presented at: IBM's Storage Systems Technology Workshop, IBM Haifa Labs, November 2002
-
(2002)
International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS 2002)
, pp. 384-389
-
-
Dolev, S.1
Kat, R.2
-
20
-
-
0036444692
-
-
IBM Haifa Labs, November
-
Dolev, S., Kat, R., (2002) Self-stabilizing distributed file systems. International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS 2002), pp. 384-389. Also presented at: IBM's Storage Systems Technology Workshop, IBM Haifa Labs, November 2002
-
(2002)
IBM's Storage Systems Technology Workshop
-
-
-
21
-
-
0031118863
-
Uniform dynamic self-stabilizing leader election
-
S. Dolev, Israeli, A., Moran, S. (1997) Uniform dynamic self-stabilizing leader election. IEEE Transactions on Parallel and Distributed Systems, Vol. 8, No. 4, pp. 424-440
-
(1997)
IEEE Transactions on Parallel and Distributed Systems
, vol.8
, Issue.4
, pp. 424-440
-
-
Dolev, S.1
Israeli, A.2
Moran, S.3
-
22
-
-
84958986877
-
Communication adaptive self-stabilizing group membership service
-
5th Workshop on Self-Stabilizing Systems, October
-
Dolev, S., Schiller, E. (2001) Communication adaptive self-stabilizing group membership service. 5th Workshop on Self-Stabilizing Systems, LNCS 2194, pp. 82-97, October. Also in: Technical Report #00-02 Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel, 2000
-
(2001)
LNCS
, vol.2194
, pp. 82-97
-
-
Dolev, S.1
Schiller, E.2
-
23
-
-
84958986877
-
-
Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel
-
Dolev, S., Schiller, E. (2001) Communication adaptive self-stabilizing group membership service. 5th Workshop on Self-Stabilizing Systems, LNCS 2194, pp. 82-97, October. Also in: Technical Report #00-02 Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel, 2000
-
(2000)
Technical Report #00-02
, vol.2
-
-
-
24
-
-
5044231122
-
Self-stabilizing group communication in directed networks
-
Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel
-
Dolev, S., Schiller, E. (2003) Self-stabilizing group communication in directed networks. Technical Report #10-03 Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel
-
(2003)
Technical Report #10-03
, vol.10
, Issue.3
-
-
Dolev, S.1
Schiller, E.2
-
25
-
-
0036446756
-
Random walk for self-stabilizing group communication in ad-hoc networks
-
IEEE Computer Society Press
-
Dolev, S., Schiller, E., Welch, J.L. (2002) Random walk for self-stabilizing group communication in ad-hoc networks. 21st Symposium on Reliable Distributed Systems, IEEE Computer Society Press, pp. 70-79
-
(2002)
21st Symposium on Reliable Distributed Systems
, pp. 70-79
-
-
Dolev, S.1
Schiller, E.2
Welch, J.L.3
-
27
-
-
0031348993
-
Crash resilient communication in dynamic networks
-
Dolev, S., Welch, J.L. (1997) Crash resilient communication in dynamic networks. IEEE Transactions on Computers, 46(1): 12-26
-
(1997)
IEEE Transactions on Computers
, vol.46
, Issue.1
, pp. 12-26
-
-
Dolev, S.1
Welch, J.L.2
-
28
-
-
84876635979
-
Toward self-stabilizing operating systems
-
Herzelia, November
-
Dolev, S., Yagel, R. (2003) Toward self-stabilizing operating systems. IEEE International Conference on Software-Science, Technology & Engineering, Industrial Track, Doctoral Symposium, Posters, (SwSTE03), Herzelia, November
-
(2003)
IEEE International Conference on Software-science, Technology & Engineering, Industrial Track, Doctoral Symposium, Posters, (SwSTE03)
-
-
Dolev, S.1
Yagel, R.2
-
30
-
-
4544341321
-
-
IBM (2001) Autonomic computing, http://www.research.ibm.com/autonomic
-
(2001)
Autonomic Computing
-
-
-
31
-
-
84954167050
-
Kinesthetics eXtreme: An external infrastructure for monitoring distributed legacy systems
-
June
-
Kaiser, G., Parekh, J., Gross, P., Valetto, G. (2003) Kinesthetics eXtreme: An external infrastructure for monitoring distributed legacy systems. In: 5th Annual International Active Middleware Workshop, June, pp. 22-30
-
(2003)
5th Annual International Active Middleware Workshop
, pp. 22-30
-
-
Kaiser, G.1
Parekh, J.2
Gross, P.3
Valetto, G.4
-
33
-
-
0004015896
-
Recovery Oriented Computing(ROC): Motivation, definition, techniques and case studies
-
Berkeley, CA, March
-
Patterson, D., Brown, A., Broadwell, P., Candea, G., Chen, M., Cutler, J., Enriquez, P., Fox, A., Kiciman, E., Merzbacher, M., Oppenheimer, D., Sastry, N., Tetzlaff, W., Traupman, J., Treuhaft, N. (2002) Recovery Oriented Computing(ROC): Motivation, definition, techniques and case studies. UC Berkeley Computer Science Technical Report UCB/CSD-02-1175, Berkeley, CA, March
-
(2002)
UC Berkeley Computer Science Technical Report
, vol.UCB-CSD-02-1175
-
-
Patterson, D.1
Brown, A.2
Broadwell, P.3
Candea, G.4
Chen, M.5
Cutler, J.6
Enriquez, P.7
Fox, A.8
Kiciman, E.9
Merzbacher, M.10
Oppenheimer, D.11
Sastry, N.12
Tetzlaff, W.13
Traupman, J.14
Treuhaft, N.15
-
34
-
-
0037417717
-
The bancomat problem: An example of resource allocation in a partitionable asynchronous system
-
Sussman, J., Marzullo, K. (1998) The bancomat problem: An example of resource allocation in a partitionable asynchronous system. Theoretical Computer Science 291(1): 103-131
-
(1998)
Theoretical Computer Science
, vol.291
, Issue.1
, pp. 103-131
-
-
Sussman, J.1
Marzullo, K.2
-
36
-
-
0348251010
-
Sur l'auto-stabilisation dans un reseau d'ordinateurs
-
Tchunte, M. (1981) Sur l'auto-stabilisation dans un reseau d'ordinateurs. RAIRO Informatique Theoretique 15: 47-66
-
(1981)
RAIRO Informatique Theoretique
, vol.15
, pp. 47-66
-
-
Tchunte, M.1
|