814 search results - page 13 / 163 » Analysis of Modular Arithmetic |
RTSS
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, we investigate the opportunities offered by floatingpoint arithmetics in enabling an assembly and intrinsics free highlevel language based development. We compare ...
111
click to vote
PLDI
2011
ACM
14 years 22 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
CHES
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Since the announcement of the Differential Power Analysis (DPA) by Paul Kocher and al., several countermeasures were proposed in order to protect software implementations...
DOCENG
2008
ACM
14 years 11 months ago
2008
ACM
