WorldCat Identities

Reif, J. H. (John H.)

Overview
Works: 144 works in 280 publications in 1 language and 2,795 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc  Specifications 
Roles: Editor
Classifications: QA76.642, 621.391
Publication Timeline
Key
Publications about  J. H Reif Publications about J. H Reif
Publications by  J. H Reif Publications by J. H Reif
Most widely held works by J. H Reif
Parallel algorithm derivation and program transformation by Robert A Paige ( )
7 editions published in 1993 in English and held by 581 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
DNA computing 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers by Junghuei Chen ( )
6 editions published in 2004 in English and held by 557 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
VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings by J. H Reif ( Book )
17 editions published in 1988 in English and Undetermined and held by 363 WorldCat member libraries worldwide
Synthesis of parallel algorithms ( Book )
8 editions published in 1993 in English and held by 348 WorldCat member libraries worldwide
Mathematics of Computing -- Parallelism
Handbook of parallel computing : models, algorithms and applications by Sanguthevar Rajasekaran ( Book )
18 editions published between 2007 and 2008 in English and held by 275 WorldCat member libraries worldwide
Funded by DSU Title III 2007-2012
Parallel image compression NASA SBIR phase 1 report by J. H Reif ( )
3 editions published in 1987 in English and held by 233 WorldCat member libraries worldwide
DCC '91 : Data Compression Conference by Data Compression Conference ( Book )
4 editions published in 1991 in English and held by 112 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 55 WorldCat member libraries worldwide
Deriving efficient graph algorithms by J. H Reif ( Book )
5 editions published in 1982 in English and Undetermined and held by 9 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 )
1 edition published in 1981 in English and held by 9 WorldCat member libraries worldwide
VLSI algorithms and architectures : proceedings ( Book )
1 edition published in 1988 in English and held by 8 WorldCat member libraries worldwide
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing by J. H Reif ( )
1 edition published in 2002 in English and held by 7 WorldCat member libraries worldwide
Implementation of Parallel Algorithms ( )
7 editions published between 1991 and 1993 in English and held by 7 WorldCat member libraries worldwide
The investigation was centered on how to map context-free grammar recognition onto systolic arrays. We are currently in the final phases of the preparation of a technical report which will document this work. Current research efforts are to extend our method to other algorithms. A new method was developed for mapping algorithms into parallel architectures. This new method works very well for a class of dynamic programming problems, including CFG recognition
A simple three-dimensional real-time reliable cellular array by Péter Gács ( Book )
2 editions published between 1985 and 1987 in English and held by 6 WorldCat member libraries worldwide
Shortest paths in Euclidean space with polyhedral obstacles by J. H Reif ( Book )
4 editions published between 1984 and 1985 in English and held by 5 WorldCat member libraries worldwide
This document considers the problem of finding a minimum length path between two points in Euclidean space which avoids a set (not necessarily convex) polyhedral obstacles; we let n denote the number of the obstacle edges and k denote the number of islands in the obstacle space. For two dimensions, an island is defined to be a maximal convex obstacle surface such that for any two points contained in the interior of the island, a minimal length path between these two points is strictly contained in the interior of the island; for example, a set of i disconnected convex polyhedra forms a set of i islands, however, a single non-convex polyhedron will constitute more than one island. Keywords: Mover's problem; robotics motion planning
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
Real time resource allocation in a distributed system by J. H Reif ( Book )
4 editions published in 1982 in English and held by 5 WorldCat member libraries worldwide
A resource allocation problem is considered which is local in the sense that the number of users competing for a particular resource at any time instant is bounded and also at any time instant the number of resources that a user is willing to get is bounded. The problem may be viewed as distributedly achieving matchings in dynamically changing hypergraphs. We show that this problem is related to the fundamental problem of handshake communication (this problem can be viewed as achieving matchings in dynamically changing graphs, via distributed algorithms) in that an efficient solution to each of them implies an efficient solution to the other. We provide real-time solutions to the resource allocation problem (i.e., distributed algorithms with real time response) via probabilistic techniques. No probability assumptions about the system behavior are made, but processes are allowed the ability to make independent probabilistic choices. One of our solutions assumes the existence of an underlying efficient handshake communication system. Another is based on basic synchronization primitives (flag variables). The special case of equi-speed processes is examined. Applications are drawn to dining philosophers, scheduling and two-phase locking in databases
Motion planning in the presence of moving obstacles by J. H Reif ( Book )
3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide
This paper investigates the computational complexity of planning the motion of a body B in 2-D or 3-D space, so as to avoid collision with moving obstacles of known, easily computed, trajectories. Dynamic movement problems are of fundamental importance to robotics, but their computational complexity has not previously been investigated. We provide evidence that the 3-D dynamic movement problem is intractable even if B has only a constant number of degrees of freedom of movement. In particular, we prove the problem is PSPACE-hard if B is given a velocity modulus bound on its movements and is NP hard even if B has no velocity modulus bound, where in both cases B has 6 degrees of freedom. To prove these results we use a unique method of simulation of a Turing machine which uses time to encode configurations (whereas previous lower bound proofs in robotics used the system position to encode configurations and so required unbounded number of degrees of freedom). We also investigate a natural class of dynamic problems which we call asteroid avoidance problems: B, the object we wish to move, is a convex polyhedron which is free to move by translation with bounded velocity modulus and the polyhedral obstacles have known translational trajectories but cannot rotate. This problem has many applications to robot, automobile, and aircraft collision avoidance
Efficient parallel solution of linear systems by Victor Pan ( Book )
3 editions published between 1984 and 1985 in English and held by 4 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
DNA-based self-assembly and nanorobotics : on constructing complex, fault-tolerant nanostructures and programmable nanorobotic devices by Sudheer Sahu ( Book )
2 editions published in 2008 in English and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.00 for Implementa ... to 0.93 for Proceeding ...)
Alternative Names
Reif, J. H.
Reif, John.
Reif, John H.
Reif, John (John H.)
Languages
English (98)
Covers