4722 search results - page 380 / 945 » Representation-independent program analysis |
157
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
153
Voted
PVM
2004
Springer
16 years 1 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
173
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
175
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
174
click to vote
CHES
2000
Springer
15 years 11 months ago
2000
Springer
Power analysis is a very successful cryptanalytic technique which extracts secret information from smart cards by analysing the power consumed during the execution of their interna...