Results 11 - 20
of
1,048
Wavelet packet best basis selection on moderate parallel MIMD architectures
, 1996
"... Wavelet packet best basis selection has become a popular method in image compression. This paper introduces a subband based parallelization which overcomes most of the difficulties of a straightforward parallel version of the sequential algorithm. Beside the higher efficiency the algorithm is easier ..."
Abstract
-
Cited by 16 (10 self)
- Add to MetaCart
Wavelet packet best basis selection has become a popular method in image compression. This paper introduces a subband based parallelization which overcomes most of the difficulties of a straightforward parallel version of the sequential algorithm. Beside the higher efficiency the algorithm
Parallel Recombinative Simulated Annealing: A Genetic Algorithm
, 1995
"... This paper introduces and analyzes a parallel method of simulated annealing. Borrowing from genetic algorithms, an effective combination of simulated annealing and genetic algorithms, called parallel recombinative simulated annealing, is developed. This new algorithm strives to retain the desirable ..."
Abstract
-
Cited by 94 (3 self)
- Add to MetaCart
. Proofs of global convergence are given for two variations of the algorithm. Convergence behavior is examined, and empirical distributions are compared to Boltzmann distributions. Parallel recombinative simulated annealing is amenable to straightforward implementation on SIMD, MIMD, or shared
Parallel Algorithm Configuration
"... Abstract. State-of-the-art algorithms for solving hard computational problems often expose many parameters whose settings critically affect empirical performance. Manually exploring the resulting combinatorial space of parameter settings is often tedious and unsatisfactory. Automated approaches for ..."
Abstract
-
Cited by 10 (7 self)
- Add to MetaCart
, involving many thousands of invocations of the algorithm to be configured. Here, we study the extent to which parallel computing can come to the rescue. We compare straightforward parallelization by multiple independent runs with a more sophisticated method of parallelizing the model-based configuration
Parallelizing Algorithms for Symbolic Computation using ||MAPLE||
- IN FOURTH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING
, 1993
"... ||MAPLE|| (speak: parallel Maple) is a portable system for parallel symbolic computation. The system is built as an interface between the parallel declarative programming language Strand and the sequential computer algebra system Maple, thus providing the elegance of Strand and the power of the exis ..."
Abstract
-
Cited by 21 (1 self)
- Add to MetaCart
) are implemented on various parallel architectures. For example a straightforward parallelization of the complex and important problem of real root isolation has been parallelized using a generic Strand program of fewer than 20 lines of code and a slight modification of 5 lines in the original sequential Maple
The PVM Concurrent Computing System: Evolution, Experiences, and Trends
- PARALLEL COMPUTING
, 1994
"... The PVM system, a software framework for heterogeneous concurrent computing in networked environments, has evolved in the past several years into a viable technology for distributed and parallel processing in a variety of disciplines. PVM supports a straightforward but functionally complete messa ..."
Abstract
-
Cited by 141 (7 self)
- Add to MetaCart
The PVM system, a software framework for heterogeneous concurrent computing in networked environments, has evolved in the past several years into a viable technology for distributed and parallel processing in a variety of disciplines. PVM supports a straightforward but functionally complete
CLIP: A Checkpointing Tool for Message-Passing Parallel Programs
, 1997
"... Checkpointing is a useful technique for rollback recovery of parallel applications. While extensive research has been performed on checkpointing in parallel environments, there are few checkpointers available to application users on commercial parallel computers. This paper presents one such checkpo ..."
Abstract
-
Cited by 82 (10 self)
- Add to MetaCart
such checkpointer: CLIP. CLIP is a user-level library that provides semitransparent checkpointing for parallel programs on the Intel Paragon multicomputer. It is publicly available to Paragon users at no cost. Conceptually, checkpointing a multicomputer is quite straightforward. However, when creating an actual
QR Factorization with Morton-Ordered Quadtree Matrices for Memory Re-use and Parallelism
- In Proc. 2003 ACM Symp. on Principles and Practice of Parallel Programming
, 2003
"... Quadtree matrices using Morton-order storage provide natural blocking on every level of a memory hierarchy. Writing the natural recursive algorithms to take advantage of this blocking results in code that honors the memory hierarchy without the need for transforming the code. Furthermore, the divide ..."
Abstract
-
Cited by 13 (1 self)
- Add to MetaCart
, the divide-and-conquer algorithm breaks problems down into independent computations. These independent computations can be dispatched in parallel for straightforward parallel processing. Proof-of-concept is given by an algorithm for QR factorization based on Givens rotations for quadtree matrices in Morton
FOPWA: An Optimized Parallel Algorithm of Watershed Transform for Image Segmentation *
"... Abstract: Watershed segmentation/transform is a classical method for image segmentation in gray scale mathematical morphology. Nevertheless watershed algorithm has strong recursive nature, so straightforward parallel one has very low efficiency. Firstly, the advantages and disadvantages of some exis ..."
Abstract
- Add to MetaCart
Abstract: Watershed segmentation/transform is a classical method for image segmentation in gray scale mathematical morphology. Nevertheless watershed algorithm has strong recursive nature, so straightforward parallel one has very low efficiency. Firstly, the advantages and disadvantages of some
Parallel Skeletons for Structured Composition
- FIFTH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING
, 1995
"... In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition. In our approach parallel programs are constructed by composing procedures in a conventional base language using a set of ..."
Abstract
-
Cited by 36 (0 self)
- Add to MetaCart
In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition. In our approach parallel programs are constructed by composing procedures in a conventional base language using a set
Secure Information Flow by Self-Composition
- UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2010
"... Information flow policies are confidentiality policies that control information leakage through program execution. A common means to enforce secure information flow is through information flow type systems. Although type systems are compositional and usually enjoy decidable type checking or inferenc ..."
Abstract
-
Cited by 138 (15 self)
- Add to MetaCart
of safety policies, and for this reason are favored in Proof Carrying Code, a promising security architecture for mobile code. However, the encoding of information flow policies in program logics is not straightforward, because they refer to a relation between two program executions. The purpose
Results 11 - 20
of
1,048