Sciweavers

630 search results - page 10 / 126
» Symbolic Domain Decomposition
Sort
View
JSCIC
2002
60views more  JSCIC 2002»
13 years 8 months ago
A Hierarchical 3-D Poisson Modified Fourier Solver by Domain Decomposition
Moshe Israeli, Elena Braverman, Amir Averbuch
FMCAD
2000
Springer
14 years 1 days ago
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps
We present a symbolic algorithm for strongly connected component decomposition. The algorithm performs (n log n) image and preimage computations in the worst case, where n is the n...
Roderick Bloem, Harold N. Gabow, Fabio Somenzi
CCS
2010
ACM
13 years 8 months ago
Input generation via decomposition and re-stitching: finding bugs in Malware
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
Juan Caballero, Pongsin Poosankam, Stephen McCaman...