M.B. Small, R.M. Potemski
Proceedings of SPIE 1989
This paper presents an enhanced process model in an optimistic distributed simulation to develop a method for tracking causality and safe-time and its application in the design of a local fossil identification technique. The fossil identification process is reduced to a local operation that operates without requiring a GVT estimation method. The information needed for fossil identification is captured during normal event processing from the enhanced process model. This technique assumes FIFO communication channels and simulation model with static communication topology. A proof of correctness of the fossil identification technique using this enhanced process model is presented. Copyright © 2009, Inderscience Publishers.
M.B. Small, R.M. Potemski
Proceedings of SPIE 1989
Charles Micchelli
Journal of Approximation Theory
Laxmi Parida, Pier F. Palamara, et al.
BMC Bioinformatics
Imran Nasim, Melanie Weber
SCML 2024