perm filename THESIS.PUB[BIB,CSR]6 blob sn#542950 filedate 1980-11-12 generic text, type C, neo UTF8
C00001 00001
C00002 00002	.require "setup.csr[bib,csr]" source file
C00003 00003	Aikins, Janice S.,
C00015 00004	Goldman, N.M.,
C00027 00005	Newey, M.C.,
C00039 00006	Smith, Reid Garfield,
C00057 ENDMK
.require "setup.csr[bib,csr]" source file;
.once center
%3Stanford Computer Science Theses%1
.begin indent 0,5,0
Aikins, Janice S.,
STAN-CS-80-814 (HPP-80-17),
%2Prototypes and Production Rules: A Knowledge Representation for
Computer Consultations%1, 204 pages, August 1980.

Adams, D.,
STAN-CS-68-117 (PB182151), %2A  Computational Model
with Data Flow Sequencing%1, 130 pages, December 1968.

Agin, Gerald,
STAN-CS-72-305   (AIM-173,    AD755139),
%2Representation and Description of Curved Objects%1, 125 pages, August

Aspvall, Bengt,
%2Efficient Algorithms for certain Satisfiability and Linear Programming
Problems%1, 59 pages, September 1980.

Bajcsy, Ruzena,
STAN-CS-72-321 (AIM-180, AD759712), %2Computer
Identification of Textured Visual Scenes%1, 156 pages, October 1972.

Banning, John Phineas,
STAN-CS-78-676 (SLACR-213), %2A Method for
Determining the Side Effects of Procedure Calls%1, 283 pages, November

Barstow, David,
STAN-CS-77-641 (AIM-308, AD-A053 184), %2Automatic
Construction of Algorithms%1, 220 pages, December 1977.

Bauer, Henry R., III,
STAN-CS-72-324 (CSL-TR-48, PB214612),
%2Subproblems of the m %4x%2 n Sequencing Problem%1, 115  pages, November

Baumgart, Bruce,
STAN-CS-74-463  (AIM-249,  AD-A002  261),
%2Geometric Modeling for Computer Vision%1, 141 pages, November 1974.

Bolles, Robert C.,
STAN-CS-77-591  (AIM-295), %2Verification
Vision Within  a Programmable Assembly  System%1, 245  pages, February

Borning, Alan,
STAN-CS-79-746, %2ThingLab -- A Constraint- Oriented
Simulation Laboratory%1, 109 pages, July 1979.

Brent, R.,
STAN-CS-71-198 (AD726170), %2Algorithms for Finding
Zeros and Extrema of Functions without Calculating  Derivatives%1, 250
pages, February 1971.

Brooks, Martin,
STAN-CS-80-804 (AIM-336), %2Determining Correctness by Testing%1,
135 pages, May 1980.

Brotz, Douglas K.,
STAN-CS-74-443 (PB-236 471/AS), %2Embedding
Heuristic Problem  Solving Methods in  a Mechanical  Theorem Prover%1,
107 pages, July 1974.

Brown, Mark R.,
STAN-CS-77-600 (AD-A040 538), %2The Analysis of a
Practical and Nearly Optimal Priority Queue%1, 102 pages, April 1977.

Bube, Kenneth P.,
STAN-CS-78-691 (AD-A066 058), %2The Construction
of Initial Data for Hyperbolic Systems from Nonstandard Data%1, 119 pages,
November 1978.

Buchanan, J.
STAN-CS-74-458 (AIM-245, AD784816), %2A Study in
Automatic Programming%1, 146 pages, October 1974.

Bulnes-Rozas, Juan,
STAN-CS-79-743 (AIM-328), %2GOAL:  A Goal
Oriented Command Language for Interactive Proof Construction%1, 175 pages,
June 1979.

Cadiou, Jean,
STAN-CS-72-266  (AIM-163,  not   at  NTIS),
%2Recursive   Definitions   of  Partial   and   Functions   and  Their
Computation%1, 160 pages, March 1972.

Cartwright, Robert, Jr.,
STAN-CS-77-592  (AIM-296), %2A
Practical  Formal Semantic  Definition and  Verification  Systems for
Typed LISP%1, 158 pages, Fegruary 1977.

Causey, R.L.,
STAN-CS-64-10 (AD603163), %2On  Closest Normal
Matrices%1, 131 pages, June 1964.

Chan, Tony F.C.,
STAN-CS-78-672, %2Comparison of Numerical Methods
for Initial Value Problems%1, 195 pages, June 1978.

Chandra, Ashok K.,
STAN-CS-73-336 (AIM-188,  AD758646), %2On
the  Properties  and  Applications of  Program  Schemas%1,  225 pages,
January 1973.

Clancey, William John,
STAN-CS-79-769 (AD-A083 432), %2Transfer of Rule- Based
Expertise Through a Tutorial Dialogue%1, 462 pages, September 1979.

Coughran, William M., Jr.,
%2On the Approximate Solution of Hyperbolic Initial-Boundary Value Problems%1,
177 pages, June 1980.

Crane, Clark A.,
STAN-CS-72-259 (PB208595), %2Linear Lists and
Priority Queues as Balanced Binary Trees%1, 131 pages, February 1972.

Davis, Randall,
STAN-CS-76-564  (AIM-283, HPP-76-7),  %2Applications of
Meta  Level Knowledge  to the  Construction, Maintenance  and  Use of
Large Knowledge Bases%1, 304 pages, July 1976.

Drysdale, Robert Lewis (Scot), III,
STAN-CS-79-705, %2Generalized
Voronoi Diagrams and Geometric Searching%1, 196 pages, January 1979.

El-Masri, Ramez Aziz,
STAN-CS-80-801, %2On the Design, Use, and
Integration of Data Models%1, 228 pages, May 1980.

Falk, G.,
STAN-CS-70-180  (AIM-132,  AD715665),  %2Computer
Interpretation of Imperfect Line Data as a  Three-Dimensional Scene%1,
187 pages, October 1970.

Fang, Isu,
STAN-CS-72-329 (PB218875), %2Folds,  A Declarative
Formal Language Definition System%1, 290 pages, December 1972.

Faught, William,
STAN-CS-77-633 (AIM-305, AD-A048 660),
%2Motivation and Intensionality in a Computer Simulation Model%1, 104 pages,
October 1977.

Filman, Robert Elliot,
STAN-CS-79-727 (AIM-327), %2The Interaction
of Observation and Inference%1, 235 pages, March 1979.

Finkel, Rafael,
STAN-CS-76-567 (AIM-284),  %2Constructing and
Debugging Manipulator Programs%1, 171 pages pages, August 1976.

Fredman, Michael L.,
STAN-CS-72-296  (AD748606), %2Growth
Properties of  a Class of  Recursively Defined Functions%1,  84 pages,
June 1972.

Friedland, Peter E.,
STAN-CS-79-771 (HPP-79-29), %2Knowldge-Based
Experiment Design in Molecular Genetics%1, 137 pages, August 1979.

Ganapathy, S.,
STAN-CS-75-525 (AIM-272),  %2Reconstruction of
Secnes Containing  Polyhedra from Stereo  Pair of Views%1,  204 pages,
November 1975.

Garcia-Molina, Hector,
STAN-CS-79-744 (CSL-TR-172, AD-A075 268),
%2Performance of Update Algorithms for Replicated Data in a Distributed
Database%1, 320 pages, June 1979.

Gennery, Donald B.
STAN-CS-80-805 (AIM-339),
%2Modelling the Environment of an Exploring Vehicle by Means of Stereo Vision%1,
151 pages, June 1980.

George, J.A.,
STAN-CS-71-208   (AD726171),  %2Computer
Implementation of the Finite Element Method%1, 220 pages, March 1971.

George, J.E.,
STAN-CS-71-227 (SLAC-134), %2GEMS - A Graphical
Experimental Meta System%1, 184 pages, July 1971.

Gieger, Charles, III,
STAN-CS-74-419 (AIM-233, AD-A000  086),
%2Conceptual Memory:  A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances%1, 393 pages, May 1974.

Ginsparg, Jerrold,
STAN-CS-78-671 (AIM-316), %2Natural Language
Processing in an Automatic Programming Domain%1, 172 pages, June 1978.

Gips, James,
STAN-CS-74-413 (AIM-231,  AD-A001 814), %2 Shape
Grammars and Their Uses%1, 243 pages, March 1974.

Goad, Christopher Alan
%2Computational Uses of the Manipulation of Formal Proofs%1,
130 pages, August 1980.

Goldman, N.M.,
STAN-CS-74-461  (AIM-247,  AD-A005  041),
%2Computer  Generation  of  Natural Language  from  a  Deep Conceptual
Base%1, 316 pages, October 1974.

Grace, D.W.,
STAN-CS-65-15 (AD611366), %2Computer  Search for
Non-Isomorphic Convex Polyhedra%1, 137 pages, January 1965.

Graham, Susan,
STAN-CS-71-223   (PB203429),  %2Precedence
Languages and Bounded Right Context Languages%1, 192 pages, July 1971.

Grape, Gunnar Rutger,
STAN-CS-73-366  (AIM-201,  AD763673),
%2Model Bases  (Intermediate-Level) Computer  Vision%1, 256  pages, May

Green, C.C.,
STAN-CS-69-138  (AIM-96,  AD696394),  %2The
Application of  Theorem Proving  to Question-Answering  Systems%1, 162
pages, June 1969.

Guibas, L.J.,
STAN-CS-76-556,  %2The  Analysis  of Hashing
Algorithms%1, 136 pages, August 1976.

Hanna, Marsha Jo,
STAN-CS-74-438  (AIM-239,   AD786720),
%2Computer Matching of Areas in Stereo Images%1, 99 pages, July 1974.

Hemphill, Linda G.,
STAN-CS-76-534 (AIM-273),  %2A Conceptual
Approach to Automatic  Language Understanding and  Belief Structures:
With Disambiguation of the Word 'For' %1, 254 pages, January 1976.

Hoffman, L.J.,
STAN-CS-70-161 (SLACR-117, not at NTIS), %2The
Formulary Model for Access Control and Privacy in  Computer Systems%1,
81 pages, May 1970.

Horning, J.J.,
STAN-CS-69-139 (AIM-98, AD695401),  %2A Study
of Grammatical Inference%1, 166 pages, August 1969.

Huberman, B.,
STAN-CS-68-106 (AIM-65, AD673971),  %2A Program
to Play Chess End Games%1, 168 pages, August 1968.

Jenkins, M.A.
STAN-CS-69-143  (AD694464),  %2Three-Stage
Variable-Shift  for  the  Solution  of  Polynomial  Equations  with a
Posteriori  Error  Bounds  for  the  Zeros%1  (has  also  been printed
incorrectly as STAN-CS-69-138), 199 pages, August 1969.

Kant, Elaine,
STAN-CS-79-755 (AIM-331), %2Efficiency Considerations
in Program Synthesis: A Knowledge-Based Approach%1, 160 pages, July 1979.

Kaplan, D.M.,
STAN-CS-68-101 (AIM-60, AD672923), %2The Formal
Theoretic Analysis of Stront Equivalence for Elemental Programs%1, 263
pages, June 1968.

Karp, Richard Alan,
STAN-CS-79-783 (PVG-14), %2Proving Concurrent
Systems Correct%1, 151 pages, November 1979.

Kaufman, Linda,
STAN-CS-72-276 (AD745022), %2A  Generalized LR
Method to Solve Ax = Bx%1, 70 pages, April 1972.

Kaufman, Linda C.,
STAN-CS-73-363 (Serra, PB222099),  %2The LZ
Algorithm to  Solve the Generalized  Eigenvalue Problem%1,  101 pages,
May 1973.

Kelly, M.,
STAN-CS-70-168  (AIM-130,  AD713252),  %2Visual
Identification of People by Computer%1, 138 pages, July 1970.

Knott, G.D.,
STAN-CS-75-491,  %2Deletion in  Binary Storage
Trees%1, 93 pages, May 1975.

Kogge, Peter M.,
STAN-CS-72-314 (CSL-TR-43,  PB212893),
%2Parallel Algorithms  for the  Efficient Solution  of Recurrence
Problems%1 (Part I), 74 pages, September 1972.

Kogge, Peter M.,
STAN-CS-72-315 (CSL-TR-44,  PB212894),
%2The Numerical  Stability  of Parallel  Algorithms  for Solving
Recurrence Problems%1 (Part II), 49 pages, September 1972.

Kogge, Peter M.,
STAN-CS-72-316 (CSL-TR-45,  PB212828),
%2Minimal Paralellism  in the Solution of  Recurrence Problems%1 (Part III),
45 pages, September 1972.

Lang, Tomas,
STAN-CS-74-427 (CSL-TN-36, PB232624/AS),
%2Performing the Perfect Schuffle in an Array Computer%1 (excerpt), 18 pages, May

