8315 search results - page 141 / 1663 » Performance Evaluation for Global Computation |
161
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Mobile robots require the ability to build their own maps to operate in unknown environments. A fundamental problem is that odometry-based dead reckoning cannot be used to assign ...
292
click to vote
SIAMIS
2010
15 years 1 months ago
2010
Markov random field (MRF) models, including conditional random field models, are popular in computer vision. However, in order to be computationally tractable, they are limited to ...
192
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
186
click to vote
ICS
2007
Tsinghua U.
16 years 23 days ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
170
click to vote
HPCC
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...