2082 search results - page 224 / 417 » Change Paths in Reasoning! |
167
click to vote
ICCAD
2010
IEEE
15 years 3 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
162
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
188
click to vote
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--In this paper we investigate hardware implementations of ciphering algorithms, SNOW 3G and the Advanced Encryption Standard (AES), for the acceleration of the protocol st...
167
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
205
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
HMM-based acoustic models built from bootstrap are generally very large, especially when full covariance matrices are used for Gaussians. Therefore, clustering is needed to compac...