3335 search results - page 9 / 667 » Grid result checking |
65
Voted
EATCS
2002
14 years 11 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
APWEB
2006
Springer
15 years 3 months ago
2006
Springer
This paper proposes HVEM-Grid, which is the cornerstone for tele-instrumentation infrastructure. The proposed architecture is mainly oriented for people whose primary work is to ge...
112
click to vote
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
GCC
2003
Springer
15 years 5 months ago
2003
Springer
High performance Grid computing provides an infrastructure for access and processing of large volume, terabyte or even petabytes, of distributed data. Research in data grid has foc...
123
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...