Formal timing analysis of distributed systems

1991 ◽  
Vol 20 (2) ◽  
pp. 75-94
Author(s):  
R. Mall ◽  
L. M. Patnaik
Keyword(s):  
Distributed Systems ◽  
Timing Analysis

scholarly journals Determinism of Replicated Distributed Systems–A Timing Analysis of the Data Passing Process

2020 ◽  
Vol 5 (6) ◽  
pp. 531-537
Author(s):  
Adriano A. Santos ◽  
António Ferreira da Silva ◽  
António P. Magalhães ◽  
Mário de Sousa
Keyword(s):  
Distributed Systems ◽  
Timing Analysis ◽  
Data Passing

End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems

2019 ◽  
Vol 18 (5s) ◽  
pp. 1-24 ◽  
Author(s):  
Marco Dürr ◽  
Georg Von Der Brüggen ◽  
Kuan-Hsun Chen ◽  
Jian-Jia Chen
Keyword(s):  
Distributed Systems ◽  
Timing Analysis ◽  
End To End

Managing evolution in distributed systems

1989 ◽  
Vol 4 (6) ◽  
pp. 321 ◽  
Author(s):  
Jeff Kramer ◽  
Jeff Magee ◽  
Morris Sloman
Keyword(s):  
Distributed Systems
Sign in / Sign up

Export Citation Format

Share Document