3335 search results - page 164 / 667 » Grid result checking |
160
Voted
FAC
2007
15 years 3 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
121
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
A common technique for result verification in grid computing is to delegate a computation redundantly to different workers and apply majority voting to the returned results. Howe...
126
click to vote
ESA
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of coloring a grid using k colors with the restriction that in each row and each column has an specific number of cells of each color. In an already classi...
128
Voted
GLVLSI
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
156
Voted
SIAMSC
2010
15 years 2 months ago
2010
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...