Sciweavers

630 search results - page 10 / 126
» Symbolic Domain Decomposition
Sort
View
49
Voted
JSCIC
2002
60views more  JSCIC 2002»
14 years 9 months ago
A Hierarchical 3-D Poisson Modified Fourier Solver by Domain Decomposition
Moshe Israeli, Elena Braverman, Amir Averbuch
FMCAD
2000
Springer
15 years 1 months 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
14 years 9 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...