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

Robert F. Sproull

dblp:34/1657 · also Bob Sproull · DBLP profile ↗
← Back
17ranked-venue papers
7as first author
0since 2021 · last 1992
—ORCID · none

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

Graphics, computer vision, multimedia, augmented reality and games · 11 · 5 first-authorHuman-computer interaction and ubiquitous computing · 6 · 2 first-authorArtificial intelligence and machine learning · 3 · 1 first-authorSystems, architecture and hardware · 2Theory of computation · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 1Databases, data management, data science and information retrieval · 1 · 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 graphics and multimedia
6 papers
Rendering · 97% Geometric modeling and processing · 3%
Computer architecture, parallel and distributed computing, and storage systems
5 papers
Performance modeling and evaluation · 31% Memory systems · 19% Hardware accelerators and domain-specific architectures · 14%
Software engineering, system software, and programming languages
4 papers
Operating systems · 53% Compilers and program optimization · 47%
Artificial intelligence
3 papers
Knowledge representation and reasoning · 60% Robot manipulation · 40%
Human-computer interaction and pervasive computing
1 paper
User interface design and tools · 100%

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

TopicWeightPapersLastEvidence papers
Rendering
rasterization
0.021989
A characterization of ten rasterization techniques · SIGGRAPH 1989
Filtering edges for gray-scale displays · SIGGRAPH 1981
Memory systems › memory architecture
frame buffer architecture
0.011983
The 8 by 8 Display · ACM Trans. Graph. 1983
Compilers and program optimization
program transformation
0.011982
Using Program Transformations to Derive Line-Drawing Algorithms · ACM Trans. Graph. 1982
Rendering
antialiasing
0.011981
Filtering edges for gray-scale displays · SIGGRAPH 1981
Rendering › non-photorealistic rendering
line drawing
0.011981
Filtering edges for gray-scale displays · SIGGRAPH 1981
Parallel and multicore computing
parallel computing
0.011981
A VLSI architecture for updating raster-scan displays · SIGGRAPH 1981
Electronic design automation › CAD framework
VLSI design environment
0.011981
A system design revolution (Panel Session) · SIGGRAPH 1981
Performance modeling and evaluation
workload characterization
0.011980
Trends in high performance graphic systems(Panel Session) · SIGGRAPH 1980
User interface design and tools
programming environments
0.011979
Raster graphics for interactive programming environments · SIGGRAPH 1979
Operating systems › resource management › storage management
file systems
0.011979
An Open Operating System for a Single-User Machine · SOSP 1979
Integrated circuit design
VLSI design
0.021981
A system design revolution (Panel Session) · SIGGRAPH 1981
Trends in high performance graphic systems(Panel Session) · SIGGRAPH 1980
Rendering
raster graphics
0.011981
A VLSI architecture for updating raster-scan displays · SIGGRAPH 1981
Robotics › Robot manipulation › robot vision
hand-eye coordination
0.011971
System Support for the Stanford Hand-Eye System · IJCAI 1971
Robotics › Robot manipulation › robot vision
vision-based manipulation
0.011971
The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle · IJCAI 1971
Geometric modeling and processing
computer-aided design
0.011980
J. C. Latombe (Ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design · Artif. Intell. 1980
Robotics › Robot manipulation › object perception
object recognition for manipulation
0.011971
The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle · IJCAI 1971

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

performance modeling · 0.0microcode · 0.0program transformation · 0.0pattern recognition · 0.0parallel processing · 0.0VLSI · 0.0table lookup · 0.0simulation · 0.0packet-switched network · 0.0hierarchical representation · 0.0bresenham point-plotting · 0.0
YearPublicationVenuePosition
1992 A Comparison of Codebook Generation Techniques for Vector Quantization
abstract
The paper examines tradeoffs between speed and quality of codebook/generation algorithms and offers new ways to produce excellent codebooks with only modest computation cost. It compares the performance of four algorithms for constructing codebooks. The LBG method of Linde, Buzo, and Gray (1980) produces the best codebooks but requires the most computation. The method by Equitz (1987, 1989) produces codebooks nearly as good and requires somewhat less computation. It describes a new method based on eigenvector subdivision that produces useable codebooks in a fraction of the computational effort of either of the other methods. A fourth hybrid method yields very good codebooks with modest computation by using the eigenvector subdivision method to obtain a first approximation that is refined with LBG optimization.>
Robert F. Sproull, Ivan E. Sutherland
Data Compression Conference1
1992 Specification and Automatic Verification of Self-Timed Queues
David L. Dill, Steven M. Nowick, Robert F. Sproull
Formal Methods Syst. Des.3
1991 Refinements to Nearest-Neighbor Searching in k-Dimensional Trees
Robert F. Sproull
Algorithmica1
1989 Translating concurrent programs into delay-insensitive circuits
abstract
A method is presented for automatically translating a concurrent program into an asynchronous circuit. The translation procedure involves a simple syntax-directed translation from program constructs into initial asynchronous circuits. The resulting circuits are improved with correctness-preserving circuit-to-circuit transformations similar to peephole optimization in conventional compilers. Because these steps can be proved to be correct, the programmer is guaranteed that any specification met by the program will also be met by the circuit. A system has been constructed to perform the translation automatically. A brief description of the method is given, followed by two examples of programs translated into circuits.>
Erik Brunvand, Robert F. Sproull
ICCAD2
1989 Automatic verification of speed-independent circuits with Petri net specifications
abstract
Asynchronous designs are of increasing interest because of the cost of broadcasting clocks over large areas of a chip. A tool for comparing implementations of speed-independent circuits with specifications is described. Petri nets are used throughout as a user-level description language. These are translated into trace structures, which can then be processed by an existing automatic verifier. This tool is applied to a nontrivial self-timed queue design.>
David L. Dill, Steven M. Nowick, Robert F. Sproull
ICCD3
1989 A characterization of ten rasterization techniques
abstract
With widespread use of raster scan displays and the ever-increasing desire for faster interactivity, higher image complexity, and higher resolution in displayed images, several techniques have been proposed for rasterizing primitive graphical objects. This paper characterizes the performance of these techniques and shows how they evolve for more complex images on higher resolution displays. This characterization will not only show the strengths and deficiencies of existing rasterization techniques, but will also reveal new architectures for future raster graphics systems.
Nader Gharachorloo, Satish Gupta, Robert F. Sproull, Ivan E. Sutherland
SIGGRAPH3
1983 The 8 by 8 Display
abstract
This paper describes a display system designed to make the recording and rearrangement of bits in a frame-buffer display system convenient and rapid.The advantage of frame-buffer displays is that because the intensity of each pixel can be specified independently, any picture can be displayed.The disadvantage is that a great many bits in the frame-buffer memory must be changed to make major changes in the picture.The 8 by 8 display described in this paper gets its name from the fact that in a single memory cycle it can access any 8 by 8 square of pixels.Internal shifters and special memory addressing circuits are provided to make the access independent of word boundaries in the memory.Pixel manipulation functions are included to process the 64 pixels thus accessed, mask them, overwrite them with new information, or combine them logically with other pixels.The resulting data can be stored into any other 8 by 8 square of pixels in a subsequent memory cycle.Looping mechanisms implemented in microcode provide RasterOp functions that transfer information from any rectangular area of the display to any other area with or without intervening pixelmodification operations.The prototype system is able to copy the entire 768 by 1024 array of the display in 52 ms, or two frame times.The ability to rearrange data quickly has proved to be an asset for character generation, line drawing, and picture construction, as well as for scrolling and other rearrangements of material already displayed on the screen.A simple model is developed to compare the performance of the 8 by 8 memory system with conventional frame-buffer organization.Execution traces of Smalltalk display programs are applied to the model to obtain figures of merit for different hardware organizations.
Robert F. Sproull, Ivan E. Sutherland, A. Thomson, Satish Gupta, C. Minter
ACM Trans. Graph.1
1982 Using Program Transformations to Derive Line-Drawing Algorithms
abstract
DeriveA wide variety of line-drawing algorithms can be derived by applying program transformations to a simple, obviously correct algorithm.The transformations increase the speed of the algorithm and eliminate the need for floating-point computations.We show how Bresenham's algorithm can be derived in this way.The transformations are then used to derive several variants of Bresenham's algorithm, designed for use on displays that can generate more than one pixel at a time.The treatment shows a complete, extended example of the practical use of program transformations.
Robert F. Sproull
ACM Trans. Graph.1
1981 Filtering edges for gray-scale displays
abstract
While simple line-drawing techniques produce “jagged” lines on raster images, more complex anti-aliasing, or filtering, techniques use gray-scale to give the appearance of smooth lines and edges. Unfortunately, these techniques are not frequently used because filtering is thought to require considerable computation. This paper presents a simple algorithm that can be used to draw filtered lines; the inner loop is a variant of the Bresenham point-plotting algorithm. The algorithm uses table lookup to reduce the computation required for filtering. Simple variations of the algorithm can be used to draw lines with different thicknesses and to smooth edges of polygons.
Satish Gupta, Robert F. Sproull
SIGGRAPH2
1981 A VLSI architecture for updating raster-scan displays
abstract
Interactive use of a display requires the capability to update the display rapidly. This paper describes an on-going project at Carnegie-Mellon University in which we are designing a frame buffer raster-scan display system which has the high performance typically required for interactive display applications. The system is intended to be a display for personal computers, computer generated graphic images, and image processing applications. Built using smart VLSI memory chips, the system will use parallel processing techniques to provide high performance.
Satish Gupta, Robert F. Sproull, Ivan E. Sutherland
SIGGRAPH2
1981 A system design revolution (Panel Session)
abstract
System design is undergoing radical changes that are significant both for the graphics community and for other design communities in which the principal hardware resources are those obtained via catalogues of parts. The drive to reduce system costs forces us to design at the lowest level possible, i.e., on silicon; only in this way can we reduce the number of packaged components, thereby reducing the number of interconnecting wires, board space and power requirements. This, in turn, presents a system design dilemma. The large cost of designing silicon systems, i.e. VLSI, conflicts with the need to design them to reduce cost. As a result, novel new design aids are being devised that actually make integrated system design easier than conventional system design; integrated systems can be thoroughly simulated because simple models of them exist at every level of representation.
Robert F. Sproull, James H. Clark 0001
SIGGRAPH1
1980 Trends in high performance graphic systems(Panel Session)
abstract
Accompanying the rapid development of integrated circuit fabrication technology has been a parallel, but slower, development of IC design techniques and systems. Recent approaches to IC design enable individual designers to consider developing their own VLSI circuits. Such capability may open the door to a more varied set of system designs than could previously be considered in most design environments.
Henry Fuchs, D. Cohen, Robert F. Sproull, James H. Clark 0001, Frederic I. Parke
SIGGRAPH3
1980 J. C. Latombe (Ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design
Robert F. Sproull
Artif. Intell.1
1979 Raster graphics for interactive programming environments
abstract
Raster-scan display terminals can significantly improve the quality of interaction with conventional computer systems. The design of a graphics package to provide a “window” into the extensive programming environment of interlisp is presented. Two aspects of the package are described: first, the functional view of display output and interactive input facilities as seen by the programmer, and second, the methods used to link the display terminal to the main computer via a packet-switched computer network. Recommendations are presented for designing operating systems and programming languages so as to simplify attaching display terminals.
Robert F. Sproull
SIGGRAPH1
1979 An Open Operating System for a Single-User Machine
abstract
The file system and modularization of a single-user operating system are described. The main points of interest are the openness of the system, which establishes no sharp boundary between itself and the user's programs, and the techniques used to make the system robust.
Butler W. Lampson, Robert F. Sproull
SOSP2
1971 The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle
Jerome A. Feldman, Karl K. Pingle, Thomas O. Binford, Gilbert Falk, Alan C. Kay, R. Paul, Robert F. Sproull, Jay M. Tenenbaum
IJCAI7
1971 System Support for the Stanford Hand-Eye System
Jerome A. Feldman, Robert F. Sproull
IJCAI2