11562 search results - page 156 / 2313 » Parallel Imaging Problem |
152
click to vote
TOMS
1998
15 years 4 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
144
click to vote
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
134
click to vote
EWC
2008
15 years 4 months ago
2008
In parallel adaptive mesh refinement (AMR) computations the problem size can vary significantly during a simulation. The goal here is to explore the performance implications of dyn...
145
click to vote
HPCA
1998
IEEE
15 years 9 months ago
1998
IEEE
Over the past few years there has been increased interest in building custom computing machines (CCMs) as a way of achieving very high performance on specific problems. The advent...
141
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Parallel computing has been touted as the pinnacle of high performance digital computing by many. However, many problems remain intractable using deterministic algorithms. Randomiz...