3 papers
cs.LO2012
Adjunctions for exceptions
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch…
cs.CR2011
Recursive double-size fixed precision arithmetic
Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse +1
This work is a part of the SHIVA (Secured Hardware Immune Versatile Architecture) project whose purpose is to provide a programmable and reconfigurable hardware module with high le…
cs.SC2008
Compressed Modular Matrix Multiplication
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
We propose to store several integers modulo a small prime into a single machine word. Modular addition is performed by addition and possibly subtraction of a word containing severa…