1959 search results - page 33 / 392 » A data model for adaptive multi-resolution scientific data |
CAV
2008
Springer
14 years 11 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
HPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
IJCAI
2001
14 years 11 months ago
2001
Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Nowadays many data grid applications need to manage and process a huge amount of data distributed across multiple grid nodes and stored into heterogeneous databases. Grids encoura...