620 search results - page 88 / 124 » Abstract Analysis of Symbolic Executions |
107
click to vote
AEI
2010
15 years 4 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
135
click to vote
IJFCS
2006
15 years 4 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
124
click to vote
CASES
2004
ACM
15 years 9 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
115
click to vote
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Malware analysis is critical for malware detection and prevention. To defeat malware analysis and detection, today malware commonly adopts various sophisticated anti-dete...
153
click to vote
IWRIDL
2006
ACM
15 years 10 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...