Lang, Tomas,
STAN-CS-74-428 (CSL-TR-76, PB232633/AS),
%2Interconnections  Between Precessors  and Memory  Modules  Using the
Schuffle-Exchange Network%1 (excerpt), 32 pages, May 1974.

Lenat, Douglas,
STAN-CS-76-570 (AIM-286), %2AM:  An Artificial
Intelligence  Approach  to  Discovery  in  Mathematics  as  Heuristic
Search%1, 350 pages, July 1976.

Lengauer, Thomas,
STAN-CS-79-745 (AD-A076 264), %2Upper and Lower
Bounds on Time-Space Tradeoffs in a Pebble Game%1, 82 pages, July 1979.

Lesser, V.,
STAN-CS-72-309  (CSL-TR-157,  not  at  NTIS),
%2Dynamic Control Structures and  Their Use in Emulation%1,  251 pages,
August 1972.

Levine, David R.,
STAN-CS-73-343 (not  at NTIS), %2Computer-Based
Analytic  Grading for German  Grammar Instruction%1,  220 pages,
March 1973.

Lewis, John Gregg,
STAN-CS-77-595,  %2Algorithms  for Sparse
Matrix Eigenvalue Problems%1, 212 pages, April 1977.

Low, J.R.,
STAN-CS-74-452 (AIM-242, AD-A000 500), %2Automatic
Coding:  Choice of Data Structures%1, 110 pages, September 1974.

Luk, Franklin Tai-cheung,
STAN-CS-78-685 (AD-A065 285), %2Sparse
and Parallel Matrix Computations%1, 168 pages, December 1978.

Lukes, J.A.,
STAN-CS-72-293   (CSL-TN-32,   PB212234),
%2Combinatorial Solutions to  Partitioning Problems%1, 130  pages, June

Malcolm, Michael A.,
STAN-CS-73-372  (AD767970),
%2Nonlinear Spline Functions%1 (Part II), 60 pages, June 1973.

Malcolm, Michael A.,
STAN-CS-73-374 (AD764275), %2A
Machine-Independent  ALGOL  Procedure  for   Accurate  Floating-Point
Summation%1 (excerpt), 5 pages, June 1973.

McCune, Brian P.,
STAN-CS-79-772 (AIM-333, AD-A086 504), %2Building Program
Models Incrementally from Informal Descriptions%1, 146 pages, October 1979.

McKeeman, W.M.,
STAN-CS-66-48 (SS639-166), %2An  Approach to
Computer Language Design%1, 124 pages, August 1966.

Meyers, W.J.,
STAN-CS-71-222   (PB235417/AS),  %2Linear
Representation   of  Tree   Structure  (a   Mathematical   Theory  of
Parenthesis-Free Notations)%1, 245 pages, June 1971.

Mitchell, Tom Michael,
STAN-CS-78-711, %2Version Spaces:  An
Approach to Concept Learning%1, 216 pages, December 1978.

Model, Mitch L,
STAN-CS-79-701, %2Monitoring System Behavior in a
Complex Computational Environment%1, 189 pages, January 1979.

Moler, C.B.,
STAN-CS-65-22 (AD616676),  %2Finite Difference
Methods for  the Eigenbales  of Laplace's  Operator%1, 142  pages, May

Mont-Reynaud, Bernard,
STAN-CS-77-644, %2Hierarchical Properties of
Flows and the Determination of Inner Loops%1, 164 pages, December 1977.

Moravec, Hans Peter,
STAN-CS-80-813 (AIM-340),
%2Obstacle Avoidance and Navigation in the Real World
by a Seeing Robot Rover%1, 174 pages, September 1980.

Morris, F. Lockwood,
STAN-CS-72-303  (AIM-174,  PB212827),
%2Correctness of Translations of Programming Languages -  an Algebraic
Approach%1, 125 pages, August 1972.

Nevatia, Ramkant,
STAN-CS-74-464  (AIM-250,  AD-A003 488),
%2Structured Descriptions  of Complex  Curved Objects  for Recognition
and Visual Memory%1, 125 pages, November 1974.

Newey, M.C.,
STAN-CS-75-475 (AIM-257, AD-A005 413), %2Formal
Semantics  of LISP  with  Applications to  Program  Correctness%1, 184
pages, January 1975.

Ohwovoriole, Morgan S.,
STAN-CS-80-809 (AIM-338),
%2An Extention of Screw Theory and its Application to the Automation of
Industrial Assemblies%1, 186 pages, April 1980.

O'Leary, D. Prost,
STAN-CS-76-548, %2Hybrid Conjugate Gradient
Algorithms%1, 120 pages, March 1976.

Orcutt, Samuel E.,
STAN-CS-74-429  (CSL-TR-70,  PB232623/AS),
%2Efficient  Data   Routing  Schemes  for   ILLIAC  IV-Type
Computers%1 (excerpt), 31 pages, May 1974.

Orcutt, Samuel E.,
STAN-CS-74-430  (CSL-TR-71,  PB234513/AS),
%2A  Novel   Parallel  Computer   Architecture   and  Some
Applications%1 (excerpt), 44 pages, May 1974.

Overton, Michael Lockhart,
STAN-CS-79-752, %2Projected Lagrangian
Algorithms for Nonlinear Minimax and lā†“1 Optimization%1, 164 pages, July

Paul, Richard,
STAN-CS-72-311  (AIM-177,  not  at  NTIS),
%2Modelling,  Trajectory  Calculation  and  Servoing  of   a  Computer
Controlled Arm%1, September 1972.

Persson, S.,
STAN-CS-66-50 (AIM-46, PB176761), %2Some Sequence
Extrapulating Programs:  A  Study of Representation and  Modelling in
Inquiring Systems%1, 176 pages, September 1966.

Peterson, James L.,
STAN-CS-74-410 (CSL-TR-46, PB231926/AS),
%2Modelling of Parallel Systems%1, 241 pages, February 1974.

Pieper, D.,
STAN-CS-68-116   (AIM-72,   AD680036),  %2The
Kinematics  of  Manipulators  Under  Computer  Control%1,  157  pages,
October 1968.

Pohl, I.,
STAN-CS-69-136  (SLACR-104,  not  at NTIS),
%2Bi-Directional and  Heuristic Search in  Path Problems%1, 157  pages, May

Polak, Wolfgang Heinz,
STAN-CS-80-802 (PVG-17), %2Theory of Compiler
Specification and Verification%1, 288 pages, May 1980.

Pratt, Vaughan R.,
STAN-CS-72-260 (AD740110),  %2Shellsort and
Sorting Networks%1, 59 pages, February 1972.

Quam, Lynn,
STAN-CS-71-219 (AIM-144, not at NTIS), %2Computer
Comparison of Pictures%1, 120 pages, May 1971.

Ramos, G.O.,
STAN-CS-70-146 (not at NTIS),  %2Roundoff Error
Analysis of the Fast Fourier Transform%1, February 1970.

Ramshaw, Lyle Harold,
STAN-CS-79-741, %2Formalizing the Analysis of
Algorithms%1, 123 pages, June 1979.

Reddy, D.R.,
STAN-CS-66-49 (AIM-43, SS640-836), %2An Approach
to Computer  Speech Recognition by  Direct Analysis of  Speech Wave%1,
143 pages, September 1966.

Reiser, John F.,
STAN-CS-77-601 (AD-A045 652), %2Analysis of
Additive Random Number Generators%1, 34 pages, April 1977.

Richman, P.,
STAN-CS-68-105 (AD673674), %2Epsiolon-Calculus%1,
138 pages, August 1968.

RiddeE, William E.,
STAN-CS-72-271  (not  at  NTIS), %2The
Modeling and Analysis of Supervisory Systems%1, 174 pages, March 1972.

Riesbeck, C.K.,
STAN-CS-74-437  (AIM-238,  AD-A005  040),
%2Computational  Understanding:  Analysis  of Sentences  and Context%1,
245 pages, July 1974.

Rivest, Ronald L.,
STAN-CS-74-415 (PB233065/AS), %2Analysis of
Associative Retrieval Algorithms%1, 109 pages, April 1974.

Roderick, Michael,
STAN-CS-76-571  (AIM-287),  %2Discrete
Control of a Robot Arm%1, 98 pages, August 1976.

Rudin, B.D.,
STAN-CS-65-23 (AD618214),  %2Convex Polynomial
Approximation%1, 44 pages, June 1965.

Russell, D.L.,
STAN-CS-76-563,  %2State  Restoration Among
Communicating Processes%1, 173 pages, August 1976.

Ryder, John,
STAN-CS-71-245  (AIM-155,   not  at   NTIS),
%2Heuristic Analysis of Large Trees  as Generated in the Game  of Go%1,
350 pages, November 1971.

