2957 search results - page 107 / 592 » Code analysis and CS-XML |
133
click to vote
FMOODS
2008
15 years 4 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
147
click to vote
ENTCS
2002
15 years 2 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
133
click to vote
CARDIS
2004
Springer
15 years 8 months ago
2004
Springer
: We present two architectures for protecting a hardware implementation of AES against side-channel attacks known as Differential Fault Analysis attacks. The first architecture, wh...
137
click to vote
WCET
2003
15 years 4 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
142
Voted
SODA
1998
ACM
15 years 4 months ago
1998
ACM
We introduce a new set of probabilistic analysis tools based on the analysis of And-Or trees with random inputs. These tools provide a unifying, intuitive, and powerful framework ...