410 search results - page 33 / 82 » The case for a versatile storage system |
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
ICDE
2010
IEEE
13 years 8 months ago
2010
IEEE
— We are currently witnessing an increasing interest in the use of the web as an information and knowledge source. Much of the information sought after in the web is in this case...
DILS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
HPDC
2009
IEEE
14 years 2 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...