Samet, H.,
STAN-CS-75-498   (AIM-259,   AD-A017   025),
%2Automatically  Proving  the  Correctness  of  Translations Involving
Optimized Code%1, 214 pages, August 1975.

Satterthwaite, E.H., Jr.,
STAN-CS-75-494,  %2Source Language
Debugging Tools%1, 345 pages, May 1975.

Schank, R.C.,
STAN-CS-69-130  (AIM-83,  PB183907),  %2A
Conceptual   Dependency   Representation   for   a  Computer-Oriented
Semantics%1, 201 pages, March 1969.

Scherlis, William Louis,
STAN-CS-80-818 (AIM-341),
%2Expression Procedures and Program Derivation%1,
178 pages, August 1980.

Schlumberger, Maurice,
STAN-CS-74-424   (CSL-TR-80,   PB232602/AS),
%2Logorithmic Communications Networks%1 (Chapter 1), 38 pages,
May 1974.

Schlumberger, Maurice,
STAN-CS-74-425   (CSL-TR-81,   PB232598/AS),
%2Vulnerability  of   deBruijn  Communications
Networks%1 (Chapter 2), 68 pages, May 1974.

Schlumberger, Maurice,
STAN-CS-74-426 (CSL-TR-82, PB232597),
%2Queueing  Equal  Length  Messages  in   a  Logorithmic
Network%1 (Chapter 3), 75 pages, May 1974.

Schmidt, Rod,
STAN-CS-71-231 (AIM-149, AD732644), %2A Study of
the  Real-Time  Control of  a  Computer Driven  Vehicle%1,  180 pages,
August 1971.

Sedgewick, R.,
STAN-CS-75-492,  %2Quicksort%1, 352  pages, May

Shaw, A.C.,
STAN-CS-68-94   (SLACR-84),   %2The  Formal
Description and Parsing of Pictures%1, 205 pages, April 1968.

Shaw, David Elliot,
%2Knowledge-Based Retrieval on a Relational Database Machine%1,
280 pages, August 1980.

Shimano, Burce E.,
STAN-CS-78-660 (AIM-313), %2The Kinematic Design
and Force Control of Computer Controlled Manipulators%1, 135 pages, March

Shortliffe, E.H.,
STAN-CS-74-465  (AIM-251, AD-A001  373),
%2MYCIN:  A  Rule-Based  Computer  Program  for   Advising  Physicians
Regarding Antimicrobial Therapy Selection%1, 409 pages, November 1974.

Shustek, Leonard J.,
STAN-CS-78-658 (SLAC-205), %2Analysis and
Performance of Computer Instruction Sets%1, 177 pages, March 1978.

Simon, Istvan,
STAN-CS-77-608, %2On Some Subrecursive
Reducibilities%1, 102 pages, June 1977.

Sites, Richard L.,
STAN-CS-74-418  (PB233045/AS), %2Proving
That Computer Programs Terminate Cleanly%1, 143 pages, May 1974.

Smith, A.,
STAN-CS-74-449 (CSL-TR-89, AD785027), %2Performance
Analysis of Computer Systems Components%1, 323 pages, September 1974.

Smith, A.,
STAN-CS-74-451 (CSL-TR-91, AD786999),
%2A Modified Working Set Paging Algorithm%1 (Chapter 5), 40 pages, October 1974.

Smith, D.C.,
STAN-CS-75-499  (AIM-260),  %2PYGMALION:   A
Creative Programming Environment%1, 193 pages, August 1975.

SmitH, L.B.,
STAN-CS-69-131  (SLAC-96), %2The  Use  of Man-
Machine Interaction in Data-Fitting Problems%1, 287 pages, March 1969.

Smith, Reid Garfield,
STAN-CS-78-700 (HPP-78-28, AD-A068 230), %2A
Framework for Problem Solving in a Distributed Processing Environment%1,
150 pages, December 1978.

Stefik, Mark Jeffrey,
STAN-CS-80-784 (HPP-80-2), %2Planning with
Constraints%1, 230 pages, January 1980.

Stoutemyer, David R.,
STAN-CS-72-283  (not  at  NTIS),  %2Numerical
Implementation  of  the  Schwarz  Alternating  Procedure  for  Elliptic
Partial Differential Equations%1, 131 pages, May 1972.

Strikwerd, J.C.,
STAN-CS-76-565  (AD-A032 802), %2Initial
Boundary  Value  Problems for  Incompletely  Parabolic  Systems%1, 107
pages, November 1976.

