Sciweavers

3335 search results - page 34 / 667
» Grid result checking
Sort
View
MSS
2003
IEEE
100views Hardware» more  MSS 2003»
15 years 5 months ago
A Simple Mass Storage System for the SRB Data Grid
The functionality that is provided by Mass Storage Systems can be implemented using data grid technology. Data grids already provide many of the required features, including a log...
Michael Wan, Arcot Rajasekar, Reagan Moore, Phil A...
GCC
2003
Springer
15 years 5 months ago
An Engineering Computation Oriented Visual Grid Framework
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...
Guiyi Wei, Yao Zheng, Jifa Zhang, Guanghua Song
FMCAD
2000
Springer
15 years 3 months ago
Checking Safety Properties Using Induction and a SAT-Solver
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
Mary Sheeran, Satnam Singh, Gunnar Stålmarck
CCGRID
2005
IEEE
15 years 5 months ago
Increasing distributed storage survivability with a stackable RAID-like file system
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
Nikolai Joukov, Abhishek Rai, Erez Zadok
ERCIMDL
2009
Springer
138views Education» more  ERCIMDL 2009»
14 years 9 months ago
A Hybrid Distributed Architecture for Indexing
This paper presents a hybrid scavenger grid as an underlying hardware architecture for search services within digital libraries. The hybrid scavenger grid consists of both dedicate...
Ndapandula Nakashole, Hussein Suleman