WorldCat Identities

Sproull, Robert F.

Overview
Works: 31 works in 176 publications in 4 languages and 4,416 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: T385, 001.55
Publication Timeline
.
Most widely held works by Robert F Sproull
Principles of interactive computer graphics by William M Newman( Book )

73 editions published between 1973 and 2001 in 3 languages and held by 1,551 WorldCat member libraries worldwide

Plotting!techniques - Drawing!displays -Clipping - Windowing - Geometric!models - Picture!structure - Graphical!imput - Raster!graphics - Curves!and!surfaces - Display!processors - User!interface
VLSI systems and computations by H. T Kung( Book )

12 editions published in 1981 in English and Italian and held by 311 WorldCat member libraries worldwide

Logical effort : designing fast CMOS circuits by Ivan Edward Sutherland( Book )

12 editions published between 1999 and 2008 in English and held by 247 WorldCat member libraries worldwide

The brainchild of circuit and computer graphics pioneers Ivan Sutherland and Bob Sproull, "logical effort" will change the way you approach design challenges. This book begins by equipping you with a sound understanding of the method's essential procedures and concepts - so you can apply it immediately. Later chapters explore the theory behind the method and detail its specialized applications
Device-independent graphics : with examples from IBM personal computers by Robert F Sproull( Book )

14 editions published between 1985 and 1989 in English and held by 209 WorldCat member libraries worldwide

Computer graphics; Interactive computer graphics; Graphics hardware; Graphics software; The graphical kernel system; Using the graphical kernel system; Getting started with GKS; An interactive drawing program; Extending the application; Using the drawing; A review of application design; Geometry; A geometry primer; Transformations; Modeling; Three-dimensional graphics; Shaded perspective pictures; Raster graphics; Programming the IBM professional graphics controller; Raster images; Raster techniques; Lessons learned; Using graphics standards; Appendices; Index
Building an electronic records archive at the National Archives and Records Administration : recommendations for a long-term strategy by National Research Council (U.S.)( Book )

8 editions published in 2005 in English and held by 101 WorldCat member libraries worldwide

The federal government generates and increasingly saves a large and growing fraction of its records in electronic form. In 1998, the National Archives and Record Administration (NARA) launched it Electronic Archives (ERA) program to create a system to pre
Building an electronic records archive at the National Archives and Records Administration : recommendations for initial development by National Research Council (U.S.)( Book )

11 editions published between 2003 and 2005 in English and Undetermined and held by 61 WorldCat member libraries worldwide

Principi di computer graphics by William M Newman( Book )

4 editions published between 1986 and 1987 in Italian and English and held by 17 WorldCat member libraries worldwide

Strategy construction using a synthesis of heuristic and decision-theoretic methods by Robert F Sproull( Book )

3 editions published in 1977 in English and held by 7 WorldCat member libraries worldwide

Using program transformations to derive line-drawing algorithms by Robert F Sproull( Book )

3 editions published in 1981 in English and held by 7 WorldCat member libraries worldwide

A wide variety of line-drawing algorithms can be derived by applying program transformations to a simple, obviously correct algorithm. The transformations increase the algorithm's performance and eliminate the need for floating-point computations. Two familiar algorithms are derived in this way: Bresenham's algorithm and the digital differential analyzer (DDA). The transformations are then used to derive several highly parallel 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. Moreover, the transformations derive Bresenham's algorithm without recourse to complex geometric arguments. (Author)
Counterflow pipeline processor architecture by Robert F Sproull( Book )

1 edition published in 1994 in English and held by 7 WorldCat member libraries worldwide

Translating concurrent communicating programs into delay-insensitive circuits by Erik Brunvand( Book )

3 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide

Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation."
Raster graphics for interactive programming environments by Robert F Sproull( Book )

6 editions published in 1979 in English and Undetermined and held by 6 WorldCat member libraries worldwide

Omnigraph : simple terminal-independent graphics software by Robert F Sproull( Book )

2 editions published between 1973 and 1977 in English and held by 4 WorldCat member libraries worldwide

Decision theory and artificial intelligence II : the hungry monkey by Jerome A Feldman( Book )

3 editions published between 1974 and 1975 in English and held by 3 WorldCat member libraries worldwide

Logical effort : designing fast CMOS circuits = Gao su CMOS dian lu she ji : logical effort fang fa (Ying wen ban) by Ivan Edward Sutherland( Book )

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

A characterization of ten hidden-surface algorithms by Ivan Edward Sutherland( Book )

1 edition published in 1973 in English and held by 2 WorldCat member libraries worldwide

Specification and automatic verification of self-timed queues by David L Dill( Book )

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

Speed-independent circuit design is of increasing interest because of global timing problems in VLSI. Unfortunately, speed-independent design is very subtle. We propose the use of state-machine verification tools to ameliorate this problem. This paper illustrates issues in the modelling, specification, and verification of speed-independent circuits through consideration of self-timed queues. User-level specifications are given as Petri nets, which are translated into trace structures for automatic processing. Three different implementations of queues are considered: a chain of queue cells, two parallel chains, and "circular buffer" example using a separate RAM
Taiwagata konpyūta gurafikkusu( Book )

2 editions published in 1984 in Japanese and held by 1 WorldCat member library worldwide

Decision theory and AI II: the hungry monkey by Jerome A Feldman( )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Building an Electronic Records Archive at the National Archives and Records Administration Recommendations for a Long-Term Strategy by National Research Council( )

1 edition published in 1900 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.04 for Building a ... to 0.99 for Decision t ...)

Logical effort : designing fast CMOS circuits
Alternative Names
Bob Sproull American computer scientist

Sproull, Bob.

Sproull, Robert F.

スプロール, R. F

Languages
Covers
Building an electronic records archive at the National Archives and Records Administration : recommendations for a long-term strategyBuilding an electronic records archive at the National Archives and Records Administration : recommendations for initial development