A Formal Framework for Specifying and Verifying Time Warp Optimizations
Authors:
Victoria Chernyakhovsky;Peter Frey;Radharamanan Radhakrishnan;Philip A. Wilsey;Perry Alexander;Harold W. Carter
Affiliations:
-;-;-;-;-;-
Venue:
Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing