657 search results - page 5 / 132 » Implementing Matching in ALE--First Results |
83
Voted
FLOPS
2004
Springer
15 years 5 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
96
Voted
ENTCS
2007
14 years 11 months ago
2007
We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way f...
202
Voted
ICDE
2002
IEEE
16 years 1 months ago
2002
IEEE
Matching elements of two data schemas or two data instances plays a key role in data warehousing, e-business, or even biochemical applications. In this paper we present a matching...
117
click to vote
ACMMSP
2006
ACM
15 years 5 months ago
2006
ACM
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
106
click to vote
DSD
2005
IEEE
15 years 5 months ago
2005
IEEE
An implementation of an algorithm for string matching, commonly used in DNA string analysis, using configurable technology is proposed. The design of the circuit allows for pipeli...