7758 search results - page 426 / 1552 » On the Number of Distributive Lattices |
178
click to vote
ICS
1993
Tsinghua U.
15 years 11 months ago
1993
Tsinghua U.
This paper examines the effectiveness of decoupling as an optimization technique for high-performance computer architectures. Decoupled access execute architectures are described,...
170
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
147
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
163
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
183
click to vote
ICPP
1987
IEEE
15 years 10 months ago
1987
IEEE
We present an efficient coarse grained parallel algorithm for computing a maximum weight matching in trees. A divide and conquer approach based on centroid decomposition of trees ...