Author: Marc Daumas

Publications

Co-authors

Sylvain Collange

1

Yoginder S. Dandass

1

David Defour

1

Productive Colleagues

Sylvain Collange

1

David Defour

1

Yoginder S. Dandass

3

Publications

Daumas, Marc, Lester, David (2007): Stochastic Formal Methods: An Application to Accuracy of Numeric Software. In: HICSS 2007 - 40th Hawaii International International Conference on Systems Science 3-6 January, 2007, Waikoloa, Big Island, HI, USA. pp. 262. https://doi.ieeecomputersociety.org/10.1109/HICSS.2007.499

Collange, Sylvain, Dandass, Yoginder S., Daumas, Marc, Defour, David (2009): Using Graphics Processors for Parallelizing Hash-Based Data Carving. In: HICSS 2009 - 42st Hawaii International International Conference on Systems Science 5-8 January, 2009, Waikoloa, Big Island, HI, USA. pp. 1-10. https://dx.doi.org/10.1109/HICSS.2009.494