Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"pasareanu"”.
-
A numerical hybrid method for modeling outdoor sound propagation in complex urban environments
Prediction of the sound field in large urban environments has been limited thus far by the heavy computational requirements of conventional numerical methods such as boundary element (BE), finite-difference time-domain (FDTD), or ray-tracing methods. Recently, a considerable amount of work has been …
-
Finding Termination and Time Improvement in Predicate Abstraction with Under-Approximation and Abstract Matching
The focus of current formal verification methods is mitigating the state explosion problem. One of these formal methods is predicate abstraction, which reduces concrete states of a system to bitvectors of true/false valuations of a set of predicates. Predicate abstraction comes in two flavors, …