6939 search results - page 377 / 1388 » Algorithm Engineering for Parallel Computation |
178
click to vote
PPAM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper presents an algorithm for scheduling parallel programs for execution in a parallel architecture based on dynamic SMP processor clusters with data transfers on t...
150
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
174
Voted
TIT
2008
15 years 6 months ago
2008
Abstract--The sum capacity of the one-sided parallel Gaussian interference channel is shown to be a concave function of user powers. Exploiting the inherent structure of the proble...
267
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...
176
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
Many computer applications are currently using digital video. Recent advances in digital imaging and faster networking infrastructure made this technology very popular, not only fo...