BibTeX records: Victoria Chernyakhovsky

• > Home > Persons > Victoria Chernyakhovsky

@inproceedings{DBLP:conf/ipps/ChernyakhovskyFRWAC99,
  author       = {Victoria Chernyakhovsky and
                  Peter Frey and
                  Radharamanan Radhakrishnan and
                  Philip A. Wilsey and
                  Perry Alexander and
                  Harold W. Carter},
  editor       = {Jos{\'{e}} D. P. Rolim and
                  Frank Mueller and
                  Albert Y. Zomaya and
                  Fikret Er{\c{c}}al and
                  Stephan Olariu and
                  Binoy Ravindran and
                  Jan Gustafsson and
                  Hiroaki Takada and
                  Ronald A. Olsson and
                  Laxmikant V. Kal{\'{e}} and
                  Peter H. Beckman and
                  Matthew Haines and
                  Hossam A. ElGindy and
                  Denis Caromel and
                  Serge Chaumette and
                  Geoffrey C. Fox and
                  Yi Pan and
                  Keqin Li and
                  Tao Yang and
                  G. Ghiola and
                  Gianni Conte and
                  Luigi V. Mancini and
                  Dominique M{\'{e}}ry and
                  Beverly A. Sanders and
                  Devesh Bhatt and
                  Viktor K. Prasanna},
  title        = {A Formal Framework for Specifying and Verifying Time Warp Optimizations},
  booktitle    = {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, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1586},
  pages        = {1228--1242},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/BFb0098005},
  doi          = {10.1007/BFB0098005},
  timestamp    = {Mon, 22 Mar 2021 14:03:05 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/ChernyakhovskyFRWAC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}