YuanHG08'

@inproceedings{DBLP:conf/rtas/YuanHG08,
  author    = {Mingxuan Yuan and
               Xiuqiang He and
               Zonghua Gu},
  title     = {Hardware/Software Partitioning and Static Task Scheduling
               on Runtime Reconfigurable FPGAs using a SMT Solver},
  booktitle = {IEEE Real-Time and Embedded Technology and Applications
               Symposium},
  year      = {2008},
  pages     = {295-304},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.39},
  crossref  = {DBLP:conf/rtas/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rtas/2008,
  title     = {Proceedings of the 14th IEEE Real-Time and Embedded Technology
               and Applications Symposium, RTAS 2008, April 22-24, 2008,
               St. Louis, Missouri, USA},
  booktitle = {IEEE Real-Time and Embedded Technology and Applications
               Symposium},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {978-0-7695-3146-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}