External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formal Framework for Specifying and Verifying Time Warp Optimizations

Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter. A Formal Framework for Specifying and Verifying Time Warp Optimizations. In José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna, editors, Parallel and Distributed Processing, 11 IPPS/SPDP 99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedi. Volume 1586 of Lecture Notes in Computer Science, pages 1228-1242, Springer, 1999.

Authors

Victoria Chernyakhovsky

This author has not been identified. Look up 'Victoria Chernyakhovsky' in Google

Peter Frey

This author has not been identified. Look up 'Peter Frey' in Google

Radharamanan Radhakrishnan

This author has not been identified. Look up 'Radharamanan Radhakrishnan' in Google

Philip A. Wilsey

This author has not been identified. Look up 'Philip A. Wilsey' in Google

Perry Alexander

This author has not been identified. Look up 'Perry Alexander' in Google

Harold W. Carter

This author has not been identified. Look up 'Harold W. Carter' in Google
runs on