804 search results - page 75 / 161 » On the Termination of the Chase Algorithm |
75
Voted
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
81
Voted
ENTCS
2006
15 years 17 days ago
2006
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
86
Voted
FUIN
2006
15 years 17 days ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
101
click to vote
JNW
2006
15 years 15 days ago
2006
This paper presents a Distributed Efficient Clustering Approach (DECA) for mobility-resistant and energy-efficient clustering in multi-hop wireless networks. The clusterheads cover...
FPGA
2003
ACM
15 years 5 months ago
2003
ACM
We present a pipelining-aware router for FPGAs. The problem of routing pipelined signals is different from the conventional FPGA routing problem. For example, the two terminal N-D...