3335 search results - page 43 / 667 » Grid result checking |
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
CLEIEJ
2006
14 years 12 months ago
2006
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...
112
click to vote
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
One of the most challenging problems in Grid environments concerns the matchmaking between resource requests and offers. As it happens in the physical economy, Grid economy must b...
108
click to vote
JPDC
2006
14 years 11 months ago
2006
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
PTS
2008
15 years 1 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...