An Improvement in Partial Order Reduction Using Behavioral Analysis. Zhang, Y., Rodriguez, E., Zheng, H., & Myers, C. J. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2012, Amherst, MA, USA, August 19-21, 2012, pages 100–107, 2012.
An Improvement in Partial Order Reduction Using Behavioral Analysis [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/isvlsi/ZhangR0M12,
  author    = {Yingying Zhang and
               Emmanuel Rodriguez and
               Hao Zheng and
               Chris J. Myers},
  title     = {An Improvement in Partial Order Reduction Using Behavioral Analysis},
  booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2012, Amherst,
               MA, USA, August 19-21, 2012},
  pages     = {100--107},
  year      = {2012},
  crossref  = {DBLP:conf/isvlsi/2012},
  url       = {https://doi.org/10.1109/ISVLSI.2012.15},
  doi       = {10.1109/ISVLSI.2012.15},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isvlsi/ZhangR0M12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0