Stritter, Edwin P.,
STAN-CS-77-594   (SLAC-200), %2File
Migration%1, 112 pages, April 1977.

Suzuki, Norihsa,
STAN-CS-76-552   (AIM-279),  %2Automatic
Verification of  Programs with Complex  Data Structures%1,  194 pages,
February 1976.

Sweet, Richard E.,
STAN-CS-78-698, %2Empirical Estimates of Program
Entropy%1, 167 pages, November 1978.

Swinehart, Daniel C.,
STAN-CS-74-412  (AIM-230,  AD786721),
%2COPILOT:   A Multiple  Process Approach  to  Interactive Programming
Systems%1, March 1974.

Tarjan, R.,
STAN-CS-71-244   (AD738027),   %2An  Efficient
Planarity Algorithm%1, 154 pages, November 1971.

Taylor, Russell,
STAN-CS-76-560  (AIM-282),  %2Synthesis of
Manipulator  Control  Programs from  Task-level  Specifications%1, 229
pages, July 1976.

Tenenbaum, J.,
STAN-CS-70-182   (AIM-134,   AD748565),
%2Accomodation in Computer Vision%1, 452 pages, Septmeber 1970.

Tixier, V.,
STAN-CS-67-58 (PB176766), %2Recursive Functions of
Regular Expressions in Language Analysis%1, 146 pages, March 1967.

Trabb-Pardo, Louis,
STAN-CS-78-681 (AD-A065 283), %2Set
Representation and Set Intersection%1, 85 pages, December 1978.

Underwood, R.,
STAN-CS-75-496 (SU326 P30-41), %2An Iterative
Block  Lanczos  Method for  the  Solution of  Large  Sparse Symmetric
Eigenproblems%1, 133 pages, May 1975.

Valdes, Jacobo,
STAN-CS-78-682 (AD-A065 265), %2Parsing Flowcharts
and Series-Parallel Graphs%1, 233 pages, December 1978.

Van Melle, William,
STAN-CS-80-820 (HPP-80-22), 
%2A Domain-Independent System That Aids in Constructiong Knowledge-Based
Consultation Programs%1, 192 pages, June 1980.

Van Wyk, Christopher John,
STAN-CS-80-803, %2A Language for
Typesetting Graphics%1, 59 pages, May 1980.

Varah, J.M,
STAN-CS-67-66 (AD652921), %2The  Computation of
Bounds for the Invariant Subspaces of a General Matrix Operator%1, 240
pages, May 1967.

Vicens, P.,
STAN-CS-69-127 (AIM-85,  AD687720),  %2Aspects of
Speech Recognition by Computer%1, 210 pages, April 1969.

Vitter, Jeffrey Scott,
%2Analysis of Coalesced Hashing%1, 111 pages, August 1980.

Vuillemin, Jean Etienne,
STAN-CS-73-393  (AIM-218,   AD772063/4WC),
%2Proof  Techniques  for  Recursive  Programs%1,  97  pages,
October 1973.

Wagner, Todd Jeffery,
STAN-CS-77-632 (AIM-304, AD-A048 684),
%2Hardware Verification%1, 102 pages, October 1977.

Wakerly, John,
STAN-CS-74-421 (CSL-TR-51, PB232356/AS), %2Low-Cost
Error Detection Techniques for Small Computers%1, 232  pages, May

Waterman, D.,
STAN-CS-68-118  (AIM-74,  AD681027), %2Machine
Learning of Heuristics%1, 235 pages, December 1968.

Wilkins, David E.,
STAN-CS-79-747 (AIM-329, AD-A076 872), %2Using
Patterns and Plans to Solve Problems and Control Search%1, 264 pages, June

Wright, Margaret,
STAN-CS-76-566,  %2Numerical  Methods for
Nonlinearly Constrained Optimization%1, 262 pages, November 1976.

Yakimovsky, Yoram,
STAN-CS-73-380 (AIM-209,  AD767695/O WC),
%2Scene Analysis Using a Semantic Base for Region Growing%1, 120 pages,
June 1973.

Yu, F.S.,
STAN-CS-76-554,  %2Modeling the Write  Behavior of
Computer Programs%1, 185 pages, June 1976.

Zolnowsky, John E.,
STAN-CS-78-659 (SLAC-206), %2Topics in
Computational Geometry%1, 63 pages, March 1978.