Author: Marc Daumas
Publication Overview
Publication period start: 2009
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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