68 search results - page 6 / 14 » Gauss: A Framework for Verifying Scientific Computing Softwa... |
ESCIENCE
2007
IEEE
13 years 11 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...
APSCC
2008
IEEE
13 years 9 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...
ACHI
2010
IEEE
14 years 2 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...
HPDC
2008
IEEE
14 years 2 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...
ESCIENCE
2007
IEEE
14 years 1 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-...