Sciweavers

2144 search results - page 10 / 429
» Exact Flow Analysis
Sort
View
INDOCRYPT
2004
Springer
15 years 2 months ago
Exact Analysis of Montgomery Multiplication
The Montgomery multiplication is often used for an efficient implementations of public-key cryptosystems. This algorithm occasionally needs an extra subtraction in the final step,...
Hisayoshi Sato, Daniel Schepers, Tsuyoshi Takagi
MEMOCODE
2003
IEEE
15 years 2 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
MSCS
2007
85views more  MSCS 2007»
14 years 9 months ago
Constructive analysis, types and exact real numbers
Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...