Sciweavers

42507 search results - page 119 / 8502
» On the analysis of
Sort
View
PASTE
1998
ACM
15 years 10 months ago
Concept Analysis - A New Framework for Program Understanding
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
Gregor Snelting
ECOOP
1998
Springer
15 years 10 months ago
The Complexity of Type Analysis of Object Oriented Programs
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
Joseph Gil, Alon Itai
CHES
2006
Springer
124views Cryptology» more  CHES 2006»
15 years 10 months ago
A Proposition for Correlation Power Analysis Enhancement
Cryptographic devices are vulnerable to the nowadays well known side channel leakage analysis. Secret data can be revealed by power analysis attacks such as Simple Power Analysis (...
Thanh-Ha Le, Jessy Clédière, C&eacut...
PLDI
2000
ACM
15 years 10 months ago
Off-line variable substitution for scaling points-to analysis
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
Atanas Rountev, Satish Chandra
SAS
2000
Springer
15 years 10 months ago
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...
Jeffrey S. Foster, Manuel Fähndrich, Alexande...