@inproceedings{DBLP:conf/icess/HaraTHTI07,
  author    = {Yuko Hara and
               Hiroyuki Tomiyama and
               Shinya Honda and
               Hiroaki Takada and
               Katsuya Ishii},
  title     = {Behavioral Synthesis of Double-Precision Floating-Point
               Adders with Function-Level Transformations: A Case Study},
  booktitle = {ICESS},
  year      = {2007},
  pages     = {261-270},
  ee        = {http://dx.doi.org/10.1007/978-3-540-72685-2_25},
  crossref  = {DBLP:conf/icess/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icess/2007,
  editor    = {Yann-Hang Lee and
               Heung-Nam Kim and
               Jong Kim and
               Yongwan Park and
               Laurence Tianruo Yang and
               Sung Won Kim},
  title     = {Embedded Software and Systems, [Third] International Conference,
               ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings},
  booktitle = {ICESS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4523},
  year      = {2007},
  isbn      = {978-3-540-72684-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}