Sciweavers

126 search results - page 26 / 26
» Using model checking with symbolic execution to verify paral...
Sort
View
CCGRID
2009
IEEE
14 years 1 days ago
BLAST Application with Data-Aware Desktop Grid Middleware
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
Haiwu He, Gilles Fedak, Bing Tang, Franck Cappello