68 search results - page 6 / 14 » Gauss: A Framework for Verifying Scientific Computing Softwa... |
123
click to vote
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
Grid-based computing frameworks leverage underutilized processing and storage resources. We present and evaluate a new high-performance, reliable middleware layer that can incorpo...
165
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
179
Voted
ACHI
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
157
Voted
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
129
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
With the proliferation of Grid computing, a large number of computational resources are available for solving complex scientific and engineering problems. Nevertheless, it is non-...