Rigorous Fault Tolerance Using Aspects and Formal Methods

2006 ◽  
pp. 226-240
Author(s):  
Shmuel Katz
Keyword(s):  
Fault Tolerance ◽  
Formal Methods

Formal methods for the validation of fault tolerance in autonomous spacecraft

2002 ◽  
Author(s):  
S. Ayache ◽  
E. Conquet ◽  
P. Humbert ◽  
C. Rodriguez ◽  
J. Sifakis ◽  
...  
Keyword(s):  
Fault Tolerance ◽  
Formal Methods

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

A Review on Load Balancing Model Using Best Partition Technique

2017 ◽  
Vol 7 (8) ◽  
pp. 284
Author(s):  
M. Chaitanya ◽  
K. Durga Charan
Keyword(s):  
Cloud Computing ◽  
Fault Tolerance ◽  
Load Balancing ◽  
Load Balance ◽  
Large Impact ◽  
Cloud Environment ◽  
Public Cloud ◽  
The Public ◽  
Partition Technique ◽  
Textual Content

Load balancing makes cloud computing greater knowledgeable and could increase client pleasure. At reward cloud computing is among the all most systems which offer garage of expertise in very lowers charge and available all the time over the net. However, it has extra vital hassle like security, load administration and fault tolerance. Load balancing inside the cloud computing surroundings has a large impact at the presentation. The set of regulations relates the sport idea to the load balancing manner to amplify the abilties in the public cloud environment. This textual content pronounces an extended load balance mannequin for the majority cloud concentrated on the cloud segregating proposal with a swap mechanism to select specific strategies for great occasions.

A novel digital AGC algorithm based on fault tolerance probability

2014 ◽  
Author(s):  
Rugui Yao ◽  
Fanqi Gao ◽  
Ling Wang ◽  
Yinghui Wang
Keyword(s):  
Fault Tolerance
Sign in / Sign up

Export Citation Format

Share Document