18 search results - page 1 / 4 » Abstract Transformers for Thread Correlation Analysis |
APLAS
2009
ACM
13 years 11 months ago
2009
ACM
CAV
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
TIP
2008
13 years 4 months ago
2008
Abstract--The wavelet transform as an important multiresolution analysis tool has already been commonly applied to texture analysis and classification. Nevertheless, it ignores the...
ESANN
2007
13 years 6 months ago
2007
Abstract. Canonical Correlation Analysis(CCA) is a useful tool to discover relationship between different sources of information represented by vectors. The solution of the underl...
CRYPTO
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper investigates the design of S-boxes used for combining linear feedback shift register (LFSR) sequences in combination generators. Such combination generators ha...