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

Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach

1996 ◽  
Vol 83 (2) ◽  
pp. 143-168 ◽  
Author(s):  
Jorge C.A. de Figueiredo ◽  
Angelo Perkusich
Keyword(s):  
Distributed Systems ◽  
Real Time ◽  
Petri Net ◽  
Timing Analysis ◽  
Time Petri Net

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

Emphasizing Distributed Systems

2000 ◽  
Keyword(s):  
Distributed Systems

Lumped approximation of distributed systems and controllability questions

1985 ◽  
Vol 132 (3) ◽  
pp. 89 ◽  
Author(s):  
B.D.O. Anderson ◽  
P.C. Parks
Keyword(s):  
Distributed Systems

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