5235 search results - page 473 / 1047 » Analysis of Multithreaded Programs |
203
Voted
SCAM
2002
IEEE
16 years 15 days 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...
195
click to vote
CC
2001
Springer
16 years 2 days 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...
200
Voted
CHES
2000
Springer
15 years 12 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...
223
Voted
ICSM
1998
IEEE
15 years 12 months ago
1998
IEEE
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
188
click to vote
WSC
2001
15 years 9 months ago
2001
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...