Sciweavers

2645 search results - page 145 / 529
» time 2003
Sort
View
ISAAC
2003
Springer
117views Algorithms» more  ISAAC 2003»
15 years 11 months ago
Approximate Regular Expression Searching with Arbitrary Integer Weights
Abstract. We present a bit-parallel technique to search a text of length n for a regular expression of m symbols permitting k differences in worst case time O(mn/ logk s), where s...
Gonzalo Navarro
ISCAS
2003
IEEE
124views Hardware» more  ISCAS 2003»
15 years 11 months ago
Convergent transfer subgraph characterization and computation
In this paper, we present a precise characterization of the existence of a convergent transfer subgraph in an edge colored directed acyclic graph. Based on the characterization, l...
Wing Ning Li
CP
2003
Springer
15 years 11 months ago
Improved Algorithms for Max-restricted Path Consistency
A binary constraints network consists of a set of n variables, defined on domains of size at most d, and a set of e binary constraints. The binary constraint satisfaction problem ...
Fabrizio Grandoni, Giuseppe F. Italiano
ICDCS
2003
IEEE
15 years 11 months ago
The Hash History Approach for Reconciling Mutual Inconsistency
We introduce the hash history mechanism for capturing dependencies among distributed replicas. Hash histories, consisting of a directed graph of version hashes, are independent of...
ByungHoon Kang, Robert Wilensky, John Kubiatowicz
IPPS
2003
IEEE
15 years 11 months ago
New Dynamic Heuristics in the Client-Agent-Server Model
MCT is a widely used heuristic for scheduling tasks onto grid platforms. However, when dealing with many tasks, MCT tends to dramatically delay already mapped task completion time...
Yves Caniou, Emmanuel Jeannot