-
A Practical Approach to Single Event Transients Analysis for Highly Complex D...
ISBN 978-1-4577-1713-0 -
Soft-error-rate prediction for programmable circuits: methodology, tools and ...
International audience -
Kleene algebra, Rewriting modulo AC and Circuits in Coq.
This thesis describe three formalisations in Coq. The first chapter is devoted to the implementation of an efficient decision procedure for Kleene algebras : as... -
Cellular automata as a model of parallel complexities
The intended goal of this manuscript is to build bridges between two definitions of complexity. One of them, called the algorithmic complexity is well-known to any... -
Reliability Challenges of Real-Time Systems in Forthcoming Technology Nodes
ISBN 978-3-9815370-0-0 -
Reduced code linearity testing of pipeline adcs in the presence of noise
ISBN : 978-1-4673-5542-1
