Sciweavers

3791 search results - page 432 / 759
» Workflows in Computation Grids
Sort
View
DLOG
2009
15 years 5 months ago
Testing Provers on a Grid - Framework Description
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
Carlos Areces, Daniel Gorín, Alejandra Lore...
BMCBI
2007
144views more  BMCBI 2007»
15 years 7 months ago
Gene analogue finder: a GRID solution for finding functionally analogous gene products
Background: To date more than 2,1 million gene products from more than 100000 different species have been described specifying their function, the processes they are involved in a...
Angelica Tulipano, Giacinto Donvito, Flavio Licciu...
CCGRID
2003
IEEE
16 years 26 days ago
Using grid technologies to face medical image analysis challenges
The availability of digital imagers inside hospitals and their ever growing inspection capabilities have established digital medical images as a key component of many pathologies ...
Johan Montagnat, Vincent Breton, Isabelle E. Magni...
DSN
2008
IEEE
16 years 2 months ago
Automatic security assessment of critical cyber-infrastructures
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
Zahid Anwar, Ravinder Shankesi, Roy H. Campbell
ESCIENCE
2007
IEEE
16 years 1 months ago
Using Revenue Management to Determine Pricing of Reservations
Grid economy provides a mechanism or incentive for resource owners to be part of the Grid, and encourages users to utilize resources optimally and effectively. Advance reservation...
Anthony Sulistio, Kyong Hoon Kim, Rajkumar Buyya