4370 search results - page 544 / 874 » Algebra of Logic Programming |
123
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
119
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
214
click to vote
ICDE
1997
IEEE
16 years 5 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
237
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Map-Reduce is a programming model that enables easy development of scalable parallel applications to process vast amounts of data on large clusters of commodity machines. Through ...
135
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Using the well-known ATLAS and LAPACK dense linear algebra libraries, we demonstrate that the parallel management overhead (PMO) can grow with problem size on even statically sc...