|
Blue-and-White Series
The PARC Blue-and-White Series
was published primarily from the early 1970s until
the mid-1980s. This archival list does not include
other reports or published articles. [current publications]
CONTENTS [current research organizations]
Cognitive and
Instructional Sciences
Computer Science Laboratory
Electronic Documents Laboratory
General Sciences Laboratory
Imaging Sciences Laboratory
Information Sciences and Technologies
Laboratory
Intelligent Systems Laboratory
Software Concepts Laboratory
System Sciences Laboratory
Systems and Practices Laboratory
VLSI - Very Large Scale Integration
COGNITIVE AND INSTRUCTIONAL SCIENCES
Return to Contents
Digest
of Recent Research: Cognitive Science and Cognitive
Technologies
Stuart K. Card
Mid 1981-Mid 1983
Felicity
Conditions for Human Skill Acquisition: Validating
an AI-Based Theory
Kurt VanLehn
November 1983
A
Psycholinguistic Model for Command Names
Jarrett K. Rosenberg
August 1982
Remindings
and Their Effect in Learning a Cognitive Skill
Brian Ross
July 1982
A Commitment
Based Framework for Describing Informal Cooperative
Work
Richard E. Fikes
June 1981 (Revised May 1982)
Eight Short
Papers in User Psychology
Thomas Moran, editor
February 1982
On the Representations
of Procedures in Repair Theory
Kurt VanLehn
October 1981
Coping with
Complexity
Beau A. Sheil
June 1981
Competitive
Argumentation in Computational Theories of Cognition
Kurt VanLehn, John S. Brown, James Greeno
December 1982
The Psychological
Study of Programming
Beau A. Sheil
January 1981
The Nature
Heuristics
Douglas B. Lenat
April 1981
Bugs are not
Enough: Empirical Studies of Bugs, Impasses and
Repairs in Procedural Skills
Kurt VanLehn
March 1981
Domain Referenced
Adaptive Testing
Jamie E. Friend
April 1981
Assumptions
and Ambiguities in Mechanistic Mental Models
Johan de Kleer and John S. Brown
March 1982
Diagnosing
Bugs in a Simple Procedural Skill
Richard R. Burton
May 1981
What Makes
Things Fun to Learn? A Study of Intrinsically Motivating
Computer Games
Thomas Malone
August 1980
The Process
of Retrieval from Very Long Term Memory
Michael D. Williams and James D. Hollan
December 1980
The Interlisp-D
Group Papers on Interlisp-D
September 1980, revised
Repair Theory:
A Generative Theory of Bugs in Procedural Skills
John S. Brown and Kurt VanLehn
August 1980
Mental Models
of Physical Mechanisms
Johan de Kleer and John S. Brown
December 1980
Towards a
Generative Theory of "Bugs"
John S. Brown and Kurt VanLehn
December 1979
Planning Nets:
A Representation for Formalizing Analogies and Semantic
Models of Procedural Skills
Kurt VanLehn and John S. Brown
December 1978
COMPUTER
SCIENCE LABORATORY
Return to Contents
An Interactive
Program Verifier
(1038k
compressed PostScript)
(1574k
uncompressed PostScript)
L. Peter Deutsch
May 1973
New Programming
Languages for AI Research
Daniel G. Bobrow and Bertram Raphael
August 1973
Omnigraph:
Simple Terminal-Independent Graphics Software
(591k
compressed PostScript)
(853k
uncompressed PostScript)
December 1973
A Postmortem
for a Time Sharing System
(780k
compressed PostScript)
(1118k
uncompressed PostScript)
Howard E. Sturgis
January 1974
On Data-Limited
and Resource-Limited Processes
Donald A. Norman and Daniel G. Bobrow
May 1974
Introducing
Iteration into the Pure Lisp Theorem Prover
(1076k
compressed PostScript)
(1639k
uncompressed PostScript)
J Strother Moore
March 1975
On the Problem
of Uniform References to Data Structures
Charles M. Geschke and James G. Mitchell
January 1975
Computational
Logic: Structure Sharing and Proof of Program Properties
J Strother Moore
April 1975
A Space-Economical
Suffix Tree Construction Algorithm
Edward M. McCreight
April 1975
Some Principles
of Memory Schemata
Daniel G. Bobrow and Daniel A. Norman
July 1975
Dimensions of
Representation
Daniel G. Bobrow
July 1975
Subgoal Induction
James H. Morris and Edward L. Wegbreit
July 1975
Ethernet:
Distributed Packet Switching for Local Computer
Networks
Robert M. Metcalfe and David R. Boggs
November 1975; reprinted January 1976
Goal-Directed
Program Transformation
E.L. Wegbreit
September 1975
A Fast String
Searching Algorithm
Robert S. Boyer and J Strother Moore
July 1976
Constructive
Methods in Program Verification
E.L. Wegbreit
July 1976
The Analysis
of Hashing Algorithms
(945k
compressed PostScript)
(1375k
uncompressed PostScript)
Leonidas J. Guibas
July 1976
An Overview of
KRL, A Knowledge Representation Language
Daniel G. Bobrow and Terry Winograd
July 1976
The Interlisp
Virtual Machine Specification
J Strother Moore
September 1976
Early Experience
with Mesa
Charles M. Geschke, James H. Morris and Edward H.
Satterthwaite
October 1976
Meta-Programming:
A Software Production Method
(1538k
compressed PostScript)
(2318k
uncompressed PostScript)
Charles Simonyi
December 1976
Schemes:
A High Level Data Structuring Concept
(522k
compressed PostScript)
(737k
uncompressed PostScript)
James C. Mitchell and Ben Wegbreit
January 1977
Strategy Construction
Using a Synthesis of Heuristic and Decision-Theoretic
Methods
Robert F. Sproull
July 1977
A Display Oriented
Programmer's Assistant
Warren Teitelman
March 1977
A Necessary and
Sufficient Condition for the Existence of Hoare
Logics
Richard Lipton
June 1977
Empirical Estimates
of Program Entropy
Richard E. Sweet
September 1978
Using Encryption
for Authentication in Large Networks of Computers
Roger Needham and Michael Schroeder
September 1978
Separating Data
From Function in a Distributed File System
Jay E. Israel, James G. Mitchell and Howard E. Sturgis
September 1978
Consistent and
Complete Proof Rules for the Total Correctness of
Parallel Programs
Lawrence Flon and Nori Suzuki
November 1978
Monitoring System
Behavior in a Complex Computational Environment
Mitchell Model
January 1979
Mesa Language
Manual Version 5.0
April 1979
Formalizing the
Analysis of Algorithms
Lyle Ramshaw
June 1982
Raster Graphics
for Interactive Programming Environments
Robert Sproull
June 1979
Compact Encodings
of List Structure
Daniel G. Bobrow and Douglas Clark
June 1979
Code Generation
and Machine Descriptions
Richard G. G. Cattell
October 1979
An Entity-Based
Database Interface
Richard G. G. Cattell
August 1979
Pup: An Internetwork
Architecture
David Boggs, John Shoch, Edward Taft and Robert
Metcalfe
July 1979
Alto: A Personal
Computer
Chuck Thacker, Edward McCreight, Butler Lampson,
Robert Sproull and David Boggs
August 1979
Violet, an Experimental
Decentralized System
David Gifford
September 1979
WFS: A Simple
Shared File System for a Distributed Environment
Daniel Swinehart, Gene McDaniel and David Boggs
October 1979
Weighted Voting
for Replicated Data David Gifford
September 1979
Formal
Specification as a Design Tool John Guttag,
James Horning
January 1980
The Ethernet
Local Network: Three Reports
February 1980
A Client-Based
Transaction System To Maintain Data Integrity
William Paxton
March 1980
Efficient Dynamic
Programming Using Quadrangle Inequalities
Frances Yao
March 1980
A Layered Approach
to Software Design
Ira P. Goldstein; Daniel G. Bobrow
June 1980
The Display
of Characters Using Gray Level Sample Arrays
(1119k
compressed PostScript)
(1694k
uncompressed PostScript)
John Warnock
May 1980
Displayed Data
Structures for Interactive Debugging
Brad Myers
June 1982
Stress and Salience
in English: Theory and Practice
Henry Thompson
June 1980
Efficient
Algorithms for Enumerating Intersecting Intervals
and Rectangles
(161k
compressed PostScript)
(229k
uncompressed PostScript)
Edward McCreight
June 1980
Requirements
for an Experimental Programming Environment
L. Peter Deutsch and Edward Taft
June 1982
The Proper
Place of Men and Machines in Language Translation
Martin Kay
October 1980
Algorithm Schemata
and Data Structures in Syntactic Processing
Martin Kay
October 1980
The Dorado: A
High-Performance Personal Computer: Three Papers
June 1982
The TXDT Package-Interlisp
Text Editing Primitives
J Strother Moore
January 1981
An Experimental
Description-Based Programming Environment: Four
Reports
Ira Goldstein and Daniel Bobrow
June 1982
Priority Search
Trees
Edward McCreight
March 1982
Laurel Manual
Douglas Brotz
May 1981
Trellis Data
Compression
Lawrence Stewart
June 1981
Information Storage
in a Decentralized Computer System
David Gifford
March 1982
Remote Procedure
Call
Bruce Nelson
May 1981
Techniques for
Program Verification
Greg Nelson
June 1981
Real Programming
in Functional Languages
James Morris
July 1981
Revised Report
on the Programming Language Euclid
Butler Lampson, James Horning, Ralph London, James
Mitchell and Gerald Popek
October 1981
Cryptographic
Sealing for Information Secrecy and Authentication
David Gifford
March 1982
An Analysis of
a Mesa Instruction Set
Gene McDaniel
June 1982
Some Notes on
Putting Formal Specifications to Productive Use
John Guttag, James Horning and Jeannette Wing
July 1982
Grapevine: An
Exercise in Distributed Computing
Andrew Birrell, Roy Levin, Roger Needham, Michael
Schroeder
July 1982
Packet-Voice
Communication on an Ethernet Local Computer Network:
an Experimental Study
Timothy A. Gonsalves
March 1982
Controlling Large
Software Development in a Distributed Environment
Eric E. Schmidt
February 1983
An Interactive
High-Level Debugger for Control-flow Optimized Programs
Polle T. Zellweger
April 1983
Mockingbird:
A Composer's Amanuensis
John T. Maxwell and Severo M. Orstein
February 1983
Internet Broadcasting
David R. Boggs
October 1983
Design and Implementation
of a Relationship Entity-Datum Data Model
Richard G. G. Cattell
May 1983
Data Types are
Values
James Donahue, Alan Demers
March 1984
A Preliminary
Report on the Larch Shared Language
John V. Guttag, James J. Horning
December 1983
Implementing
Remote Procedure Calls
Andrew D. Birrell, Bruce J. Nelson
December 1983
Adding Voice
to an Office Computer Network
Daniel Swinehart, Lawrence D. Stewart, Severo M.
Ornstein
February 1984
The Semantics
of Lazy (and Industrious) Evaluation
Robert Cartwright, James Donahue
April 1984
Deftly Replacing
Go To Statements with Exit's
Lyle Ramshaw
November 1983
The Cedar Programming
Environment: A Midterm Report and Examination
Warren Teitelman
June 1984
Grapevine: Two
Papers and a Report
Andrew D. Birrell, Roy Levin, Roger M. Needham and
Michael Schroder
December 1983
A Description
of the Cedar Language: A Cedar Language Reference
Manual
Butler Lampson
December 1983
The Alpine File
System
Mark R. Brown, Karen Kolling and Edward A. Taft
October 1984
Interactive
Source-Level Debugging of Optimized Programs
(3500k
compressed PostScript)
(5392k
uncompressed PostScript)
Polle T. Zellweger
May 1984
Experience with
the Cedar Programming Environment for Computer Graphics
Research
Richard J. Beach
July 1985
On Adding Garbage
Collection and Runtime Types to a Strongly-Typed,
Statically-Checked, Concurrent Language
(2138k
compressed PostScript)
(2211k
uncompressed PostScript)
Paul Rovner
July 1985
Distributed
Name Servers: Naming and Caching in a Large Distributed
Computing Environment
(2264k
compressed PostScript)
(3650k
uncompressed PostScript)
Douglas Terry
February 1985
Architectural
Elements of Bitmap Displays
Cary Kornfeld
June 1985
Setting
Tables and Illustrations with Style
(2704k
compressed PostScript)
(4820k
uncompressed PostScript)
Richard J. Beach
May 1985
Whiteboards:
A Graphical Database Tool
James Donahue and Jennifer Widom
June 1985
A Caching File
System for a Progammer's Workstation
Michael D. Schroeder, David Gifford and Roger M.
Needham
November 1985
An Effective
Test Strategy
Howard E. Sturgis
November 1985
Walnut: Storing
Electronic Mail in a Database
James Donahue and Willie Sue Orr
November 1985
A Structural
View of the Cedar Programming Environment
Daniel Swinehart, Polle T. Zellweger, Richard Beach
and Robert Hagmann
June 1986
Voice Annotation
and Editing in a Workstation Environment
Stephen Ades and Daniel Swinehart
September 1986
A Client Interface
to an Entity-Relationship Database
James Donahue, Carl Hauser and Jack Kent
September 1986
Reimplementing
the Cedar File System Using Logging and Group Commit
Robert Hagmann
August 1987
VLSI Design Aids:
Capture, Integration, and Layout Generation
Richard Barth, Louis Monier, Bertrand Serlet and
Pradeep Sindhu
July 1988
Maintaining Illustion
of a Functional Language in the Presence of Side-Effects
Howard E. Sturgis
July 1988
Epidemic Algorithms
for Replicated Database Maintenance
Alan D. Demers, Mark Gealy, Daniel Greene, Carl
Hauser, Wesley Irish, John Larson, Sue Manning,
Scott Shenker, Howard Sturgis, Daniel Swinehart,
Douglas Terry, and Don Woods
January 1989
Etherphone: Collected
Papers 1987-1988
Daniel Swinehart, Douglas Terry and Polle Zellweger
May 1989
Data Compression
with Finite Windows
Edward R. Fiala and Daniel H. Greene
January 1989
UNIX Needs
A True Integrated Environment: CASE Closed
(166k
compressed PostScript)
(252k
uncompressed PostScript)
Mark Weiser, L. Peter Deutsch and Peter B. Kessler
January 1989
Efficient
Binary Space Partitions for Hidden-Surface Removal
and Solid Modeling
Michael S. Paterson and F. Frances Yao
July 1989
Browsing
Electronic Mail: Experiences Interfacing a Mail
System to a DBMS
(258k
compressed PostScript)
(362k
uncompressed PostScript)
Jack Kent, Douglas Terry and Willie-Sue Orr
November 1989
Experiences Creating
a Portable Cedar
Russ Atkinson, Alan Demers, Carl Hauser, Christian
Jacobi, Peter Kessler and Mark Weiser
June 1989
Floating-Point
and Computer Systems
David Goldberg
August 1989
Large Scale
Analysis of Neural Structures
(487k
compressed PostScript)
(746k
uncompressed PostScript)
Ralph C. Merkle
November 1989
Constrained
Quantification in Polymorphic Type Analysis
(1732k
compressed PostScript)
(2545k
uncompressed PostScript)
Pavel Curtis
February 1990
Rebuilding Database
Caches During Fast Crash Recovery Robert B.
Hagmann
April 1990
A Module System
for Scheme
Pavel Curtis and James Rauen
April 1990
Comparing Strucrually
Different Views of a VLSI Design
Mike Spreitzer
June 1990
An Architecture
for High-Performance Single-Chip VLSI Testers
James A. Gasbarro
June 1990
Active Tioga
Documents
Douglas B. Terry and Donald G. Baker
June 1990
Highly Parallel
Sparse Cholesky Factorialization
John R. Gilbert and Robert Schreiber
August 1990
Separation in
Graphs with Negative or Multiple Vertec Weights
Hristo N. Djidjev and John R. Gilbert
August 1990
Optimal
Expression Evaluation for Data Parallel Architectures
John R. Gilbert and Robert Schreiber
November 1990
Approximating
Treewidth, Pathwidth, and Minimum Elimination Tree
Height
Hans L. Bodlaender, John R. Gilbert, Hjalmtyr Hajsteinsson,
and Ton Kloks
January 1991
Elimination Structures
for Unsymmetric Sparse LU Factors
John R. Gilbert and Joseph W.H. Liu
February 1991
7 Steps to a
Better Mail System
Douglas B. Terry
September 1990
Phase-Slip
Technique for direct Sequence Spread Spectrum Communication
(418k
compressed PostScript)
(595k
uncompressed PostScript)
Edward A. Richley and Richard M. Barth
December 1990
Low Latency Logging
Robert B. Hagmann
February 1991
Implementing
Long Lived Transactions Using Log Record Forwarding
Robert B. Hagmann and Hector Garcia-Molina
February 1991
Sparse Matrics
in MATLAB: Design and Implementation
John Gilbert, Cleve Moler, and Robert Schreiber
June 1991
Secure and Efficient
Implementation of Abstract Data Types for Databases
Robert B. Hagmann
June 1991
Measured Performance
of Caching in the Sprite Network File System
Brent B. Welch
June 1991
Virtual Memory
Replacement Using Historical Information on Virtua
Objects
Robert B. Hagmann
September 1991
Stylus
User Interfaces for Manipulating Text
David Goldberg and Aaron Goodisman
September 1991
A Status-Based
User Interface for Text: Entry and Editing
Aaron Goodisman
May 1991
Formal Specification
of Memory Models
Pradeep S. Sindhu, Jean-Marc Frailong, and Michael
Cekleov
December 1991
Computer Science
Laboratory Technical Report Digest: 1973-1990
Nancy Freige
November 1991
The Yggdrasil
Project: Motivation and Design
Robert B. Hagmann
October 1991
Mesh Generation
and Optimal Triangulation
Marshall Bern and David Eppstein
March 1992
Functional Inversion
and Communication Complexity
Shang-Hua Teng
March 1992
Heterogeneous
Process Migration by Recompilation
Marvin Theimer and Barry Hayes
March 1992
Mudding: Social
Phenomena in Text-Based Virtual Realities
Pavel Curtis
April 1992
Continuous Queries
over Append-Only Databases
Douglas Terry, David Goldberg, David Nichols, and
Brian Oki
May 1992
Liveboard: A
Large Interactive Display Supporting Group Meetings,
Presentations and Remote Collaboration
Scott Elrod, Richard Bruce, Rich Gold, David Goldberg,
Frank Halasz, William Janssen, David Lee, Kim McCall,
Elin Pedersen, Ken Pier, John Tang, and Brent Welch
June 1992
Separators
in Graphs with Negative and Multiple Vertex Weights
(191k
compressed PostScript)
(278k
uncompressed PostScript)
Hristo N. Djidjev and John Gilbert
May 1992
Predicting Structure
in Nonsymmetric Sparce Matrix Factorizations
John Gilbert and Esmond Ng
October 1992
An Efficient
Algorithm to Compute Row and Column Counts for Sparse
Cholesky Factorization
John Gilbert, Esmond Ng, and Barry Peyton
August 1992
Using Collaborative
Filtering to Weave an Information Tapestry
David Goldberg, David Nichols, Brian Oki, and Douglas
Terry
September 1992
Optimal
Evaluation of Array Expressions on Massively Parallel
Machines
Siddhartha Chatterjee, John Gilbert, R. Schreiber,
and Shang-Hua Teng
December 1992
Delegation through
Access Control Programs
Marvin Theimer, David Nichols, and Douglas Terry
November 1992
Automatic
Array Alignment in Data Parallel Programs
Siddhartha Chatterjee, John Gilbert, Robert Schreiber,
and Shang-Hua Teng
April 1993
Touch-Typing
with a Stylus
David Goldberg and Cate Richardson
May 1993
An Update on
Low Bandwidth X (LBX)
Jim Fulton and Chris Kent Kantarjiev
February 1993
The Design of
Floating-Point Data Types
David Goldberg
February 1993
Safe, Efficient
Garbage Collection for C++
John Ellis and David Detlefs
September 1993
The Responsive
Environment
(180k
compressed PostScript)
(267k
uncompressed PostScript)
Scott Elrod, Gene Hall, Rick Costanza, Michael Dixon
and Jim des Rivieres
June 1993
Generating Local
Addresses and Communication Sets for Data Parallel
Programs
Siddhartha Chatterjee, John R. Gilbert, Fred J.
E. Long, Robert Schreiber and Shang-Hua Teng
June 1993
Mobile
Replicated Alignment of Arrays in Data-Parallel
Programs
(238k
compressed PostScript)
(331k
uncompressed PostScript)
Siddhartha Chatterjee, John Gilbert, and Robert
Schreiber
September 1993
Using Property
Specifications to Achieve Graceful Disconnected
Operation in an Intermittent Mobile Computing Environment
Michael Tso
June 1993
Experience
with X in a Wireless Environment
(320k
compressed PostScript)
(432k
uncompressed PostScript)
Christopher Kent Kantarjiev, Alan Demers, Ron Frederick,
Robert Krivacic, and Mark Weiser
September 1993
Customizing Mobile
Applications
Bill N. Schilit, Marvin M. Theimer, and Brent B.
Welch
August 1993
A Tour through
Tapestry
Douglas B. Terry
August 1993
The Alignment-Distribution
Graph
Siddhartha Chatterjee, John Gilbert, and Robert
Schreiber
November 1993
Separators
and Structure Prediction in Sparse Orthogonal Factorization
John Gilbert, Esmond G. Ng, and Barry W. Peyton
November 1993
Using Threads
in Interactive Systems: A Case Study
Carl Hauser, Christian Jacobi, Marvin Theimer, Brent
Welch, and Mark Weiser
December 1993
The Years of
the Dragon (reprinted from Benchmark, Spring 1993)
Jean Gastinel et al.
December 1993
A Comparison
of Three Distributed File System Architectures:
Vnode, Sprite, and Plan 9
Brent Welch
December 1993
Designing Research
Space
Mark Weiser
December 1993
PARC Papers
at WWOS-IV
How to Program Networked Portable Computers
by David Goldberg and Michael Tso
Operating Systems: Why Object-Oriented? by Gregor
Kiczales and John Lamping
The Need for Customizable Operating Systems by Gregor
Kiczales, John Lamping, Chris Maeda, David Keppel,
and Dylan McNarnee
The PARCTAB Mobile Computing System by Bill Schilit,
Norman Adams, Rich Gold, Michael Tso, and Roy Want
Operating System Issues for PDAs by Marvin Theimer,
Alan Demers, and Brent Welch
December 1993
Libraries
Are More Than Information: Situational Aspects of
Electronic Libraries
(134k
compressed PostScript)
(228k
uncompressed PostScript)
Vicky Reich and Mark Weiser
December 1993
Architectural
Consideration for Scalable, Secure, Mobile Computing
with Location Information
Mike Spreitzer and Marvin Theimer
May 1994
Providing Location
Information in a Ubiquitous Computing Environment
Mike Spreitzer and Marvin Theimer
May 1994
Linear-size
Nonobtuse Triangulation of Polygons
Marshall Bern, Scott Mitchell, and Jim Ruppert
June 1994
Distributing
Information for Collaborative Filtering on Usenet
Net News
David A. Maltz
September 1994
Aligning Parallel
Arrays to Reduce Communication
Thomas Sheffler, Robert Schreiber, John Gilbert,
and Siddhartha Chatterjee
September 1994
Array Distribution
in Data-Parallel Programs
Siddhartha Chatterjee, John Gilbert, Robert Schreiber,
and Thomas Sheffler
September 1994
A
Nano-Cellular Local Area Network Using Near-Field
RF Coupling
(322k
compressed PostScript)
(457k
uncompressed PostScript)
Alan Demers, Ed Richley, Scott Elrod, and Chris
Kantarjiev
October 1994
Session Guarantees
for Weakly Consistent Replicated Data
Douglas Terry, Alan Demers, Karin Petersen, Mike
Spreitzer, Marvin Theimer, and Brent Welch
July 1994
Ropes Are Better
Than Strings
Hans-J. Boehm, Russ Atkinson, and Michael Plass
September 1994
Disseminating
Active Map Information to Mobile Hosts
Bill Schilit and Marvin Theimer
November 1994
Context-Aware
Computing Applications
Bill Schilit, Norman Adams, and Roy Want
November 1994
Geometric Mesh
Partitioning: Implementation and Experiments
John Gilbert, Gary Miller, and Shang-Hua Teng
November 1994
Geometric Spectral
Partitioning
Tony Chan, John Gilbert, and Shang-Hua Teng
December 1994
Tcl/Tk for a
Digital Personal Assistant
Karin Petersen
December 1994
The Bayou Architecture:
Support for Data Sharing among Mobile Users
Alan J. Demers, Karin Petersen, Mike J. Spreitzer,
Douglas B. Terry, Marvin M. Theimer, and Brent B.
Welch
December 1994
The PARCTab Ubiquitous
Computing Experiment
Roy Want, Bill Schilit, Norman Adams, Rich Gold,
Karin Petersen, David Goldberg, John Ellis, and
Mark Weiser
April 1995
Portable Porthole
Pads: An Investigation into the Use of a Ubicomp
Device to Support the Sociability of Work
C. Kent Kantarjiev and Richard Harper
June 1995
A Supernodal
Approach to Sparse Partial Pivoting
James W. Demmel, Stanley C. Eisenstat, John R. Gilbert,
Xiaoye S. Li, and Joseph W. H. Liu
February 1996
Managing Update
Conflicts in Bayou, a Weakly Connected Replicated
Storage System
Douglas B. Terry, Marvin M. Theimer, Karin Petersen,
Alan J. Demers, Mike J. Spreitzer, and Carl H. Hauser
August 1995
ELECTRONIC
DOCUMENTS LABORATORY
Return to Contents
Color Gamut Mapping
and the Printing of Digital Color Images
Maureen S. Stone, William B. Cowan, John C. Beatty,
with appendix by Eric H. Larson
April 1988
Towards "WYSIWYG"
Color
Michael G. Lamming and Warren L. Rhodes
April 1988
A New Approach
to Imaging IC Layout and Schematics
Giordano B. Beretta
April 1988
Polygonization
of Implicit Surfaces
Jules Bloomenthal
December 1988
Color Printing
for Computer Graphics
Maureen S. Stone
December 1988
Selecting Colors
for Representing VLSI Layout
Giordano B. Beretta
December 1988
Characterizing
Cubic Bezier Curves
Maureen Stone and Tony DeRose
December 1988
Electronic Documents
Laboratory Research at EP'88
Camino Real: An Interactive Mathematical Notebook
by Dennis Arnon, Richard Beach, K. Mclsaac, and
Carl Waldspurger
ActivePaths through Multimedia Documents, by Polle
T. Zellweger
An Introduction to Gargoyle: An Interactive Illustration
Tool by Ken Pier, Eric Bier, and Maureen Stone
Automatic Recognition and Representation of Documents
by Lynn D. Wilcox, and A. Larry Spitz
Well-Established Document Interchange Formats by
Jean-Marie de La Beaujardiere
January 1989
Snap - Dragging:
Interactive Geometric Design in Two and Three Dimensions
Eric A. Bier
September 1989
Scripted Documents:
A Hypermedia Path Mechanism
Polle T. Zellweger
December 1989
Density Estimation
Using Optimally Quantized Histograms
Lynn D. Wilcox
December 1989
Generalized Hit-Miss
Operations
Daniel Bloomberg and Petros Maragos
July 1990
Automatic Speech
Recognition in the Presence of Co-Channel Speech
Interference
Amy W. Lim
October 1990
Connectivity-Preserving
Morphological Image Transformations
Dan S. Bloomberg
October 1991
Device Independent
Color Reproduction
Maureen C. Stone
April 1992
Image Links
and Their Applications
James V. Mahoney
April 1992
Image Chunks
and Their Applications
James V. Mahoney
May 1992
Document Image
Decoding Using Markov Sources
Gary E. Kopec and Phil A. Chou
May 1992
Row-Major Scheduling
of Image Decoders
Gary E. Kopec
June 1992
Labeling of Curvilinear
Structure Across Scales by Token Grouping
Eric Saund
May 1992
GENERAL SCIENCES
LABORATORY
Return to Contents
Beam Crystallization
of Silicon
Paper by the staff of the General Sciences Laboratory
May 1982
Physics of Magnetic
Recording
Robert M. White
May 1984
IMAGING
SCIENCES LABORATORY
Return to Contents
Optimal Pagination
Techniques for Automatic Typesetting Systems
Michael F. Plass
August 1981
A Retrospective
on the Dorado, A High-Performance Computer
Kenneth A. Pier
August 1983
The Multibus
Design Frame
Gaetano Borriello, Randy H. Katz, and Alan G. Bell
May 1985
INFORMATION SCIENCES
AND TECHNOLOGIES LABORATORY
Return to Contents
Two-Level Rule
Compiler
Lauri Karttunen and Kenneth R. Beesley
October 1992
Editing Images
of Text
Steven C. Bagley and Gary E. Kopec
November,1992
Issues for Location-Independent
Interfaces
Ken Pier and James A. Landay
December 1992
INTELLIGENT SYSTEMS
LABORATORY
Return to Contents
Expert Systems:
New Approaches to Computer-Aided Engineering
Clive L. Dym
April 1984
Programming the
Connection Machine
David P. Christman
April 1984
Interim 3-LISP
Reference Manual
Brian C. Smith, Jim des Rivieres
July 1984
The Implementation
of Procedurally Reflective Languages
Jim des Rivieres and Brian C. Smith
July 1984
Reflection and
Semantics in LISP
Brian C. Smith
June 1984
Plans and Situated
Actions: The Problem of Human-Machine Communication
Lucy A. Suchman
March 1985
Acquiring Procedural
Skills from Lesson Sequences
Kurt Van Lehn
July 1985
Learning One
Subprocedure Per Lesson
Kurt Van Lehn
August 1985
Theory Reform
Caused by an Argumentation Tool
Kurt Van Lehn
July 1985
Arithmetic Procedures
Induced from Examples
Kurt Van Lehn
August 1985
Sketch: A Drawing
Program for Interlisp-D
Richard R. Burton
August 1985
Soar User's Manual:
Version 4
John E. Laird
January 1986
Digests of Recent
Research: Intelligent Systems Laboratory: Mid 1983
- Mid 1986
Members of ISL
May 1986
SOFTWARE
CONCEPTS LABORATORY
Return to Contents
Searching for
Information in a Dynamic Book
Stephen A. Weyer
February 1982
A Large Object-Oriented
Virtual Memory: Grouping Strategies, Measurements,
and Performance
James W. Stamos
August 1982
Programming
by Rehearsal
Laura Gould and William Finzer
July 1984
SYSTEM SCIENCES
LABORATORY
Return to Contents
Babar: An Electronic
Mail Database
Steven Putz
April 1988
Listing,
Drawing, and Gesturing in Design:
A Study of the Use of Shared
Workspaces by Design Teams
John C. Tang
January 1989
Experimental
Uses of Video to Support Design Actrivities
Robert Stults
January 1989
Embedded
Computation and the Semantics of Programs
Michael Dixon
September 1991
Talking About
Machines. An Ethnography of a Modern Job
Julian E. Orr
December 1991
The Social
Construction of a Technical Reality:
Empirical Studies of Group Engineering
Design Practice Scott L. Minneman
December 1991
SYSTEM SCIENCES
LABORATORY
Return to Contents
On the Representation
of Procedures in Repair Theory
K. Van Lehn
October 1981
Mental Models
of Physical Mechanisms
Johan DeKleer and John S. Brown
September 1981
Coping with Complexity
Beau A. Sheil
June 1981
Domain Referenced
Adaptive Testing
Jamie E. Friend
April 1981
Bugs are not
Enough: Empirical Studies of Bugs, Impasses and
Repair in Procedural Skills
Kurt VanLehn
March 1981
The Nature of
Heuristics
Douglas B. Lenat
April 1981
What Makes Things
Fun to Learn? A Study of Intrinsically Motivating
Computer Games
Thomas Malone
August 1980
Diagnosing Bugs
in a Simple Procedural Skill
Richard R. Burton
May 1981
The Process of
Retrieval from Very Long Term Memory
Michael D. Williams and J. D. Hollan
December 1980
Repair
Theory: A Generative Theory of Bugs in Procedural
Skills
John S. Brown and Kurt VanLehn
August 1980
The Psychological
Study of Programming
Beau A. Sheil
January 1981
Towards a Generative
Theory of "Bugs"
John S. Brown
Planning Nets:
A Representation for Formalizing Analogies and Semantic
Models of Procedural Skills
Kurt VanLehn and John S. Brown
December 1978
The Interlisp-D
Group Papers on Interlisp-D
September 1980
Notes on the
"Worm" Programs -- Some Early Experience
with a Distributed Computation
John F. Shoch
September 1980
An Annotated
Bibliography on Local Computer Networks
John F. Shoch
April 1980 (Third Edition)
Global Program
Analysis in an Interactive Environment
Larry M. Masinter
January 1980
Evaluation of
Computer Text-Editors
Terry Roberts
November 1979
On the Equivalence
of Office Models
Clarence A. Ellis
December 1979
Guide to LSI
Implementation
Robert Hon and Carlo Sequin
January 1980 (Second Edition)
Computer Science
and Office Information Systems
Gary J. Nutt and Clarence A. Ellis
June 1979
Internetwork
Experiments with the Bay Area Packet Radio Network
John F. Shoch
February 1979
Thing-Lab --
A Constraint-Oriented Simulation Laboratory
Alan H. Borning
July 1979
An Information-Processing
Analysis of a Routine Cognitive Skill
Stuart K. Card, Thomas P. Moran, and Allen Newell
(Carnegie-Mellon University)
April 1979
The Keystroke-Level
Model for User Performance Time with Interactive
Systems
Stuart K. Card, Thomas P. Moran, and Allen Newell
(Carnegie-Mellon University)
March 1979
The Interactive
Data-Analysis Language Reference Manual
Ronald M. Kaplan, Beau A. Sheil, and Eliot R. Smith
December 1978
Introduction
to the Command Language Grammar: A Representation
for the User Interface of Interactive Computer Systems
Thomas P. Moran
October 1978
Experiment
Running Language (ERL) for the Alto
Thomas P. Moran and George G. Robertson
June 1978
Studies in the
Psychology of Computer Text Editing Systems
Stuart K. Card
August 1978
Consistency and
Correctness of Duplicate Database Systems
Clarence A. Ellis
May 1977
Methods for Teaching
the Programming Language Smalltalk: Smalltalk in
the Classroom
Adele J. Goldberg
June 1977
Evaluation of
Mouse, Rate-Controlled Isometric Joystick, Step
Keys, and Text Keys for Text on a CRT
Stuart K. Card, William K. English, and B. J. Burr
April 1977
The Manuscript
Editing Task: A Routine Cognitive Skill
Stuart K. Card, Thomas P. Moran, and Allen Newell
December 1976
POGOS--An Operating
System for a Network of Small Machines
William S. Duvall
May 1976
Smalltalk-72
Instruction Manual
Adele J. Goldberg and Alan C. Kay, editors
March 1976 (Includes addendum dated June 22, 1976)
Personal
Dynamic Media
Learning Research Group
March 1975
SYSTEMS
AND PRACTICES LABORATORY
Return to Contents
The Future of
Time Series
Neil A. Gershenfeld and Andreas S. Weigand
July 1993
VLSI -VERY LARGE
SCALE INTEGRATION
Return to Contents
The Optical Mouse,
and an Architectural Methodology for Smart Digital
Sensors
Richard F. Lyon
August 1981
The MPC Adventures:
Experiences with the Generation of VLSI Design and
Implementation Methodologies
Lynn Conway
January 1981
The Partitioning
of Concerns in Digital System Design
Mark Stefik, Daniel Bobrow, Alan Bell, Harold Brown,
Lynn Conway, and Christopher Tong
December 1981
The Organization
of Expert Systems: A Prescriptive Tutorial
Mark Stefik, Janice Aikins, Robert Balzer, John
Benoit, Lawrence Birnbaum, Frederick Hayes-Roth,
and Earl Sacerdoti
January 1982
|
