Formal and Informal Methods for Multi-Core Design Space Exploration. Kempf, J., Lebeltel, O., & Maler, O. In Proceedings of Quantitative Aspects of Programming Languages and Systems (QAPL), pages 78-92, 2014.
Formal and Informal Methods for Multi-Core Design Space Exploration [link]Paper  bibtex   
@inproceedings{ dblp1841136,
  title = {Formal and Informal Methods for Multi-Core Design Space Exploration},
  author = {Jean-Francois Kempf and Olivier Lebeltel and Oded Maler},
  author_short = {Kempf, J. and Lebeltel, O. and Maler, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1841136},
  id = {dblp1841136},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KempfLM14},
  url = {http://dx.doi.org/10.4204/EPTCS.154.6},
  conference = {QAPL},
  pages = {78-92},
  text = {QAPL 2014:78-92},
  booktitle = {Proceedings of Quantitative Aspects of Programming Languages and Systems (QAPL)}
}

Downloads: 0