The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation

The specification of array-based algorithms and the automated derivation of parallel implementations through program transformation

Bibliographic Details
Main Author:	Fitzpatrick, Stephen
Published:	Queen's University Belfast 1994
Subjects:	510 Pure mathematics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.282150

Similar Items

Transformational derivation of parallel algorithms
by: Abdallah, Ali Ezzat
Published: (1994)

Parallel algorithms for systems of equations
by: Wesson, Paul John
Published: (1992)

Parallel algorithms in graph theory and algebra
by: Holloway, Nick
Published: (1994)

Size bounds and parallel algorithms for networks
by: Lev, G.
Published: (1980)

Parallel algorithms for digital map path optimisation
by: Hislop, A. D.
Published: (1992)

Designing numerical algorithms based on parallel processing
by: Hellier, R. L.
Published: (1986)

Complex approximation algorithms applied to antenna arrays
by: Wilde, S. J.
Published: (1994)

Quadratic programming with constant norm with parallel applications
by: Szularz, Marek
Published: (1991)

Parallel algorithms for large sparse systems of differential equations
by: Walshaw, C. H.
Published: (1991)

Parallel numerical algorithms for solving ordinary differential equations
by: Khalaf, Bashir M. S.
Published: (1990)

Parallel algorithms for three dimensional electrical impedance tomography
by: Paulson, K.
Published: (1992)

The effectiveness of parallel iterative algorithms for solution of large sparse linear systems
by: Leland, Robert William
Published: (1989)

Theory and implementation of algorithms for Sturm-Lioville computations
by: Marletta, Marco
Published: (1991)

On the algorithms and implementation of a geometric algebra system
by: Milne, Philip S.
Published: (1990)

Some new developments on theoretical results and practical algorithms for equilibrium programming problems
by: Zhou, Wenwen
Published: (1995)

The computation of eigensystems using an array processor
by: Weston, James S. C.
Published: (1988)

An investigation of interior point methods for large scale linear programs : theory and computational algorithms
by: Levkovitz, Ron
Published: (1992)

The determination of sparse eigensystems and parallel linear system solvers
by: Shanehchi, Javad
Published: (1980)

Combinatorial algorithms
by: Wright, Colin Douglas
Published: (1990)

Specification and simulation of random mosaics
by: Middleton, R. D.
Published: (1991)

Nahm transform of doubly-periodic instantons
by: Jardim, Marcos Benevenuto
Published: (1999)

Application of integral transforms to the estimation of functions
by: Ecker, F. J.
Published: (1980)

Elliptic operators, connections and gauge transformations
by: Wilkins, David Raynor
Published: (1985)

Equivalence transformations in linear systems theory
by: Fretwell, Paul
Published: (1986)

Orthogonal transforms in digital logic design
by: Lloyd, A. M.
Published: (1980)

Algorithms for finite structures
by: Mirza, Shemila
Published: (1999)

The Karlhede classification and derivative bounds
by: Collins, Julian M.
Published: (1991)

Type D vacuum metrics and the Ward transform
by: von Schroeter, Thomas
Published: (1997)

Developments of the simulated annealing algorithm
by: Wade, A. S. C.
Published: (1998)

Bounded derivations from uniform algebras
by: Morris, Simon Edward
Published: (1994)

Fractional powers of integral transforms for classical and generalized functions
by: Kerr, Fiona Helen
Published: (1988)

Backlund transformations for certain classes of nonlinear wave equations
by: Nimmo, J. J. C.
Published: (1982)

VLSI architectures for high speed Fourier transform processing
by: Mactaggart, Iain Ross
Published: (1984)

Reconstructing functions from values and derivatives
by: Beaty, Michael Graeme
Published: (1989)

Algorithms for continuous network flow problems
by: Philpott, A. B.
Published: (1982)

On genetic algorithms in machine learning and optimisation
by: Odetayo, Michael Omoniyi
Published: (1990)

Inverse eigenvalue problems : theory and algorithms
by: Attalla Atia, May Ramsis
Published: (1998)

Proximinality and algorithms in normed linear spaces
by: Holland, S. M.
Published: (1984)

Optimisation algorithms for a transputer network
by: Jha, Manoranjan
Published: (1992)

Categories, relations and dynamic programming
by: Moor, Oege de
Published: (1991)