COMPUTER SCIENCE TECHNICAL REPORTS
1996 SERIES
SCHOOL OF COMPUTER SCIENCE
CARNEGIE MELLON UNIVERSITY
PITTSBURGH, PA 15213-3891
NOTE: Please read this Copyright notice before proceeding.
The following list references the availability of postscript (.ps)
files for our 1996 technical report series. Please note, not all
reports are included...this owing to various copyright constraints
(see COPYRIGHT.mss). If you have questions or concerns related to
these files, please direct your inquiries to reports@cs.cmu.edu.
Enjoy.
- CMU-CS-96-100A CMU-CS-96-100B.ps (Document 1), CMU-CS-96-100C.ps
-
- CMU-CS-96-100D (Document 2), CMU-CS-96-100E.ps
- Final Report on Research in Parallel Computing: 1990-95
1. Very Large Scale Operating Systems 2. The Gigabit Nectar Project
3. Network-Based Multicomputers (Document 3)
Dale James, C. Roy Taylor, Editors (Contributors: Richard F. Rashid,
Brian Bershad, Carl Love, Peter Steenkiste, Thomas Gross)
January 1996
69 pages
- CMU-CS-96-101 (Unavailable via ftp)
- Research in the Automated Analysis of Remotely Sensed Imagery: 1994-1995
David M. McKeown, G. Edward Bulwinkle, Steven D. Cochran, Stephen J. Ford,
Stephen J. Gifford, Wilson A. Harvey, Yuan C. Hsieh, Chris McGlone,
Jeff McMahill, Michael F. Polis, Michel Roux, Jefferey A. Shufelt
January 1996
36 pages
- CMU-CS-96-102 (Unavailable via ftp)
- Progress in Automated Virtual World Construction
David M. McKeown, Stephen J. Gifford, Michael F. Polis, Jeff McMahill,
Christian D. Hoffman
January 1996
15 pages
- CMU-CS-96-103
- Signature and Specification Matching
Amy Moormann Zaremski
Ph.D. Thesis
January 1996
152 pages
- CMU-CS-96-104
- Unavailable to date
- CMU-CS-96-105
- Recognition of the Multi Specularity Objects using the Eigen-Window
Kohtaro Ohba, Katsushi Ikeuchi
February 1996
29 pages
- CMU-CS-96-106
- Global Register Allocation Based on Graph Fusion
Guei-Yuan Lueh, Thomas Gross, Ali-Reza Adl-Tabatabai
March 1996
22 pages
- CMU-CS-96-107
- Mobile Information Access
Mahadev Satyanarayanan
January 1996
15 pages
- CMU-CS-96-108
- TIL: A Type-Directed Optimizing Compiler for ML
David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper,
Peter Lee
February 1996
27 pages
- CMU-CS-96-109 CMU-CS-96-109A.ps
- Nitpick: A Checker for Software Specifications (Reference Manual)
Daniel Jackson, Craig Damon
January 1996
58 pages
- CMU-CS-96-110 (Unavailable via ftp)
- Top Ten lessons Learned in Automated Cartography
David M. McKeown, Jr.
January 1996
4 pages
- CMU-CS-96-111
- Fundamental Challenges in Mobile Computing
Mahadev Satyanarayanan
February 1996
9 pages
- CMU-CS-96-112
- Atomicity in Electronic Commerce
J. Doug Tygar
January 1996
23 pages
- CMU-CS-96-113
- Cryptographic Postage Indicia
J. Doug Tygar, Bennet Yee, Nevin Heintze
January 1996
16 pages
- CMU-CS-96-114 (Unavailable via ftp)
- An Investigation of the Gradient Descent Process in Neural Networks
Barak A. Pearlmutter
Ph.D. Thesis
148 pages
- CMU-CS-96-115
- The Influence of Domain Properties on the Performance of
Real-Time Search Algorithms
Sven Koenig, Reid G. Simmons
August 1996
43 pages
- CMU-CS-96-116
- Hand Action Perception and Robot Instruction
Yunde Jiar, Mark Wheeler, Katsushi Ikeuchi
March 1996
60 pages
- CMU-CS-96-117
- Unavailable to date
- CMU-CS-96-118
- A Probabilistic Analysis of the Rocchio Algorithm with TFIDF
for Text Categorization
Thorsten Joachims
March 1996
26 pages
- CMU-CS-96-119
- Controlling Effects
Andrzej Filinski
Ph.D. Thesis
May 1996
148 pages
- CMU-CS-96-120 (Unavailable via ftp)
- Supporting Nondeterministic Execution in Fault-Tolerant Systems
John H. Slye, Elmootazbellah N. Elnozahy
May 1996
13 pages
- CMU-CS-96-121
- Learning Maps for Indoor Mobile Robot Navigation
Sebastian Thrun, Arno Bucken
April 1996
38 pages
- CMU-CS-96-122
- A Bayesian Approach to Landmark Discovery and Active Perception
in Mobile Robot Navigation
Sebastian Thrun
May 1996
45 pages
- CMU-CS-96-123
- Combinatorial Preconditioners for Sparse, Symmetric, Diagonally
Dominant Linear Systems
Keith D. Gremban
Ph.D. Thesis
October 1996
144 pages
- CMU-CS-96-124
- A Case Study in Model Checking Software Systems
Jeannette M. Wing, Mandana Vaziri-Farahani
April 1996
36 pages
- CMU-CS-96-125 CMU-CS-96-125A.ps.gz, CMU-CS-96-125B.ps.gz
- Characterizing Stereo Matching Problems using Local Spatial Frequency
Mark W. Maimone
Ph.D. Thesis
May 1996
203 pages
- CMU-CS-96-126 (Unavailable via ftp)
- GLR*: A Robust Grammar-Focused Parser for Spontaneously Spoken Language
Alon Lavie
Ph.D. Thesis
May 1996
203 pages
- CMU-CS-96-127 (Unavailable via ftp)
- Design of Maximum-Cardinality and Maximum-Weight Clique Heuristics
with Applications
William J. Niehaus
Ph.D. Thesis
160 pages
- CMU-CS-96-128
- Model for Characterizing and Creating Certificate Programs in
Technology-Specific Areas
Carol L. Hoover
May 1996
28 pages
- CMU-CS-96-129
- Protection from the Underspecified
Gary T. Leavens, Jeannette M. Wing
April 1996
24 pages
- CMU-CS-96-130
- Practical Program Understanding With Type Inference
Robert O'Callahan, Daniel Jackson
May 1996
20 pages
- CMU-CS-96-131
- Improving Data Consistency for Mobile File Access Using Isolation-Only
Transactions
Qi Lu
Ph.D. Thesis
May 1996
226 pages
- CMU-CS-96-132
- Usability Issues in the Design of Novice Programming Systems
John F. Pane, Brad A. Myers
August 1996
85 pages
- CMU-CS-96-133
- Source Level Debugging of Globally Optimized Code
Ali-Reza Adl-Tabatabai
Ph.D. Thesis
May 1996
192 pages
- CMU-CS-96-134
- Anisotropic Mesh Generation with Partiles
Frank Bossen
Master's Thesis (Revision: Swiss Federal Institute of Technology)
May 1996
59 pages
- CMU-CS-96-135 (Unavailable via ftp)
- Learning Models of Speaker Variation
Michael John Witbrock
Ph.D. Thesis
July 1996
198 pages
- CMU-CS-96-136 [SEE CMU-CS-96-136R]
- A Type-Theoretic Account of Standard ML 1996 (Verson 1)
Chris Stone, Robert Harper
May 1996
[Also appears as CMU-CS-FOX-96-02]
89 pages
- CMU-CS-96-136R
- A Type-Theoretic Account of Standard ML 1996 (Verson 2)
Chris Stone, Robert Harper
September 1996
[Also appears as CMU-CS-FOX-96-02R]
86 pages
- CMU-CS-96-137
- A Structured Approach to Redundant Disk Array Implementation
William V. Courtright II, Garth Gibson, Mark Holland, Jim Zelenka
June 1996
16 pages
- CMU-CS-96-138
- Believable Social and Emotional Agents
William Scott Neal Reilly
Ph.D. Thesis
May 1996
301 pages
- CMU-CS-96-139
- Scalable Trigram Backoff Language Models
Kristie Seymore, Ronald Rosenfeld
May 1996
21 pages
- CMU-CS-96-140
- Adaptive Precision Floating-Point Arithmetic and Fast Robust
Geometric Predicates
Jonathan R. Shewchuk
May 1996
59 pages
- CMU-CS-96-141
-
- CMU-CS-96-142
- A Case for Network-Attached Secure Disks
Garth A. Gibson, David F. Nagle, Khalil Amiri, Fay W. Chang, Eugene Feinberg,
Howard Gobioff, Chen Lee, Berend Ozceri, Erik Riedel, David Rochberg
September 1996
19 pages
- CMU-CS-96-143
- Efficient Algorithms for Speech Recognition
Mosur K. Ravishankar
Ph.D. Thesis
May 1996
148 pages
- CMU-CS-96-144
- Storage Strategies for Fault-Tolerance Video Servers
Elmootzabellah N. Elnozahy
August 1996CMU-CS-96-121.ps.Z
Learning Maps for Indoor Mobile Robot Navigation
Sebastian Thrun, Arno Bucken
April 1996
38 pages
- CMU-CS-96-145
- Unavailable to date
- CMU-CS-96-146
- Design of the Programming Language Forsythe
John C. Reynolds
June 1996
[Revision of CMU-CS-88-159]
70 pages
- CMU-CS-96-147
- Verifying the Performance of the PCI Local Bus using Symbolic Techniques
Sergio Campos, Edmund Clarke, Wilfredo Marrero, Marius Minea
June 1996
17 pages
- CMU-CS-96-148
- Symbolic Techniques for Formally Verifying Industrial Systems
Sergio Campos, Edmund M. Clarke, Marius Minea
June 1996
22 pages
- CMU-CS-96-149 (Unavailable via ftp)
- Verification of Arithmetic Circuits
Xudong Zhao
Ph.D. Thesis
August 1996
189 pages
- CMU-CS-96-150
- Focus of Attention in Video Conferencing
Jie Yang, Leejay Wu, Alex Waibel
June 1996
30 pages
- CMU-CS-96-151
- Modeling Analogical Problem Solving in a Production System Architecture
Dario D. Salvucci, John R. Anderson
July 1996
39 pages
- CMU-CS-96-152
- Fast Algorithms for Finding O(Congestion + Dilation) Packet Routing
Schedules
F. Tom Leighton, Bruce M. Maggs, Andrea W. Richa
July 1996
15 pages
- CMU-CS-96-153
- AFS and the Web: Competitors or Collaborators?
Mahadev Satyanarayanan, Mirjana Spasojevic
July 1996
8 pages
- CMU-CS-96-154 (Unavailable via ftp)
- Learning Planning Operators by Observation and Practice
Xuemei Wang
Ph.D. Thesis
June 1996
149 pages
- CMU-CS-96-155
- Tasks and Connection Sets: Choreographed Communications on a
Reconfigurable Connection-Based Parallel Computer
Thomas E. Warfel
Ph.D. Thesis (Electrical and Computer Engineering)
April 1996
148 pages
- CMU-CS-96-156
- Anonymous Atomic Transactions
Jean Camp. Michael Harkavy, J. Doug Tygar, Bennet Yee
July 1996
18 pages
- CMU-CS-96-157
- Application Level Fault Tolerance in Heterogeneous Networks of Workstations
Adam Beguelin, Erik Seligman, Peter Stephan
August 1996
16 pages
- CMU-CS-96-158
- Understanding Customer Dissatisfaction With Underutilized
Distributed File Servers
Erik Riedel, Garth Gibson
Juy 1996
18 pages
- CMU-CS-96-159
- Verus: A tool for Quantitative Analysis of Finite-State Real-Time Systems
Sergio Campos, Edmund Clarke, Wilfredo Marrero, Marius Minea
August 1996
13 pages
- CMU-CS-96-160,ps, CMU-CS-96-160fig.ps
- Also appears as CMU-HCII-96-102
Tracking the Effectiveness of Usability Evaluation Methods
Bonnie E. John, Steven J. Marks
August 1996
24 pages
- CMU-CS-96-161
- Java as an Intermediate Language
Jonathan C. Hardwick, Jay Sipelstein
August 1996
19 pages
- CMU-CS-96-162
- Semantics-based Program Analysis via Symbolic Composition of
Transfer Relations
Christopher Colby
Ph.D. Thesis
August 1996
183 pages
- CMU-CS-96-163
- Unavailable to date
- CMU-CS-96-164 (Unavailable via ftp)
- Projective Geometry and Photometry for Object Detection and Delineation
Jefferey A. Shufelt
Ph.D. Thesis
July 1996
284 pages
- CMU-CS-96-165
- Proof-Carrying Code
George C. Necula, Peter Lee
September 1996
[Also appears as CMU-CS-FOX-96-03]
65 pages
- CMU-CS-96-166
- Unavailable to date
- CMU-CS-96-167
- Episodic Memory for External Information
Erik M. Altmann
Ph.D. Thesis
August 1996
340 pages
- CMU-CS-96-168 (Unavailable via ftp)
- 3D Shape and Reflectance Morphing
Yoichi Sato, Imari Sato, Katsushi Ikeuchi
September 1996
26 pages
- CMU-CS-96-169
- Application-Allocated I/O Buffering with System-Allocated Performance
Jose Carlos Brustoloni, Peter Steenkiste
August 1996
29 pages
- CMU-CS-96-170
- Unavailable to date
- CMU-CS-96-171
- Issues in Register Allocation by Graph Coloring
Guei-Yuan Lueh
November 1996
30 pages
- CMU-CS-96-172
- Primitive Recursion for Higher Order Abstract Syntax
Joelle Despeyroux, Frank Pfenning, Carsten Schurmann
August 1996
119 pages
- CMU-CS-96-173
- Unavailable to date
- CMU-CS-96-174
- A Trace-Driven Comparison of Algorithms for Multi-Process
Prefetching and Caching
Andrew Tomkins, R. Hugo Patterson, Garth Gibson
September 1996
25 pages
- CMU-CS-96-175 (Unavailable via ftp)
- Compiling Knowledge for Dialogue Generation and Interpretation
Nancy Green, Jill Fain Lehman
October 1996
18 pages
- CMU-CS-96-176
- Semantics of Memory Management for Polymorphic Languages
Greg Morrisett, Robert Harper
September 1996
[Also appears as CMU-CS-FOX-96-04]
56 pages
- CMU-CS-96-177 (Unavailable via ftp)
- Purely Functional Data Structures
Chris Okasaki
Ph.D. Thesis
September 1996
164 pages
- CMU-CS-96-178
- Formal Methods: State of the Art and Future Directions
Edmund M. Clarke, Jeannette M. Wing
September 1996
24 pages
- CMU-CS-96-179
- Unavailable to date
- CMU-CS-96-180
- Model Checking Algorithms for the @g<m>-Calculus
Sergey Berezin, Edmund Clarke, Somesh Jha, Will Marrero
September 1996
28 pages
- CMU-CS-96-181
- A Survey of Rollback-Recovery Protocols in Message-Passing Systems
Elmootazbellah N. Elnozahy, David B. Johnson, Y.M. Wang
September 1996
50 pages
- CMU-CS-96-182 (Unavailable via ftp)
- Expectation-Based Selective Attention
Shumeet Baluja
Ph.D. Thesis
October 1996
209 pages
- CMU-CS-96-183
- Evolution-Based Methods for Selecting Point Data for Object Localization:
Applications to Computer-Assisted Surgery
Shumeet Baluja, David A. Simon
November 1996
24 pages
- CMU-CS-96-184
- Unavailable to date
- CMU-CS-96-185
- Unavailable to date
- CMU-CS-96-186
- Meta-Level Control for Decision-Theoretic Planners
Richard Goodwin
Ph.D. Thesis
October 1996
191 pages
- CMU-CS-96-187
- Equivalence Checking Using Abstract BDDs
Somesh Jha, Y. Lu, Marius Minea, Edmund M. Clarke
October 1996
17 pages
- CMU-CS-96-188 (Unavailable via ftp)
- Automatic Modeling and Localization for Object Recognition
Mark Damon Wheeler
Ph.D. Thesis
October 1996
246 pages
- CMU-CS-96-189
- The Amulet Environment: New Models for Effective User Interface
Software Development
Brad A. Myers, Rich McDaniel, Rob Miller, Alan Ferrency, Patrick Doane,
Andrew Faulring, Ellen Borison, Andy Mickish, Alex Klimovitski
November 1996
[Also appears as CMU-HCII-96-104]
39 pages
- CMU-CS-96-190
- Unavailable to date
- CMU-CS-96-191
- An Efficient Commerce System
Andrew C. Myers
November 1996
32 pages
- CMU-CS-96-192
- Improved Routing and Sorting on Multibutterflies
Bruce M. Maggs, Berthold Vocking
November 1996
21 pages
- CMU-CS-96-193
- Proposal for a Common Parallel File System Programming Interface 1.0
Peter Corbett, Jean-Pierre Prost, Chris Demetriou, Garth Gibson,
Erik Riedel, Jim Zelenka, Yuqun Chen, Ed Felten, Kai Li, John Hartman,
Larry Peterson, Brian Bershad, Alex Wolman, Ruth Aydt
October 1996
[Also appears as Technical Report CACR-130, Scalable I/O Initiative,
Caltech Center for Advanced Computing Research, November 1996.]
132 pages
- CMU-CS-96-194 (Unavailable via ftp)
- Using Dynamic Sets to Reduce the Aggregate Latency of Data Access
David Cappers Steere
Ph.D. Thesis
November 1996
243 pages
- CMU-CS-96-195
- Exploiting Weak Connectivity in a Distributed File System
Lily B. Mummert
Ph.D. Thesis
December 1996
148 pages
- CMU-CS-96-196
- Multi-baseline Stereo Using Surface Extraction
C. Lawrence Zitnick, Jon A. Webb
November 1996
30 pages
- CMU-CS-96-197
- A Framework for Space and Time Efficient Scheduling of Parallelism
Girija J. Narlikar, Guy E. Blelloch
December 1996
34 pages
- CMU-CS-96-198
- Privacy and Reliability in Internet Commerce
Linda Jean Camp
Ph.D. Thesis (Engineering and Public Policy)
August 1996
159 pages
- CMU-CS-96-199 (Unavailable via ftp)
- A Quantitative Approach to the Formal Verification of Real-Time Systems
Sergio Vale Aguiar Campos
Ph.D. Thesis
September 1996
240 pages
- CMU-CS-96-200 (Unavailable via ftp)
- Compiling Recurrent and Irregular Serial Code for High Performance Computers
Anwar Mohammed Ghuloum
Ph.D. Thesis
November 1996
206 pages
- CMU-CS-96-201 (Unavailable via ftp)
- Interactive Sketching for the Early Stages of User Interface Design
James A. Landay
Ph.D. Thesis
December 1996
[Also appears as CMU-HCII-96-105]
264 pages
- CMU-CS-96-202 (Unavailable via ftp)
- Symmetry and Induction in Model Checking
Somesh Jha
Ph.D. Thesis
October 1996
194 pages
- CMU-CS-96-203
- Modular Neural Networks for Speech Recognition
Jurgen Fritsch
August 1996
111 pages
- CMU-CS-96-204
- A Denotational Framework for Fair Communicating Processes
Susan Older
Ph.D. Thesis
170 pages
- CMU-CS-96-205
- Name-It: Association of Face and Name in Video
Shin'ichi Satoh, Takeo Kanade
December 1996
19 pages
This index was automatically generated on Fri Aug 1 15:30:39 EDT 1997.reports@cs.cmu.edu