Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra software

Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra software

Bibliographic Details
Main Author:	Benson, T. J. Graeme
Published:	Queen's University Belfast 1992
Subjects:	005 Mathematical programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.388070

Similar Items

A graphical system for parallel software development
by: Allen, Robert Stephen
Published: (1997)

Dataflow development of medium-grained parallel software
by: Harley, Jonathan William
Published: (1993)

Software environments for parallel computing
by: Hill, Mark Bowen
Published: (1993)

A study of iterative methods for the solution of systems of linear equations on transputer networks
by: Cunha, Rudnei Dias da
Published: (1992)

Efficient parallel image-processing software
by: Fleury, Martin
Published: (1997)

Design and implementation of project-specific software for offshore emergency shutdown systems
by: Borer, John Raymond
Published: (1993)

Analysis of safety-critical parallel software systems
by: Marriott, Derek Garron
Published: (1996)

Parallel paradigms and their implementation
by: Stanford-Clark, Andrew J.
Published: (1991)

And-parallel implementation of Prolog on distributed memory machines
by: Verden, Andrew Roy
Published: (1991)

The application of software metrics to the area of software specification
by: Finney, Kathleen Margaret
Published: (1998)

Towards AND/OR parallel logic programming
by: Khabaza, Tom
Published: (1989)

Implementing functional languages for parallel machines
by: Hammond, K.
Published: (1988)

Parallel implementation of funtional languages using divide-and-conquer strategies
by: Esmaeili, Javad
Published: (1995)

Machine-assisted theorem-proving for software engineering
by: Martin, Andrew Philip
Published: (1994)

The synthesis of parallel programs : with specific application to text processing
by: Milligan, Peter
Published: (1986)

Quality assurance of specification and design of software
by: Myers, Margaret
Published: (1989)

Towards a process-centred software engineering environment to support the development of high integrity software
by: Gimenes, Itana Maria de Sousa
Published: (1992)

The integration of software specification, verification, and testing techniques with software requirements and design processes
by: Chantatub, Wachara
Published: (1995)

Design and analysis of numerical algorithms for the solution of linear systems on parallel and distributed architectures
by: Abdullah, Rosni
Published: (1997)

An automatic approach to implementing DSP algorithms on parallel processors
by: Goddard, Alan John
Published: (1990)

The implementation of a portable software platform
by: Sutton, Carl David
Published: (1994)

A formal framework in VDM for the specification of parallel discrete event simulation
by: Hook, Nicola K.
Published: (1995)

Using formal specifications to enhance the software testing process
by: Hierons, Robert M.
Published: (1992)

An investigation into generating readable software from logic specifications
by: Resler, R. Daniel
Published: (1991)

Towards object-oriented software architecture reuse
by: Desmond, Lewis
Published: (1994)

Formal method for the retrospective specification of the functionality of existing software systems
by: Halmay, Edit
Published: (1988)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

Parallel implementation of concurrent logic languages using graph rewriting techniques
by: Papadopoulos, George Angelos
Published: (1989)

Non-numerical parallel algorithms for asynchronous parallel computer systems
by: Ghanemi, Salim
Published: (1987)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

A development environment for implementing application software in a distributed multiprocessor computer system
by: Lambert, J. E.
Published: (1983)

Towards a software framework for supporting hardware fault tolerance
by: Aghanya, Obiajulu Anizoba
Published: (1994)

Towards the automated production of diagnostic software for SPC switching systems
by: Shashidhar, C. R.
Published: (1985)

Parallel execution of Parlog
by: Cheese, Andrew B.
Published: (1990)

An algebraic approach to compiler design
by: Sampaio, Augusto
Published: (1993)

Tools for algebraic program transformation
by: Merriam, Nicholas Andrew Van Ness
Published: (1995)

Interfacing algebraic and numeric computation
by: Dewar, Michael C.
Published: (1991)

Parallel algorithms for MIMD parallel computers
by: Yousif, Hilal M.
Published: (1986)

Parallelization of algorithms by explicit partitioning
by: Bahoshy, Nimatallah M.
Published: (1992)

Configuration-oriented development of parallel programs
by: Justo, George Roger Ribeiro
Published: (1993)