814 search results - page 13 / 163 » Analysis of Modular Arithmetic |
128
Voted
RTSS
2009
IEEE
15 years 9 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...
94
Voted
ICASSP
2011
IEEE
14 years 6 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 ...
159
Voted
PLDI
2011
ACM
14 years 5 months 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...
101
Voted
CHES
2000
Springer
15 years 6 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...
82
Voted
DOCENG
2008
ACM
15 years 4 months ago
2008
ACM
