9626 search results - page 1407 / 1926 » Invariant Based Programming |
166
Voted
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...
225
click to vote
DOOD
1991
Springer
15 years 10 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
163
click to vote
INFOCOM
1991
IEEE
15 years 10 months ago
1991
IEEE
We have designed and implemented three multicast path finding algorithms for networks with directed links: an optimal algorithm based on the dynamic programming technique, a heuri...
160
click to vote
OOPSLA
1987
Springer
15 years 10 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
167
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...