310 search results - page 44 / 62 » A language and framework for invariant-driven transformation... |
ER
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In Data Warehouse (DW) scenarios, ETL (Extraction, Transformation, Loading) processes are responsible for the extraction of data from heterogeneous operational data sourc...
SARA
2009
Springer
15 years 3 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
118
Voted
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
85
Voted
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
111
click to vote
CLIMA
2004
15 years 15 days ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...