WorldCat Identities

Reif, J. H. (John H.)

Overview
Works: 164 works in 309 publications in 2 languages and 3,015 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals  Specifications 
Roles: Author, Editor, Other
Classifications: QA76.642, 005.11
Publication Timeline
.
Most widely held works by J. H Reif
Synthesis of parallel algorithms( Book )

12 editions published in 1993 in English and held by 344 WorldCat member libraries worldwide

Mathematics of Computing -- Parallelism
VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings by J. H Reif( Book )

20 editions published between 1988 and 1993 in 3 languages and held by 306 WorldCat member libraries worldwide

From the Foreword: "The papers in this volume were presented at the Aegean Workshop on Computing: VLSI Algorithms and Architectures (AWOC 88), organized by the Computer Technology Institute in Patras in cooperation with ACM, EATCS, IEEE and the General Secretariat of Research and Technology (Ministry of Industry, Energy & technology of Greece). They were selected from 119 abstracts submitted in response to the program committee's call for papers and to additional invitations from John Reif. AWOC 88 took place in Corfu, Greece, June 28-July 1, 1988. AWOC 88 is the third meeting in the International Workshop on Parallel Computing & VLSI series; the first meeting took place in Amalfi, Italy, 1984, and the second at Loutraki, Greece, 1986."
DNA computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers by Junghuei Chen( Book )

9 editions published in 2004 in English and held by 233 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on DNA Based Computers, DNA9, held in Madison, Wisconsin, USA in June 2003. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement from initially 60 submissions. The papers are organized in topical sections on new experiments and tools, theory, computer simulation and sequence design, self-assembly and autonomous molecular computation, experimental solutions, and new computing models
Handbook of parallel computing : models, algorithms and applications by Sanguthevar Rajasekaran( Book )

18 editions published between 2007 and 2008 in English and held by 222 WorldCat member libraries worldwide

Funded by DSU Title III 2007-2012
Parallel image compression NASA SBIR phase 1 report by J. H Reif( Book )

2 editions published in 1987 in English and held by 142 WorldCat member libraries worldwide

Parallel algorithm derivation and program transformation by Robert A Paige( Book )

8 editions published in 1993 in English and held by 130 WorldCat member libraries worldwide

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies. Parallel Algorithm Derivation and Program Transformation stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models. Parallel Algorithm Derivation and Program Transformation is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development
DCC '91 : Data Compression Conference by Data Compression Conference( Book )

4 editions published in 1991 in English and held by 81 WorldCat member libraries worldwide

Proceedings of the 34th Annual ACM Symposium on the Theory of Computing : Montreal, Quebec, Canada, May 19-21, 2002 by ACM Symposium on Theory of Computing( Book )

3 editions published in 2002 in English and held by 27 WorldCat member libraries worldwide

VLSI algorithms and architectures proceedings( )

1 edition published in 1988 in Undetermined and held by 17 WorldCat member libraries worldwide

VLSI algorithms and architectures : proceedings by Aegean Workshop on Computing( Book )

2 editions published in 1988 in English and held by 13 WorldCat member libraries worldwide

Deriving efficient graph algorithms by J. H Reif( Book )

8 editions published in 1982 in English and Undetermined and held by 10 WorldCat member libraries worldwide

Ten years ago Hopcroft and Tarjan discovered a class of very fast algorithms for solving graph problems such as biconnectivity and strong connectivity. While these depth-first-search algorithms are complex and can be difficult to understand, the problems they solve have simple combinatorial definitions that can themselves be considered algorithms, though the might be very inefficient or even infinitary. We demonstrate here how the efficient algorithms can be systematically derived using program transformation steps from the intuitive but preliminary definitions. There are several justifications for this work. First, we believe that the evolutionary approach used in this paper offers more natural explanations of the algorithms than the usual a posteriori proofs that appear in textbooks. Second, the derivations illustrate several high-level principles of program derivation and suggest methods by which these principles can be realized by sequences of program transformation steps. Third, these examples illustrate how external domain-specific knowledge can enter into the program derivation process. This is the first occasion that such efficient graph algorithms have been systematically derived. (Author)
The propositional dynamic logic of deterministic, well-structured programs by Joseph Y Halpern( Book )

2 editions published in 1981 in English and held by 9 WorldCat member libraries worldwide

A simple three-dimensional real-time reliable cellular array by Pter Gcs( Book )

2 editions published between 1985 and 1987 in English and held by 6 WorldCat member libraries worldwide

Efficient parallel solution of linear systems by Victor Pan( Book )

4 editions published between 1984 and 1985 in English and held by 5 WorldCat member libraries worldwide

The most efficient known parallel algorithms for inversion of a nonsingular nxn matrix A or solving a linear system Ax=b over the rationals require O(log n) to the 2nd power time and M(n) square root of n processors (where M(n) is the number of processors required in order to multiply two nxn rational matrices in time O(log n)). Furthermore, all known polylog time algorithms for those problems are unstable: they require the calculations to be done with perfect precision; otherwise they give no results at all. This paper describes parallel algorithms that have good numerical stability and remain efficient as n grows large. Additional keywords: Iterations; Convergence; Newtons method; Computer architecture
VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece, June 28-July 1988 : proceedings by Aegean Workshop on Computing( Book )

3 editions published in 1988 in English and held by 5 WorldCat member libraries worldwide

Special issue on STOC 2002 : [11 papers ... of the Thirty-Fourth Annual ACM Symposium on Theory of Computing (STOC2002), held in Montreal, Quebec, Canada, May 19 - 21, 2002] by 2002, Montral> Symposium on Theory of Computing. <34( Book )

2 editions published in 2003 in English and held by 5 WorldCat member libraries worldwide

Theory of computing - STOC 2002 : proceedings by ACM Symposium on Theory of Computing. STOC( Book )

1 edition published in 2002 in English and held by 5 WorldCat member libraries worldwide

O(logn) time efficient parallel factorization of dense, sparse separable, and banded matrices by J. H Reif( Book )

2 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide

Known polylog parallel algorithms for the solution of linear systems and related problems require computation of the characteristic polynomial or related forms, which are known to be highly unstable in practice. However, matrix factorizations of various types, bypassing computation of the characteristic polynomial, are used extensively in sequential numerical computations and are essential in many applications
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing by J. H Reif( )

2 editions published in 2002 in English and held by 0 WorldCat member libraries worldwide

Implementation of Parallel Algorithms( )

7 editions published between 1991 and 1993 in English and held by 0 WorldCat member libraries worldwide

Contents: Intermediate Representation for Parallel Implementation; Data Movement on Processor Arrays; Data-Parallel Implementations of Fast Multipole Algorithms for N-Body Interaction; Rate Control in Parallel Algorithms; Implementing Asynchronous Parallelism using Tagged-Memory; Implementations of Parallel Algorithms in Computational Geometry; and Parallel Sort Implementation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.24 for Parallel a ... to 1.00 for Implementa ...)

Synthesis of parallel algorithms
Alternative Names
Reif, J. H.

Reif, John.

Reif, John H.

Reif, John (John H.)

Languages
English (106)

Italian (1)

Covers
VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedingsDNA computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papersHandbook of parallel computing : models, algorithms and applicationsParallel algorithm derivation and program transformationVLSI algorithms and architectures proceedingsVLSI algorithms and architectures : proceedingsVLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece, June 28-July 1988 : proceedings