5066 search results - page 604 / 1014 » Spectra of structures and relations |
184
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
178
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
182
click to vote
TAPSOFT
1993
Springer
15 years 11 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
170
Voted
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
184
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
A join index hierarchy method is proposed to handle the "goto's on disk" problem in objectoriented query processing. The method constructs a hierarchy of join indic...