630 search results - page 77 / 126 » Symbolic Domain Decomposition |
ENTCS
2007
14 years 11 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
SIAMSC
2008
14 years 11 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
114
click to vote
TCSV
2008
14 years 11 months ago
2008
A quality constrained compression algorithm based on Discrete Wavelet Transform (DWT) is proposed. The spatial-frequency decomposition property of DWT provides possibility for not...
103
click to vote
PVM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Domain decomposition for regular meshes on parallel computers has traditionally been performed by attempting to exactly partition the work among the available processors ...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...