Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

David A. Carlson

dblp:64/861 · DBLP profile ↗
← Back
20ranked-venue papers
15as first author
0since 2021 · last 1992
0000-0001-9910-5379ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 13 · 10 first-authorTheory of computation · 6 · 5 first-authorDatabases, data management, data science and information retrieval · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
3 papers
High-performance computing · 26% Electronic design automation · 23% Integrated circuit design · 23%
Theoretical computer science
5 papers
Computational complexity · 58% Algorithms and data structures · 32% Graph algorithms and graph theory · 10%

Topics — the 22 heaviest of 22, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity
time-space tradeoffs
0.031987
Time-Space Efficient Algorithms for Computing Convolutions and Related Problems · Inf. Comput. 1987
Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983
Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980
Electronic design automation › multi-objective optimization
area-time tradeoff
0.011990
Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990
Integrated circuit design › digital circuit design
arithmetic circuit design
0.011990
Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990
Integrated circuit design › digital circuit design › arithmetic circuit design › adder design
carry-lookahead adder
0.011990
Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990
Electronic design automation › physical design
VLSI layout
0.011990
Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990
High-performance computing
fast fourier transform
0.011988
The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988
Parallel and multicore computing › parallel architecture
mesh-connected computer
0.011988
Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988
Interconnection networks and networks-on-chip
network topology
0.011988
Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988
Parallel and multicore computing
parallel algorithms
0.011988
Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988
High-performance computing
scientific computing systems
0.011988
The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988
High-performance computing › sparse linear algebra
sparse matrix computation
0.011988
The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988
Algorithms and data structures
convolution
0.011987
Time-Space Efficient Algorithms for Computing Convolutions and Related Problems · Inf. Comput. 1987
Computational complexity › space complexity
pebble game
0.021983
Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983
Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980
Algorithms and data structures › fourier transform
fast fourier transform
0.011983
Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983
Computational complexity
lower bounds
0.011983
Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983
Algorithms and data structures › parallel algorithms
parallel prefix computation
0.011990
Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990
Computational complexity › time-space tradeoffs
graph pebbling
0.011980
Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980
Processor architecture and microarchitecture › instruction set architecture
instruction set design
0.011988
The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988
Graph algorithms and graph theory › graph connectivity
connected components
0.011988
Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988
Graph algorithms and graph theory
graph algorithms
0.011988
Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988
Algorithms and data structures › symbolic computation › computational algebra
polynomial multiplication
0.011983
Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983
Computational complexity › algebraic complexity
straight-line algorithms
0.011980
Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980

Methods — techniques the papers use, named apart from their topics

