620 search results - page 40 / 124 » Abstract Analysis of Symbolic Executions |
94
Voted
FMOODS
2006
15 years 1 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
116
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
132
click to vote
ENTCS
2007
15 years 13 days ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
79
Voted
MFCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We investigate the structure of the set of gapped motifs (repeated patterns with don’t cares) of a given string of symbols. A natural equivalence classification is int...
118
click to vote
PARA
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...