303 search results - page 51 / 61 » Computing Minimal Spanning Subgraphs in Linear Time |
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
119
Voted
PACT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
115
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In parallel processing systems, a fundamental consideration is the maximization of system performance through task mapping. A good allocation strategy may improve resource utilizat...
103
click to vote
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
132
Voted
ICSOC
2010
Springer
15 years 11 days ago
2010
Springer
We present a brokering service for the adaptive management of composite services. The goal of this broker is to dynamically adapt at runtime the composite service configuration, ...