Sciweavers

3429 search results - page 50 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
14 years 8 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
EUROPAR
2008
Springer
13 years 9 months ago
Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
Joel Falcou, Jocelyn Sérot, Lucien Pech, Je...
DEXAW
1997
IEEE
125views Database» more  DEXAW 1997»
13 years 12 months ago
Can we Rely on SQL?
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...
J. H. ter Bekke
EPIA
2005
Springer
14 years 1 months ago
Operational Semantics for DyLPs
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
Federico Banti, José Júlio Alferes, ...