Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Max Breitling 
Titel:
Formalizing and Verifying TimeWarp with FOCUS 
Abstract:
The TimeWarp mechanism accomplishes an efficient synchronization between the components of a distributed, discrete event-driven simulator. Using an optimistic simulation strategy, the components of the simulator may calculate ahead locally, sending results to other components without waiting for any events produced by those components, ignoring possible causality problems. In case of an incorrect calculation caused by messages received too late, a component must perform a rollback and cancel som...    »
 
Stichworte:
timewarp; simulation; FOCUS; verification; formal methods 
Jahr:
1997 
Jahr / Monat:
1997-10-01 00:00:00 
Seiten/Umfang:
55