Bernard Goossens

Learn More
Several accurate algorithms to sum IEEE-754 floating-point numbers have been recently published. The recent contributions by Rump, Ogita and Oishi and the newest ones proposed by Zhu and Hayes are examples of accurate summation algorithms. Some of these even compute the faithful or the correct rounding of the exact sum, i.e. the most accurate value with(More)
Tipi is an implementation proposal of the SMT architecture. This implementation is very close to a multiprocessor architecture, sharing only the second level caches and the functional units. It is designed to achieve a high performance with both a high IPC and a very short cycle (estimated to 10 gates levels). Functional unit sharing and very short cycle(More)
This paper presents a new distributed computation model adapted to manycore processors. In this model, the run is spread on the available cores by fork machine instructions produced by the compiler, for example at function calls and loops iterations. This approach is to be opposed to the actual model of computation based on cache and predictor. Cache(More)
What you do not wish for yourself, do not do to others. Remerciements I want to thank all the jury members to give me this opportunity to defend my thesis. I want to thank my colleagues and also friends of the current and previous team members, who make my 3-years' work in the ALF team a very pleasant experience. I want to thank my wife and my parents for(More)