asymptotic analysis · 0.0performance evaluation · 0.0time-space efficient algorithms · 0.0pebble game analysis · 0.0lower bound · 0.0diagonalization · 0.0
YearPublicationVenuePosition
1992 Integrating information systems technologies to support consultation in an information center
Sudha Ram, Stephen C. Hayne, David A. Carlson
Inf. Manag.3
1992 Ultrahigh-performance FFTs for the CRAY-2 and CRAY Y-MP supercomputers
David A. Carlson
J. Supercomput.1
1991 Using local memory to boost the performance of FFT algorithms on the CRAY-2 supercomputer
David A. Carlson
J. Supercomput.1
1990 The Design and Analysis of the Parallel Prefix Computation Algorithm
Tack-Don Han, David A. Carlson
ICPP (3)2
1990 Solving Linear Recurrence Systems on Mesh-Connected Computers with Multiple Global Buses
David A. Carlson
J. Parallel Distributed Comput.1
1990 Extreme Area-Time Tradeoffs in VLSI
abstract
Consideration is given to the layout of bounded fan-in and fan-out prefix computation graphs in VLSI, and it is shown that the area requirements of such graphs exhibit this interesting property. A small constant factor reduction in time of computation from 2 log eta to log eta increases the area required to embed an eta node prefix computation graph significantly from O( eta log eta ) to Omega ( eta /sup 2/). The area requirements are also given. This behavior is an example of an extreme area-time tradeoff in VLSI. Since prefix computation also models the carry computation in a carry look-ahead adder, the same behavior is observed in the area requirements of a near-minimum computation time carry look-ahead adder. The authors also present circuits which meet the derived lower bounds for all values of T between log eta and 2 log eta .>
Binay Sugla, David A. Carlson
IEEE Trans. Computers2
1990 Limited width parallel prefix circuits
David A. Carlson, Binay Sugla
J. Supercomput.1
1989 Adapting shuffle-exchange like parallel processing organizations to work as systolic arrays
David A. Carlson, Binay Sugla
Parallel Comput.1
1988 The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer
abstract
As part of the Horizon project, a set of application programs is being written and their performance is being evaluated. Two of these applications, the fast Fourier transform and sparse matrix computations, are described. For both problems, efficient implementations are developed that take advantage of Horizon's unique features, including fined-grained synchronization, multiple instruction streams, and a horizontal instruction set. The results indicate that Horizon will offer very high performance, sometimes in excess of a sustained rate of one floating point operation per tick.>
David A. Carlson, John M. Conroy
SC1
1988 Upper and Lower Bounds on Time-Space Tradeoffs for Computations with Embedded Fast Fourier Transforms
abstract
Computations with embedded Fast Fourier Transforms (FFT) have many important applications which include high-speed polynomial multiplication. In this paper, we discuss the time-space tradeoff behavior of such computations. In particular, we examine the way compositions of FFT graphs with one another and with other graphs affect this behavior. We model a computation by the well-known pebble game on directed acyclic graphs. We are able to show that the way in which connections are made between subgraphs of a graph exerts a nontrivial effect on the time-space tradeoff behavior. The graphs studied correspond to the problem of finding the maximum of a vector produced by the FFT algorithm, and to problems containing back-to-back FFTs such as polynomial multiplication. For the first problem, we show that different ways of expressing the FFT algorithm lead to very different time-space tradeoff behaviors. Our results for a polynomial multiplication algorithm based on back-to-back FFTs allow us to conclude that it has the connection pattern with the best possible time-space tradeoff behavior.
David A. Carlson
SIAM J. Discret. Math.1
1988 Modified Mesh-Connected Parallel Computers
abstract
The author explores modifications of a mesh-connected parallel computer for the purpose of increasing the efficiency of executing important application programs. These modifications are made by adding one or more global mesh structures to the processing array. The author shows how his modifications allow asymptotic improvements in the efficiency of executing computations having low to medium interprocessor communication requirements (e.g. tree computations, prefix computations, or finding the connected components of a graph). For computations with high interprocessor communication requirements such as sorting, the author shows that they offer no speedup. He also compares the modified mesh-connected parallel computer to other similar organization including the pyramid, the X-tree, and the mesh-of-trees.>
David A. Carlson
IEEE Trans. Computers1
1988 Parallel algorithms and architectures report of a workshop
Duncan A. Buell, David A. Carlson, Yuan-Chieh Chow, Karel Culík, Narsingh Deo, Raphael A. Finkel, Elias N. Houstis, Elaine M. Jacob Son, Zvi M. Kedem, Janusz S. Kowalik, Philip Kuekes, Joanne L. Martin, George A. Michael, Neil S. Ostlund, Jerry Potter, D. K. Pradhan, Michael J. Quinn, G. W. Stewart, Quentin F. Stout, Layne T. Watson
J. Supercomput.2
1987 Fast area-efficient VLSI adders
abstract
In this paper, we study area-time tradeoffs in VLSI for prefix computation using graph representations of this problem. Since the problem is intimately related to binary addition, the results we obtain lead to the design of area-time efficient VLSI adders. This is a major goal of our work: to design very low latency addition circuitry that is also area efficient. To this end, we present a new graph representation for prefix computation that leads to the design of a fast, area-efficient binary adder. The new graph is a combination of previously known graph representations for prefix computation, and its area is close to known lower bounds on the VLSI area of parallel prefix graphs. Using it, we are able to design VLSI adders having area A = 0(n log n) whose delay time is the lowest possible value, i. e. the fastest possible area-efficient VLSI adder.
Tack-Don Han, David A. Carlson
IEEE Symposium on Computer Arithmetic2
1987 Time-Space Efficient Algorithms for Computing Convolutions and Related Problems
David A. Carlson
Inf. Comput.1
1985 Performing Tree and Prefix Computations on Modified Mesh-Connected Parallel Computers
David A. Carlson
ICPP1
1984 Parallel Processing of Tree-like Computations
David A. Carlson
ICDCS1
1983 Size-Space Tradeoffs for Oblivious Computations
David A. Carlson, John E. Savage
J. Comput. Syst. Sci.1
1983 Time-Space Tradeoffs on Back-to-Back FFT Algorithms
abstract
This paper examines the performance of back-to-back applications of a fast Fourier transform algorithm with respect to computational time and space. Using a well-known pebble game as an analysis technique, a lower bound is derived on the product of time and space, which is of the form T · S = Ω(n2 log2n) for an n-input back-to-back FFT. The implications of this lower bound on applications of a back-to-back FFT circuit, such as polynomial multiplication and permutation graphs, are also discussed.
David A. Carlson
IEEE Trans. Computers1
1982 Extreme Time-Space Tradeoffs for Graphs with Small Space Requirements
David A. Carlson, John E. Savage
Inf. Process. Lett.1
1980 Graph Pebbling with Many Free Pebbles can be Difficult
abstract
The pebble game on directed acyclic graphs can be used to model the space-time tradeoff behavior of a straight-line algorithm (SLA). In this game, the maximum number of pebbles used at any one time corresponds to the number of temporary registers available and is called space. The number of moves made to reach the outputs of the graph, or the time, corresponds to the number of operations required by the SLA. In this paper, it is shown that there exist infinite families of constructible graphs on N nodes which possess an extreme time-space tradeoff. For a particular set of graphs, if space is restricted to fall in the range of Θ(log N) to Θ((@@@@N/log N)), then the pebbling time necessary is superpolynomial in N. This result is obtained by deriving a lower bound on time when extra space is restricted, and then diagonalizing over the amount of this space. An extension of this argument shows that the minimum space requirement for such constructible graph families can grow as any slowly increasing function of N.
David A. Carlson, John E. Savage
STOC1