1136 search results - page 44 / 228 » Functional Validation in Grid Computing |
FCS
2006
13 years 11 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
HPDC
2006
IEEE
14 years 3 months ago
2006
IEEE
Grids are becoming a mission-critical component in research and industry. The services they provide are thus required to be highly available, contributing to the vision of the Gri...
HPCC
2009
Springer
14 years 2 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
C5
2008
IEEE
14 years 4 months ago
2008
IEEE
The Language Grid is an infrastructure for enabling users to share language resources developed by language specialists and end-user communities. The users employ the resources to...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...