4725 search results - page 492 / 945 » Dependence-Based Program Analysis |
194
click to vote
INDOCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents the first results on AIDA/cube, algebraic and sidechannel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Ou...
161
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
186
click to vote
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
201
click to vote
VL
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
163
click to vote
APLAS
2005
ACM
16 years 14 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...