-
Simultaneous floating-point sine and cosine for VLIW integer processors
Accepted for publication in the proceedings of the 23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012). -
A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps
A novel pseudo-random bit generator (PRBG) using three chaotic logistic maps is proposed. The algorithm generates at each iteration sequences of 32 bit-blocks by... -
Preservation of Lyapunov-Theoretic Proofs: From Real to loating-Point Numbers
In Feron presents how Lyapunov-theoretic proofs of stability can be migrated toward computer-readable and verifiable certificates of control software behavior by... -
Worst Cases and Lattice Reduction
Colloque avec actes et comité de lecture. internationale.
