6201 search results - page 1062 / 1241 » Implementation of Axiomatic Language |
203
click to vote
RULES
1993
Springer
15 years 10 months ago
1993
Springer
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
153
click to vote
SC
1994
ACM
15 years 10 months ago
1994
ACM
In adaptive irregular problems the data arrays are accessed via indirection arrays, and data access patterns change during computation. Implementingsuch problems ondistributed mem...
184
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
175
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
185
click to vote
LOPSTR
1992
Springer
15 years 10 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...