933 search results - page 48 / 187 » A Fully Automatic hp-Adaptivity |
99
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
96
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
88
Voted
ADAEUROPE
2003
Springer
15 years 4 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
108
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
100
Voted
MICCAI
2000
Springer
15 years 4 months ago
2000
Springer
This paper deals with the correction of distortions in EPI acquisitions. Echo-planar imaging (EPI) data is used in functional resonance imaging (fMRI) and in diffusion tensor MRI (...