3335 search results - page 71 / 667 » Grid result checking |
108
click to vote
ICPADS
2005
IEEE
15 years 5 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
MTV
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
105
click to vote
CBMS
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we show how Grid computing can be used to improve the operation of a medical image search system. The paper introduces the basic principles of a content-based ima...
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
In this work we examine a task scheduling and data migration problem for Grid Networks, which we refer to as the Data Consolidation (DC) problem. DC arises when a task needs for i...
110
click to vote
SASO
2008
IEEE
15 years 6 months ago
2008
IEEE
Resource management for ad hoc grids is challenging due to the participation of heterogeneous, dynamic, autonomous and ephemeral nodes. Different underlying network infrastructure...