816 search results - page 164 / 164 » Automating Verification by Functional Abstraction at the Sys... |
SIAMSC
2010
13 years 4 months ago
2010
Abstract. In this article, we present a parallel geometric multigrid algorithm for solving elliptic partial differential equations (PDEs) on octree based conforming finite elemen...