620 search results - page 88 / 124 » Abstract Analysis of Symbolic Executions |
81
Voted
AEI
2010
15 years 22 days ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
96
Voted
IJFCS
2006
15 years 18 days 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...
CASES
2004
ACM
15 years 6 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...
90
Voted
ACNS
2009
Springer
15 years 7 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...
118
click to vote
IWRIDL
2006
ACM
15 years 6 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...