1136 search results - page 32 / 228 » Functional Validation in Grid Computing |
ISM
2005
IEEE
14 years 3 months ago
2005
IEEE
We designed eSports—a collaborative and synchronous video annotation platform, which is to be used in Internet scale cross-platform grid computing environment to facilitate Comp...
PASTE
2004
ACM
14 years 3 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
CCGRID
2004
IEEE
14 years 1 months ago
2004
IEEE
The Grid approach provides the ability to access and use distributed resources as part of virtual organizations. The emerging Grid infrastructure gives rise to a class of scientif...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
CLUSTER
2002
IEEE
2002
IEEE
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
14 years 2 months ago
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...