@InProceedings{BeJe+10:PASCO2010,
   author     = {Christian Bertin and Claude-Pierre Jeannerod and Jingyan Jourdan-Lu and Herv\'{e} Knochel and Christophe Monat and Christophe Mouilleron and Jean-Michel Muller and Guillaume Revy},
   title      = {Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors},
   booktitle  = {Proceedings of the 4th International Workshop on Parallel and Symbolic Computation},
   series     = {PASCO '10},
   year       = {2010},
   location   = {Grenoble, France},
   pages      = {1--9},
   doi        = {http://dx.doi.org/10.1145/1837210.1837212},
   publisher  = {ACM},
   address    = {New York, NY, USA},
}