464 search results - page 71 / 93 » On Support of Ordering in Multidimensional Data Structures |
120
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
170
click to vote
WOWMOM
2005
ACM
15 years 7 months ago
2005
ACM
Ad hoc networks represent a key factor in the evolution of wireless communications. These networks typically consist of equal nodes that communicate without central control, inter...
121
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
122
click to vote
ISCA
2005
IEEE
15 years 7 months ago
2005
IEEE
Memory latency tolerant architectures support thousands of in-flight instructions without scaling cyclecritical processor resources, and thousands of useful instructions can compl...
114
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Compressed pattern matching refers to the process of, given a text in a compressed form and a pattern, finding all the occurrences of the pattern in the text without decompressio...