[ Search fields | Search simple | Home page ]

  Reports Listed by Author

      *  Abadi, M.
           -  A timely resolution. CS-TR-86-1106, April 1986
           -  Model theorem proving. CS-TR-86-1100, May 1986
           -  Nonclausal temporal deduction. CS-TR-85-1056, June 1985
      *  Abraham, J.
           -  RELIABILITY MODELING OF NMR NETWORKS. CSL-TR-73-56, 1973
      *  Adelberg, B.
           -  Emulating Soft Real-Time Scheduling Using Traditional Operating
              System Schedulers. CS-TN-94-8,
      *  Adler, J.
           -  Motion planning in stereotaxic radiosurgery. CS-TR-92-1441,
              September 1992
      *  Agarwal, A.
           -  TRACE COMPACTION USING CACHE FILTERING WITH BLOCKING.
              CSL-TR-88-347, December 1987
           -  MIPS-X: THE EXTERNAL INTERFACE. CSL-TR-87-339, November 1987
      *  Ahuja, R.
           -  Finding Minimum-Cost Flows by Double-Scaling. CS-TR-88-1227,
              October 1988
      *  Aiello, L.
           -  The semantics of PASCAL in LCF.. CS-TR-74-447, August 1974
           -  LCFsmall: an implementation of LCF.. CS-TR-74-446, August 1974
      *  Aiello, M.
           -  Checking proofs in the metamathematics of first order logic..
              CS-TR-74-467, August 1974
           -  The semantics of PASCAL in LCF.. CS-TR-74-447, August 1974
      *  Aikins, J.
           -  PUFF: an expert system for interpretation of pulmonary function
              data. CS-TR-82-931, September 1982
      *  Al-Twaijry, H.
           -  Multipliers and Datapaths. CSL-TR-94-654, December 1994
      *  Alpert, D.
           -  DATA BUFFERS FOR EXECUTION ARCHITECTURES. CSL-TR-83-250,
              November 1983
           -  STUDIES IN MICROPROCESSOR DESIGN. CSL-TR-82-232, June 1982
      *  Altman, R.
           -  A Heuristic Refinement for Spacial Constraint Satisfaction
              Problems. CS-TR-87-1142, January 1987
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
      *  Alur, R.
           -  The benefits of relaxing punctuality. CS-TR-91-1359, May 1991
           -  Real-time logics: complexity and expressiveness. CS-TR-90-1307,
              March 1990
           -  A really temporal logic.. CS-TR-89-1267, July 1989
      *  Alverson, R.
           -  THOR USER'S MANUAL: LIBRARY FUNCTIONS. CSL-TR-88-349, January
              1988
           -  THOR USER'S MANUAL: TUTORIAL AND COMMANDS. CSL-TR-88-348,
              January 1988
      *  Amarasinghe, S.
           -  Interprocedural Parallelization Analysis: Preliminary Results.
              CSL-TR-95-665, March 1995
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
      *  Anderson, D.
           -  After Leibniz...: discussions on philosophy and artificial
              intelligence.. CS-TR-74-411, March 1974
      *  Anderson, G.
           -  The Computer Science Technical Report (CS-TR) Project:
              Considerations from the Library Perspective.. CS-TR-95-1554,
              July 1995
      *  Anderson, J.
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
      *  Anderson, R.
           -  Parallel Approximation Algorithms for Bin Packing.
              CS-TR-88-1200, March 1988
           -  A Programming and Problem-Solving Seminar. CS-TR-85-1072,
              October 1985
           -  A P-complete problem and approximations to it. CS-TR-84-1014,
              September 1984
           -  Parallelism and greedy algorithms. CS-TR-84-1003, April 1984
      *  Anderssen, R.
           -  Richardson's non-stationary matrix iterative procedure..
              CS-TR-72-304, August 1972
      *  Andre, D.
           -  Parallel Genetic Programming on a Network of Transputers.
              CS-TR-95-1542, January 1995
      *  Andree, D.
           -  Computations related to G-stability of linear multistep methods.
              CS-TR-79-738, May 1979
      *  Anuchitanukul, A.
           -  Differential BDDs. CS-TR-94-1525, September 1994
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
      *  Apers, P.
           -  Transaction classification to survive a network partition.
              CS-TR-85-1053, August 1984
      *  Ashcroft, E.
           -  Decidable properties of monadic functional schemas.
              CS-TR-71-217, July 1971
           -  The translation of 'go to' programs to 'while' programs.
              CS-TR-71-188, January 1971
      *  Aspvall, B.
           -  The dinner table problem. CS-TR-80-829, December 1980
           -  A polynomial time algorithm for solving systems of linear
              inequalities with two variables per inequality. CS-TR-79-703,
              January 1979
      *  Augustin, L.
           -  PARTIAL ORDERINGS OF EVENT SETS AND THEIR APPLICATION TO
              PROTOTYPING CONCURRENT TIMED SYSTEMS. CSL-TR-92-515, April 1992
           -  VAL TO VHDL TRANSFORMER: AN IMPLEMENTATION GUIDE. CSL-TR-89-390,
              September 1989
           -  AN OVERVIEW OF VAL. CSL-TR-88-367, October 1988
      *  Avra, L.
           -  Synthesis Techniques for Built-In Self-Testable Designs.
              CSL-TR-94-633, July 1994
           -  A Synthesis-for-Test Design System. CSL-TR-94-622, May 1944
           -  Synthesis for Scan Dependence in Built-In Self-Testable Designs.
              CSL-TR-94-621, May 1994
      *  Banon, J.
           -  Planning the Collision-Free Paths of an Actively Flexible
              Manipulator. CS-TR-94-1532, December 1994
      *  Bar-Noy, A.
           -  Sorting, Minimal Feedback Sets and Hamilton Paths in
              Tournaments. CS-TR-88-1239, December 1988
           -  Square Meshes are not always Optimal. CS-TR-88-1218, August 1988
           -  A Lower Bound for Radio Broadcast. CS-TR-88-1195, February 1988
           -  Processor Renaming in Asynchronous Environments. CS-TR-86-1131,
              September 1986
      *  Baralis, E.
           -  An Algebraic Approach to Rule Analysis in Expert Database
              Systems. CS-TR-94-1504, February 1994
      *  Barbara, D.
           -  Aggressive transmissions over redundant paths for time critical
              messages. CS-TR-92-1431,
      *  Barstow, D.
           -  On program synthesis knowledge. CS-TR-77-639, November 1977
           -  A hypothetical dialogue exhibiting a knowledge base for a
              program-understanding system.. CS-TR-75-476, January 1975
           -  Progress report on program-understanding systems.. CS-TR-74-444,
              August 1974
      *  Bartels, R.
           -  Numerical techniques in mathematical programming. CS-TR-70-162,
              May 1970
      *  Basch, J.
           -  On Diameter Verification and Boolean Matrix Multiplication..
              CS-TR-95-1544, February 1995
      *  Basket, F.
           -  HARDWARE/SOFTWARE TRADEOFFS FOR INCREASED PERFORMANCE.
              CSL-TR-81-228, February 1983
      *  Baskett, F.
           -  MIPS: A VLSI PROCESSOR ARCHITECTURE. CSL-TR-81-223, November
              1981
           -  RESEARCH IN VLSI SYSTEMS DESIGN AND ARCHITECTURE. CSL-TR-81-201,
              March 1981
           -  The A0 inversion model of program paging behavior. CS-TR-76-579,
              November 1976
           -  Open, closed, and mixed networks of queues with different
              classes of customers.. CS-TR-73-360, August 1972
           -  An analysis of drum storage units.. CS-TR-72-317, August 1972
      *  Baudinet, M.
           -  On the Semantics of Temporal Logic Prograrnrning. CS-TR-88-1203,
              June 1988
      *  Bauer, H.
           -  The scheduling of n tasks with m operations on two processors.
              CS-TR-70-165, July 1970
      *  Baumgart, B.
           -  GEOMED - a geometric editor.. CS-TR-74-414, May 1974
           -  Image contouring and comparing.. CS-TR-73-398, October 1973
           -  Winged edge polyhedron representation.. CS-TR-72-320, October
              1972
      *  Bechtolsheim, A.
           -  THE SUN WORKSTATION ARCHITECTURE. CSL-TR-82-229, March 1982
      *  Beck, D.
           -  Automated ambulatory medical record systems in the U.S..
              CS-TR-82-928, August 1982
      *  Beerel, P.
           -  Automatic Synthesis of Gate-Level Speed-Independent Circuits.
              CSL-TR-94-648, December 1994
      *  Beetem, A.
           -  A database approach to communication in VLSI design.
              CS-TR-80-826, October 1980
      *  Bellin, G.
           -  Experiments in Automatic Theorem Proving. CS-TR-87-1155,
              December 1986
      *  Belz, F.
           -  A Rapide-1.0 Definition of the ADAGE Avionics System.
              CSL-TR-93-585, September 1993
           -  PARTIAL ORDERINGS OF EVENT SETS AND THEIR APPLICATION TO
              PROTOTYPING CONCURRENT TIMED SYSTEMS. CSL-TR-92-515, April 1992
      *  Benett, S.
           -  Automated ambulatory medical record systems in the U.S..
              CS-TR-82-928, August 1982
      *  Bennett, J.
           -  Performance Factors for Superscalar Processors. CSL-TR-95-661,
              February 1995
           -  Two Case Studies in Latency Tolerant Architectures.
              CSL-TR-94-639, October 1994
           -  SACON: a knowledge-based consultant for structural analysis.
              CS-TR-78-699, September 1978
      *  Bennett, T.
           -  SPRINT - AN INTERACTIVE SYSTEM FOR PRINTED CIRCUIT BOARD DESIGN
              USER'S GUIDE. CSL-TR-77-143, June 1977
      *  Bentley, J.
           -  A survey of techniques for fixed radius near neighbor
              searching.. CS-TR-75-513, August 1975
      *  Berg, K.
           -  Bibliography of Computer Science reports, 1963-1986.
              CS-TR-86-1085, June 1986
           -  Bibliography of Stanford Computer Science reports, 1963-1983.
              CS-TR-83-962, March 1983
      *  Bergmann, J.
           -  Rationale, Design and Performance of the Hydra Multiprocessor.
              CSL-TR-94-645, November 1994
      *  Bewick, G.
           -  Fast Multiplication: Algorithms and Implementations.
              CSL-TR-94-617, April 1994
           -  Binary multiplication Using Partially Redundant Multiples.
              CSL-TR-92-528, June 1992
      *  Bhadkamkar, N.
           -  SPARSE, DISTRIBUTED MEMORY PROTOTYPE: PRINCIPLES AND OPERATION.
              CSL-TR-89-400, December 1989
      *  Bigelow, C.
           -  A formal approach to lettershape description for type design.
              CS-TR-83-966, May 1983
      *  Binford, T.
           -  Local Shape from Specularity. CS-TR-86-1139, June 1986
           -  On Detecting Edges. CS-TR-86-1130, March 1986
           -  Learning physical description from functional definitions,
              examples and precedents. CS-TR-82-950, January 1983
           -  Final report: Basic Research in Artificial Intelligence and
              Foundations of Programming. CS-TR-80-808, May 1980
           -  Recent research in computer science.. CS-TR-77-624, June 1977
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
           -  After Leibniz...: discussions on philosophy and artificial
              intelligence.. CS-TR-74-411, March 1974
           -  A corner finder for visual feedback.. CS-TR-73-386, August 1973
      *  Bjoerck, A.
           -  Numerical methods for computing angles between linear subspaces.
              CS-TR-71-225, July 1971
      *  Bjorck, A.
           -  Eigenproblems for matrices associated with periodic boundary
              conditions.. CS-TR-75-486, March 1975
      *  Bjorner, N.
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
      *  Bjorstad, P.
           -  Extrapolation of asymptotic expansions by a modified Aitken
              $\delta^2$-formula. CS-TR-79-719, March 1979
      *  Blank, T.
           -  THE ILSP BEHAVIORAL DESCRIPTION LANGUAGE AND ITS GRAPH
              REPRESENTATION FOR BEHAVIORAL SYNTHESIS. CSL-TR-88-350, March
              1988
           -  THOR USER'S MANUAL: LIBRARY FUNCTIONS. CSL-TR-88-349, January
              1988
           -  THOR USER'S MANUAL: TUTORIAL AND COMMANDS. CSL-TR-88-348,
              January 1988
      *  Blount, M.
           -  PARTITIONING OF DIGITAL SYSTEMS. CSL-TR-78-165, April 1979
      *  Blum, M.
           -  Two papers on the selection problem: Time Bounds for Selection
              [by Manual Blum, Robert W. Floyd, Vaughan Pratt, Ronald L.
              Rivest, and Robert E. Tarjan] and Expected Time Bounds for
              Selection [by Robert W. Floyd and Ronald L. Rivest]..
              CS-TR-73-349, April 1973
      *  Blum, R.
           -  Automating the study of clinical hypotheses on a time-oriented
              data base: the RX Project. CS-TR-79-816, November 1979
      *  Bobrow, D.
           -  An overview of KRL, a Knowledge Representation Language.
              CS-TR-76-581, November 1976
      *  Bock, C.
           -  Representing Control Knowledge as Abstract Task and Metarules.
              CS-TR-87-1168, April 1985
      *  Boley, D.
           -  The matrix inverse eigenvalue problem for periodic Jacobi
              matrices. CS-TR-78-684, December 1978
      *  Bollabas, B.
           -  On complete subgraphs of r-chromatic graphs.. CS-TR-75-488,
              April 1975
      *  Bolles, R.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
           -  Verification Vision within a programmable assembly system: an
              introductory discussion.. CS-TR-75-537, December 1975
           -  AL, a programming system for automation.. CS-TR-74-456, November
              1974
           -  The use of sensory feedback in a programmable assembly system..
              CS-TR-73-396, October 1973
      *  Bonnet, A.
           -  Schema-shift strategies to understanding structured texts in
              natural language. CS-TR-79-759, August 1979
           -  BAOBAB, a parser for a rule-based system using a semantic
              grammar. CS-TR-78-668, September 1978
      *  Bonzon, P.
           -  Mathematical Programming Language: an appraisal based on
              practical experiments.. CS-TR-72-267, March 1972
      *  Boor, C.
           -  The numerically stable reconstruction of a Jacobi matrix from
              spectral data. CS-TR-77-602, March 1977
      *  Boute, R.
           -  ADAPTIVE DESIGN METHODS FOR CHECKING SEQUENCES. CSL-TR-72-30,
              July 1972
           -  FAULT EQUIVALENCE IN SEQUENTIAL MACHINES. CSL-TR-71-15, June
              1971
      *  Boyle, P.
           -  ParaDiGM: a highly scalable shared-memory multi-computer
              architecture. CS-TR-90-1344, November 1990
           -  Multi-level shared caching techniques for scalability in VMP-MC.
              CS-TR-89-1266, May 1989
           -  The VMP Multiprocessor: Initial Experience, Refinements and
              Performance Evaluation. CS-TR-88-1197, March 1988
           -  Software-controlled caches in the VMP multiprocessor.
              CS-TR-86-1105, March 1986
      *  Bozorgui-Nesbat, S.
           -  DESIGN FOR AUTONOMOUS TEST. CSL-TR-80-182, June 1981
      *  Brafman, R.
           -  Embedded Teaching of Reinforcement Learners. CS-TR-95-1552, June
              1995
           -  Ascribing Beliefs. CS-TN-94-6,
      *  Bray, B.
           -  STRATEGIES FOR BRANCH TARGET BUFFERS. CSL-TR-91-480, June 1991
           -  WRITES CACHES AS AN ALTERNATIVE TO WRITE BUFFERS. CSL-TR-91-470,
              April 1991
           -  PAGE ALLOCATION TO REDUCE ACCESS TIME OF PHYSICAL CACHES.
              CSL-TR-90-454, November 1990
           -  INTRODUCTORY USER'S GUIDE TO THE ARCHITECT'S WORKBENCH TOOLS.
              CSL-TR-88-355, May 1988
      *  Bredt, T.
           -  HAZARDS IN ASYNCHRONOUS SYSTEMS. CSL-TR-73-52, September 1972
           -  The mutual exclusion problem. CS-TR-70-173, August 1970
           -  Analysis of parallel systems. CS-TR-70-172, August 1970
           -  A survey of models for parallel computing. CS-TR-70-171, August
              1970
           -  Analysis and synthesis of concurrent sequential programs.
              CS-TR-70-170, May 1970
           -  A model for parallel computer systems. CS-TR-70-160, April 1970
      *  Breitbart, Y.
           -  Overview of multidatabase transaction management. CS-TR-92-1432,
      *  Brent, R.
           -  Algorithms for matrix multiplication. CS-TR-70-157, March 1970
      *  Brinkley, J.
           -  A Heuristic Refinement for Spacial Constraint Satisfaction
              Problems. CS-TR-87-1142, January 1987
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
      *  Broder, A.
           -  The r-Stirling numbers. CS-TR-82-949, December 1982
      *  Bronstein, A.
           -  String-Functional Semantics for Formal Verification of
              Synchronous Circuits. CS-TR-88-1210, June 1988
      *  Brown, H.
           -  An Experiment in Knowledge-based Signal Understanding Using
              Parallel Architectures. CS-TR-86-1136, October 1986
           -  Molecular structure elucidation III.. CS-TR-74-469, December
              1974
           -  An algorithm for the construction of the graphs of organic
              molecules.. CS-TR-73-361, May 1973
           -  Constructive graph labeling using double cosets.. CS-TR-72-318,
              October 1972
           -  Some basic machine algorithms for integral order computations..
              CS-TR-72-258, February 1972
      *  Brown, M.
           -  Design and analysis of a data structure for representing sorted
              lists. CS-TR-78-709, December 1978
           -  A fast merging algorithm. CS-TR-77-625, August 1977
      *  Brown, P.
           -  Dynamic program building. CS-TR-81-838, February 1981
      *  Browne, A.
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
      *  Bryan, D.
           -  PARTIAL ORDERINGS OF EVENT SETS AND THEIR APPLICATION TO
              PROTOTYPING CONCURRENT TIMED SYSTEMS. CSL-TR-92-515, April 1992
           -  Design of Run Time Monitors for Concurrent Programs.
              CSL-TR-89-395, October 1989
      *  Bube, K.
           -  $C^m$ convergence of trigonometric interpolants. CS-TR-77-636,
              October 1977
      *  Buchanan, B.
           -  Knowledge Base Refinement by Monitoring Abstract Control
              Knowledge. CS-TR-87-1182, August 1987
           -  On Debugging Rule Sets When Reasoning Under Uncertainty.
              CS-TR-87-1181, May 1987
           -  A Heuristic Refinement for Spacial Constraint Satisfaction
              Problems. CS-TR-87-1142, January 1987
           -  Inductive knowledge acquisition for rule-based expert systems.
              CS-TR-86-1116, October 1985
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
           -  Expert systems: working systems and the research literature.
              CS-TR-86-1094, December 1985
           -  A general reading list for artificial intelligence.
              CS-TR-86-1093, December 1985
           -  Some approaches to knowledge acquisition. CS-TR-85-1076, July
              1985
           -  Expert systems: working systems and the research literature.
              CS-TR-85-1075, October 1985
           -  Partial bibliography of work on expert systems. CS-TR-82-953,
              December 1982
           -  Principles of rule-based expert systems. CS-TR-82-926, August
              1982
           -  Exploration of Teaching and Problem-Solving Strategies,
              1979-1982. CS-TR-82-910, May 1982
           -  Research on expert systems. CS-TR-81-837, March 1981
           -  DENDRAL and Meta-DENDRAL: their applications dimension.
              CS-TR-78-649, February 1978
           -  A model for learning systems. CS-TR-77-605, March 1977
           -  Model-directed learning of production rules. CS-TR-77-597, March
              1977
           -  Analysis of behavior of chemical molecules: rule formation on
              non-homogeneous classes of objects.. CS-TR-73-387, August 1973
           -  Review of Hubert Dreyfus' What Computers Can't Do: a Critique of
              Artificial Reason (Harper & Row, New York, 1972).. CS-TR-72-325,
              November 1972
           -  A heuristic programming study of theory formation in science.
              CS-TR-71-221, July 1971
           -  The Heuristic DENDRAL program for explaining empirical data.
              CS-TR-71-203, February 1971
           -  On generality and problem solving: a case study using the
              DENDRAL program. CS-TR-70-176, August 1970
      *  Buchanan, J.
           -  On automating the construction of programs.. CS-TR-74-433, May
              1974
      *  Buning, H.
           -  Projections of Vector Addition System Reachability Sets are
              Semilinear. CS-TR-88-1199, March 1988
      *  Butakov, E.
           -  DESIGN OF TWO-LEVEL FAULT-TOLERANT NETWORKS FROM THRESHOLD
              ELEMENTS. CSL-TR-77-134, March 1977
      *  Butner, S.
           -  AN EXPONENTIAL FAILURE/LOAD RELATIONSHIP: RESULTS OF A
              MULTI-COMPUTER STATISTICAL STUDY. CSL-TR-81-214, July 1981
      *  Buvac, S.
           -  Formalizing Context (Expanded Notes). CS-TN-94-13, October 1994
      *  Buzbee, B.
           -  The direct solution of the discrete Poisson equation on
              irregular regions. CS-TR-71-195, December 1970
           -  The method of odd/even reduction and factorization with
              application to Poisson's equation, part II. CS-TR-70-155, March
              1970
      *  Byrd, G.
           -  Communication Mechanisms in Shared Memory Multiprocessors.
              CSL-TR-94-623, May 1994
           -  Models of Communication Latency in Shared Memory
              Multiprocessors. CSL-TR-93-596, December 1993
           -  Instrumented Architectural Simulation. CS-TR-87-1189, November
              1987
           -  A Dynamic, Cut-Through Communications Protocol with Multicast.
              CS-TR-87-1178, September 1987
           -  An Instrumented Architectural Simulation System. CS-TR-87-1148,
              January 1987
           -  A Point-to-Point Multicast Communications Protocol.
              CS-TR-87-1146, February 1987
           -  Considerations for Multiprocessor Typologies. CS-TR-87-1144,
              January 1987
      *  Calder, P.
           -  COMPOSING USER INTERFACES WITH INTERVIEWS. CSL-TR-88-369,
              November 1988
           -  INTERVIEWS: A C++ GRAPHICAL INTERFACE TOOLKIT. CSL-TR-88-358,
              July 1988
      *  Cartwright, R.
           -  The logic of aliasing. CS-TR-79-740, September 1979
      *  Casley, R.
           -  A proof editor for propositional temporal logic. CS-TR-86-1109,
              May 1986
      *  Castaneda, F.
           -  PCFORT: a Fortran-to-Pcode translator. CS-TR-79-714, January
              1979
      *  Celoni, J.
           -  Space bounds for a game on graphs. CS-TR-76-545, March 1976
      *  Cerf, V.
           -  Recent research in artificial intelligence, heuristic
              programming, and network protocols.. CS-TR-74-466, July 1974
      *  Ceri, S.
           -  Independent updates and incremental agreement in replicated
              databases. CS-TR-92-1446, October 1992
           -  A classification of update methods for replicated databases.
              CS-TR-91-1392, October 1991
      *  Chalasani, P.
           -  Approximation Algorithms for $k$-Delivery TSP. CS-TN-95-24,
              August 1995
      *  Chan, T.
           -  Updating formulae and a pairwise algorithm for computing sample
              variances. CS-TR-79-773, November 1979
           -  Finite element approximation and iterative solution of a class
              of mildly non-linear elliptic equations. CS-TR-78-674, November
              1978
           -  A numerical library and its support. CS-TR-78-673, November 1978
           -  Control of the dissipativity of Lax-Wendroff type methods for
              first order systems or hyperbolic equations. CS-TR-77-604, March
              1977
           -  On computing the singular value decomposition. CS-TR-77-588,
              February 1977
      *  Chandra, A.
           -  On the power of programming features.. CS-TR-73-333, January
              1973
           -  On the solution of Moser's problem in four dimensions, and
              related issues. A collection of two papers: On the solution of
              Moser's problem in four dimensions and Independent permutations
              as related to a problem of Moser and a theorem of Polya..
              CS-TR-72-286, May 1972
           -  Efficient compilation of linear recursive programs..
              CS-TR-72-282, April 1972
           -  Program schemas with equality. CS-TR-71-250, December 1971
      *  Chandra, R.
           -  COOL: A LANGUAGE FOR PARALLEL PROGRAMMING. CSL-TR-89-396,
              October 1989
      *  Chang, E.
           -  Compositional Verification of Reactive and Real-time Systems .
              CS-TR-94-1522, TYPE:: Thesis
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
           -  A programming and problem solving seminar.. CS-TR-91-1350,
              February 1991
      *  Chang, K.
           -  Rationale, Design and Performance of the Hydra Multiprocessor.
              CSL-TR-94-645, November 1994
      *  Chapiro, D.
           -  Sorting by recursive partitioning. CS-TR-83-994, December 1983
      *  Chatelin, F.
           -  Error bounds in the approximation of eigenvalues of differential
              and integral operators.. CS-TR-75-479, February 1975
      *  Cheriton, D.
           -  Optimized Memory-Based Messaging: Leveraging the Memory System
              for High-Performance Communication. CS-TR-94-1506, February 1994
           -  Using a Position History-Based Protocol for Distributed Object
              Visualization. CS-TR-94-1505, February 1994
           -  Application-controlled physical memory using external page-cache
              management. CS-TR-91-1394, October 1991
           -  ParaDiGM: a highly scalable shared-memory multi-computer
              architecture. CS-TR-90-1344, November 1990
           -  Leases: an efficient fault-tolerant mechanism for distributed
              file cache consistency.. CS-TR-90-1298, January 1990
           -  Sirpent[TM]: a high-performance internetworking approach.
              CS-TR-89-1273, July 1989
           -  Multi-level shared caching techniques for scalability in VMP-MC.
              CS-TR-89-1266, May 1989
           -  The VMP Multiprocessor: Initial Experience, Refinements and
              Performance Evaluation. CS-TR-88-1197, March 1988
           -  Blazenet: A Photonic Implementable Wide-Area Network.
              CS-TR-87-1185, December 1987
           -  Log Files: An Extended File Service Exploiting Write-Once
              Storage. CS-TR-87-1177, August 1987
           -  UIO: A Uniform I/O System Interface for Distributed Systems.
              CS-TR-86-1134, November 1986
           -  Software-controlled caches in the VMP multiprocessor.
              CS-TR-86-1105, March 1986
           -  Preemptable remote execution facilities for the V-system.
              CS-TR-85-1087, September 1985
           -  Host groups: a multicast extension for datagram internetworks.
              CS-TR-85-1058, July 1985
           -  The distributed V kernel and its performance for diskless
              workstations. CS-TR-83-973, July 1983
      *  Cherkassky, B.
           -  On Implementing Push-Relabel Method for the Maximum Flow
              Problem. CS-TR-94-1523, September 1994
      *  Chestek, R.
           -  A model for learning systems. CS-TR-77-605, March 1977
      *  Chewning, D.
           -  HAZARDS IN ASYNCHRONOUS SYSTEMS. CSL-TR-73-52, September 1972
      *  Choi, K.
           -  THOR USER'S MANUAL: LIBRARY FUNCTIONS. CSL-TR-88-349, January
              1988
           -  THOR USER'S MANUAL: TUTORIAL AND COMMANDS. CSL-TR-88-348,
              January 1988
      *  Chow, F.
           -  UFORT: A FORTRAN-TO-UNIVERSAL PCODE TRANSLATOR (FIXFOR-2).
              CSL-TR-79-168, January 1980
           -  PCFORT: a Fortran-to-Pcode translator. CS-TR-79-714, January
              1979
      *  Chow, P.
           -  MIPS-X: THE EXTERNAL INTERFACE. CSL-TR-87-339, November 1987
           -  MIPS-X INSTRUCTION SET AND PROGRAMMER'S MANUAL. CSL-TR-86-289,
              May 1986
      *  Chvatal, V.
           -  Determining the stability number of a graph. CS-TR-76-583,
              December 1976
           -  Aggregation of inequalities in integer programming..
              CS-TR-75-518, August 1975
           -  Distances in orientations of graphs.. CS-TR-75-517, August 1975
           -  Some linear programming aspects of combinatorics.. CS-TR-75-505,
              September 1975
           -  Longest common subsequences of two random sequences..
              CS-TR-75-477, January 1975
           -  Selected combinatorial research problems.. CS-TR-72-292, June
              1972
           -  Edmonds polyhedra and a hierarchy of combinatorial problems..
              CS-TR-72-284, May 1972
           -  Chromatic automorphisms of graphs.. CS-TR-72-273, March 1972
           -  Degrees and matchings.. CS-TR-72-268, March 1972
           -  Edmonds polyhedra and weakly hamiltonian graphs.. CS-TR-72-256,
              January 1972
      *  Clancey, W.
           -  The Knowledge Engineer as Student: Metacognitive bases for
              asking good questions. CS-TR-87-1183, January 1987
           -  Intelligent Tutoring Systerns: A Tutorial Survey. CS-TR-87-1174,
              September 1986
           -  Review of Winograd and Flores' Understanding Computers and
              Cognition. CS-TR-87-1173, July 1986
           -  Viewing Knowledge Bases as Qualitative Models. CS-TR-87-1170,
              May 1986
           -  Representing Control Knowledge as Abstract Task and Metarules.
              CS-TR-87-1168, April 1985
           -  GUIDON-WATCH: a graphic interface for viewing a knowledge-based
              system. CS-TR-85-1068, August 1985
           -  Acquiring, representing, and evaluating a competence model of
              diagnostic strategy. CS-TR-85-1067, August 1985
           -  Heuristic classification. CS-TR-85-1066, June 1985
           -  Review of Sowa's "Conceptual Structures". CS-TR-85-1065, March
              1985
           -  Classification problem solving. CS-TR-84-1018, July 1984
           -  Strategic explanations for a diagnostic consultation system.
              CS-TR-83-996, November 1983
           -  The advantages of abstract control knowledge in expert system
              design. CS-TR-83-995, November 1983
           -  Exploration of Teaching and Problem-Solving Strategies,
              1979-1982. CS-TR-82-910, May 1982
           -  Plan recognition strategies in student modeling: prediction and
              description. CS-TR-82-909, May 1982
           -  Neomycin: reconfiguring a rule-based expert system for
              application to teaching. CS-TR-82-908, May 1982
           -  The epistemology of a rule-based expert system: a framework for
              explanation. CS-TR-81-896, November 1981
           -  Methodology for building an intelligent tutoring system.
              CS-TR-81-894, October 1981
           -  Explanation capabilities of production-based consultation
              systems. CS-TR-77-593, February 1977
      *  Clancy, M.
           -  A programming and problem-solving seminar. CS-TR-77-606, April
              1977
      *  Clark, J.
           -  YALE USER'S GUIDE: A SILT-BASED LAYOUT EDITOR. CSL-TR-82-233,
              October 1982
           -  SILT: A VLSI DESIGN LANGUAGE. CSL-TR-81-226, October 1982
           -  PARAMETRIC CURVES, SURFACES AND VOLUMES IN COMPUTER GRAPHICS AND
              COMPUTER-AIDED GEOMETRIC DESIGN. CSL-TR-81-221, November 1981
           -  RESEARCH IN VLSI SYSTEMS DESIGN AND ARCHITECTURE. CSL-TR-81-201,
              March 1981
      *  Clegg, F.
           -  THE SPOOF: A NEW TECHNIQUE FOR ANALYZING THE EFFECTS OF FAULTS
              ON LOGIC NETWORKS. CSL-TR-70-11, August 1970
      *  Cohn, E.
           -  Beta Operations: Efficient Implementation of a Primitive
              Parallel Operation. CS-TR-86-1129, August 1986
      *  Colby, K.
           -  The interaction of inferences, affects, and intentions, in a
              model of paranoia.. CS-TR-74-471, December 1974
           -  Ten criticisms of PARRY.. CS-TR-74-457, September 1974
           -  Pattern-matching rules for the recognition of natural language
              dialogue expressions.. CS-TR-74-431, June 1974
           -  Multidimensional analysis in evaluating a simulation of paranoid
              thought.. CS-TR-73-347, May 1973
           -  The rationale for computer based treatment of language
              difficulties in nonspeaking autistic children.. CS-TR-73-346,
              March 1973
           -  Can expert judges, using transcripts of teletyped psychiatric
              interviews, distinguish human paranoid patients from a computer
              simulation of paranoid processes?. CS-TR-72-326, December 1972
           -  A resemblance test for the validation of a computer simulation
              of paranoid processes. CS-TR-71-246, November 1971
      *  Collins, G.
           -  The minimum root separation of a polynomial.. CS-TR-73-345,
              April 1973
           -  The computing time of the Euclidean algorithm.. CS-TR-73-331,
              January 1973
      *  Colon, M.
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
      *  Concus, P.
           -  Numerical solution of nonlinear elliptic partial differential
              equations by a generalized conjugate gradient method.
              CS-TR-76-585, December 1976
           -  A generalized conjugate gradient method for nonsymmetric systems
              of linear equations. CS-TR-76-535, January 1976
           -  A generalized conjugate gradient method for the numerical
              solution of elliptic partial differential equations.
              CS-TR-76-533, January 1976
           -  Use of fast direct methods for the efficient numerical solution
              of nonseparable elliptic equations.. CS-TR-72-278, April 1972
      *  Cornelius, C.
           -  A Heuristic Refinement for Spacial Constraint Satisfaction
              Problems. CS-TR-87-1142, January 1987
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
      *  Cornell, P.
           -  A Rapide-1.0 Definition of the ADAGE Avionics System.
              CSL-TR-93-585, September 1993
      *  Cory, W.
           -  SYNDIA USER'S GUIDE. CSL-TR-79-176, August 1979
           -  DDL-P COMMAND LANGUAGE MANUAL. CSL-TR-78-164, March 1979
           -  AN INTRODUCTION TO THE DDL-P LANGUAGE. CSL-TR-78-163, March 1979
      *  Cottle, R.
           -  On the solution of large, structured linear complementarity
              problems: III.. CS-TR-74-439, August 1974
      *  Coughran, W.
           -  A numerical library and its support. CS-TR-78-673, November 1978
      *  Crane, R.
           -  ASYNCHRONOUS SERIAL INTERFACE FOR CONNECTING A PDP-11 TO THE
              ARPANET (BBN 1822). CSL-TR-76-116, July 1976
      *  Creary, L.
           -  SACON: a knowledge-based consultant for structural analysis.
              CS-TR-78-699, September 1978
      *  Cuderman, K.
           -  THE RELATIVE EFFECTS OF OPTIMIZATION ON INSTRUCTION ARCHITECTURE
              PERFORMANCE. CSL-TR-89-398, October 1989
           -  INTRODUCTORY USER'S GUIDE TO THE ARCHITECT'S WORKBENCH TOOLS.
              CSL-TR-88-355, May 1988
      *  Curless, B.
           -  Better Optical Triangulation through Spacetime Analysis.
              CSL-TR-95-667, April 1995
      *  Dabija, V.
           -  DECIDING WHETHER TO PLAN TO REACT. CS-TR-94-1503, February 1994
      *  Dageforde, M.
           -  MAINSAIL implementation overview. CS-TR-80-792, March 1980
      *  Dahlquist, G.
           -  Computations related to G-stability of linear multistep methods.
              CS-TR-79-738, May 1979
           -  Extrapolation of asymptotic expansions by a modified Aitken
              $\delta^2$-formula. CS-TR-79-719, March 1979
           -  On accuracy and unconditional stability of linear multistep
              methods for second order differential equations. CS-TR-78-655,
              April 1978
      *  Dalal, Y.
           -  A DISTRIBUTED ALGORITHM FOR CONSTRUCTING MINIMAL SPANNING TREES
              IN COMPUTER-COMMUNICATION NETWORKS. CSL-TR-76-111, June 1976
      *  Damiani, M.
           -  Synthesis and Optimization of Synchronous Logic Circuits.
              CSL-TR-94-626, June 1994
           -  Optimization of Combinational Logic Circuits Based on Compatible
              Gates. CSL-TR-93-584, June 1993
      *  Dantzig, G.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
           -  On a model for computing round-off error of a sum. CS-TR-70-156,
              March 1970
      *  Danvy, O.
           -  Proceedings of the ACM SIGPLAN Workshop on Continuations CW92.
              CS-TR-92-1426,
      *  Davies, B.
           -  CAREL: A Visible Distributed Lisp. CS-TR-86-1126, March 1986
      *  Davies, P.
           -  Mable: A Technique for Efficient Machine Simulation.
              CSL-TR-94-636, October 1994
      *  Davis, H.
           -  Tango: A Multiprocessor Simulation and Tracing System.
              CSL-TR-90-439, July 1990
           -  TANGO INTRODUCTION AND TUTORIAL. CSL-TR-90-410, January 1990
      *  Davis, R.
           -  Explanation capabilities of production-based consultation
              systems. CS-TR-77-593, February 1977
           -  Stanford Computer Science Department research report..
              CS-TR-76-405, January 1976
           -  Stanford Computer Science Department research report..
              CS-TR-74-405, January 1974
      *  Davis, T.
           -  YALE USER'S GUIDE: A SILT-BASED LAYOUT EDITOR. CSL-TR-82-233,
              October 1982
           -  SILT: A VLSI DESIGN LANGUAGE. CSL-TR-81-226, October 1982
      *  Davison, J.
           -  THE COMPLEXITY OF CONTROL STRUCTURES AND PROGRAM VALIDATION.
              CSL-TR-75-92, May 1975
      *  De M.
           -  Automatic Technology Mapping for Generalized Fundamental-Mode
              Asynchronous Designs. CSL-TR-93-580, June 1993
           -  Spectral Techniques for Technology Mapping. CSL-TR-91-498,
      *  Deering, S.
           -  Multicast Routing in Internetworks and Extended LANs.
              CS-TR-88-1214, June 1988
           -  Host groups: a multicast extension for datagram internetworks.
              CS-TR-85-1058, July 1985
      *  Delagi, B.
           -  Communication Mechanisms in Shared Memory Multiprocessors.
              CSL-TR-94-623, May 1994
           -  Design and Validation of Update-Based Cache Coherence Protocols.
              CSL-TR-94-613, March 1994
           -  Update-Based Cache Coherence Protocols for Scalable
              Shared-Memory Multiprocessors. CSL-TR-93-588, November 1993
           -  Instrumented Architectural Simulation. CS-TR-87-1189, November
              1987
           -  A Dynamic, Cut-Through Communications Protocol with Multicast.
              CS-TR-87-1178, September 1987
           -  An Instrumented Architectural Simulation System. CS-TR-87-1148,
              January 1987
           -  A Point-to-Point Multicast Communications Protocol.
              CS-TR-87-1146, February 1987
           -  Considerations for Multiprocessor Typologies. CS-TR-87-1144,
              January 1987
           -  An Experiment in Knowledge-based Signal Understanding Using
              Parallel Architectures. CS-TR-86-1136, October 1986
      *  Demetrescu, S.
           -  HIGH SPEED IMAGE RASTERIZATION USING A HIGHLY PARALLEL SMART
              BULK MEMORY. CSL-TR-83-244, June 1983
      *  Dent, W.
           -  Computation of the limited information maximum likelihood
              estimator.. CS-TR-73-339, February 1973
      *  Dershowitz, N.
           -  Proving termination and multiset orderings. CS-TR-78-651, March
              1978
           -  Inference rules for program annotation. CS-TR-77-631, October
              1977
           -  The evolution of programs: a system for automatic program
              modification. CS-TR-76-586, December 1976
      *  Devarajan, H.
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
      *  Diaconis, P.
           -  The analysis of sequential experiments with feedback to
              subjects. CS-TR-79-775, November 1979
      *  Diaz-Barriga, A.
           -  Proceedings from the Nineteenth Annual Meeting of the Stanford
              Computer Forum. CS-TR-87-1149, February 1987
      *  Dill, D.
           -  Automatic Technology Mapping for Generalized Fundamental-Mode
              Asynchronous Designs. CSL-TR-93-580, June 1993
           -  SPECIFICATION AND AUTOMATIC VERIFICATION OF SELF-TIMED QUEUES.
              CSL-TR-89-387, August 1989
      *  Dolev, D.
           -  On linear area embedding of planar graphs. CS-TR-81-876,
              September 1981
           -  On the security of public key protocols. CS-TR-81-854, May 1981
           -  The Byzantine Generals strike again. CS-TR-81-846, March 1981
           -  Scheduling wide graphs. CS-TR-80-832, December 1980
           -  Path-regular graphs. CS-TR-80-807, June 1980
      *  Dorr, F.
           -  The direct solution of the discrete Poisson equation on
              irregular regions. CS-TR-71-195, December 1970
      *  Drakopoulos, J.
           -  Theory and Design of a Hybrid Pattern Recognition System.
              CS-TR-95-1550, May 1995
      *  Dubey, P.
           -  BRANCH STRATEGIES: MODELING AND OPTIMIZATION. CSL-TR-90-411,
              February 1990
      *  Dubost, P.
           -  Software implementation of a new method of combinatorial
              hashing.. CS-TR-75-511, September 1975
      *  Duda, R.
           -  Principles of rule-based expert systems. CS-TR-82-926, August
              1982
      *  Duley, J.
           -  DDL-P COMMAND LANGUAGE MANUAL. CSL-TR-78-164, March 1979
           -  AN INTRODUCTION TO THE DDL-P LANGUAGE. CSL-TR-78-163, March 1979
      *  Duncan, B.
           -  A Heuristic Refinement for Spacial Constraint Satisfaction
              Problems. CS-TR-87-1142, January 1987
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
      *  Dutton, R.
           -  SUBNANOSECOND ARITHMETIC (Second Report). CSL-TR-91-481, June
              1991
           -  SUB-NANOSECOND ARITHMETIC. CSL-TR-90-428, May 1990
      *  Dwork, C.
           -  Time-lapse snapshots. CS-TR-92-1423,
      *  Earnest, L.
           -  Final report: Basic Research in Artificial Intelligence and
              Foundations of Programming. CS-TR-80-808, May 1980
           -  Recent research in computer science.. CS-TR-77-624, June 1977
           -  Recent research in artificial intelligence, heuristic
              programming, and network protocols.. CS-TR-74-466, July 1974
           -  Final report: the first ten years of artificial intelligence
              research at Stanford.. CS-TR-74-409, July 1973
      *  Edighoffer, J.
           -  Towards a universal directory service. CS-TR-85-1086, August
              1985
           -  Taliesin: a distributed bulletin board system. CS-TR-85-1084,
              September 1985
      *  Egar, J.
           -  Construction of Normative Decision Models Using Abstract Graph
              Grammars. CS-TR-94-1513,
      *  Eisenstat, S.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
      *  El-Masri, R.
           -  A structural model for database systems. CS-TR-79-722, February
              1979
      *  Elschlager, R.
           -  Progress report on program-understanding systems.. CS-TR-74-444,
              August 1974
      *  Enea, H.
           -  MLISP2.. CS-TR-73-356, May 1973
      *  Engelmore, R.
           -  SACON: a knowledge-based consultant for structural analysis.
              CS-TR-78-699, September 1978
           -  A knowledge-based system for the interpretation of protein x-ray
              crystallographic data. CS-TR-77-589, February 1977
      *  Erdoes, P.
           -  On sparse graphs with dense long paths.. CS-TR-75-504, September
              1975
           -  On complete subgraphs of r-chromatic graphs.. CS-TR-75-488,
              April 1975
           -  On multiplicative representations of integers.. CS-TR-75-485,
              March 1975
           -  On packing squares with equal squares.. CS-TR-75-483, March 1975
      *  Erlichson, A.
           -  The Benefits of Clustering in Shared Address Space
              Multiprocessors: An Applications-Driven Investigation.
              CSL-TR-94-632, October 1994
      *  Eross, B.
           -  Computer interactive picture processing.. CS-TR-72-281, April
              1972
      *  Ershov, A.
           -  Parallel programming. CS-TR-71-224, July 1971
      *  Eve, J.
           -  On computing the transitive closure of a relation..
              CS-TR-75-508, September 1975
      *  Faculty, T.
           -  RESEARCH IN THE DIGITAL SYSTEMS LABORATORY. CSL-TR-76-123, June
              1976
      *  Fagan, L.
           -  Expert systems research: modeling the medical decision making
              process. CS-TR-82-932, September 1982
      *  Fallat, R.
           -  PUFF: an expert system for interpretation of pulmonary function
              data. CS-TR-82-931, September 1982
      *  Farwell, W.
           -  An Experimental Chip to Evaluate Test Techniques Part 1:
              Description of Experiment. CSL-TR-94-625, June 1994
      *  Faught, W.
           -  The interaction of inferences, affects, and intentions, in a
              model of paranoia.. CS-TR-74-471, December 1974
           -  Pattern-matching rules for the recognition of natural language
              dialogue expressions.. CS-TR-74-431, June 1974
      *  Feder, T.
           -  The benefits of relaxing punctuality. CS-TR-91-1359, May 1991
           -  Toetjes. CS-TR-88-1208, June 1988
      *  Feigenbaum, E.
           -  DENDRAL and Meta-DENDRAL: their applications dimension.
              CS-TR-78-649, February 1978
           -  The art of artificial intelligence: I. Themes and case studies
              of knowledge engineering. CS-TR-77-621, August 1977
           -  Recent research in artificial intelligence, heuristic
              programming, and network protocols.. CS-TR-74-466, July 1974
           -  Final report: the first ten years of artificial intelligence
              research at Stanford.. CS-TR-74-409, July 1973
           -  A heuristic programming study of theory formation in science.
              CS-TR-71-221, July 1971
           -  Project technical report. CS-TR-71-209, March 1971
           -  On generality and problem solving: a case study using the
              DENDRAL program. CS-TR-70-176, August 1970
      *  Feldman, J.
           -  AL, a programming system for automation.. CS-TR-74-456, November
              1974
           -  Recent developments in SAIL, an algol-based language for
              artificial intelligence.. CS-TR-72-308, November 1972
           -  Automatic programming.. CS-TR-72-255, February 1972
           -  Total complexity and the inference of best programs..
              CS-TR-72-253, April 1972
      *  Filman, R.
           -  An FOL primer. CS-TR-76-572, September 1976
      *  Finger, J.
           -  RESIDUE: a deductive approach to design synthesis.
              CS-TR-85-1035, January 1985
      *  Finkel, R.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
           -  AL, a programming system for automation.. CS-TR-74-456, November
              1974
      *  Finlayson, R.
           -  EDT - A SYNTAX-BASED PROGRAM EDITOR REFERENCE MANUAL.
              CSL-TR-83-245, July 1983
           -  Log Files: An Extended File Service Exploiting Write-Once
              Storage. CS-TR-87-1177, August 1987
      *  Fischer, B.
           -  Chebyshev polynomials are not always optimal. CS-TR-89-1264,
              June 1989
      *  Fischer, C.
           -  INSTRUCTION SELECTION BY ATTRIBUTED PARSING. CSL-TR-84-256,
              February 1984
           -  AUTOMATIC COMPILER CODE GENERATION. CSL-TR-81-225, November 1981
      *  Fischer, T.
           -  Approximating matchings in parallel. CS-TR-91-1369, June 1991
      *  Floyd, R.
           -  Addition machines. CS-TR-89-1268, July 1989
           -  Two papers on the selection problem: Time Bounds for Selection
              [by Manual Blum, Robert W. Floyd, Vaughan Pratt, Ronald L.
              Rivest, and Robert E. Tarjan] and Expected Time Bounds for
              Selection [by Robert W. Floyd and Ronald L. Rivest]..
              CS-TR-73-349, April 1973
      *  Flynn, J.
           -  SUBNANOSECOND ARITHMETIC (Second Report). CSL-TR-91-481, June
              1991
      *  Flynn, M.
           -  An Analysis of Division Algorithms and Implementations.
              CSL-TR-95-675, July 1995
           -  Delay Models for CMOS Circuits. CSL-TR-95-672, June 1995
           -  Architecture Evaluator's Work Bench and its Application to
              Microprocessor Floating Point Units. CSL-TR-95-668, June 1995
           -  ON DIVISION AND RECIPROCAL CACHES. CSL-TR-95-666, April 1995
           -  Limits of Scaling MOSFETs. CSL-TR-95-662, January 1995
           -  Performance Factors for Superscalar Processors. CSL-TR-95-661,
              February 1995
           -  Multipliers and Datapaths. CSL-TR-94-654, December 1994
           -  Design Issues in Floating-Point Division. CSL-TR-94-647,
              December 1994
           -  Two Case Studies in Latency Tolerant Architectures.
              CSL-TR-94-639, October 1994
           -  A Performance/Area Workbench for Cache Memory Design.
              CSL-TR-94-635, August 1994
           -  Communication Mechanisms in Shared Memory Multiprocessors.
              CSL-TR-94-623, May 1994
           -  Design and Validation of Update-Based Cache Coherence Protocols.
              CSL-TR-94-613, March 1994
           -  Performance and Area Analysis of Processor Configurations with
              Scaling of Technology. CSL-TR-94-605, March 1994
           -  Environmental Limits on the Performance of CMOS Wave-Pipelined
              Circuits. CSL-TR-94-600, January 1994
           -  The Design and Implementation of a High-Performance
              Floating-Point Divider. CSL-TR-94-599, January 1994
           -  Update-Based Cache Coherence Protocols for Scalable
              Shared-Memory Multiprocessors. CSL-TR-93-588, November 1993
           -  Binary multiplication Using Partially Redundant Multiples.
              CSL-TR-92-528, June 1992
           -  Paging Performance with Page Coloring.. CSL-TR-91-492, October
              1991
           -  SUGGESTIONS FOR IMPLEMENTING A FAST IEEE MULTIPLY-ADD-FUSED
              INSTRUCTION. CSL-TR-91-483, July 1991
           -  STRATEGIES FOR BRANCH TARGET BUFFERS. CSL-TR-91-480, June 1991
           -  WRITES CACHES AS AN ALTERNATIVE TO WRITE BUFFERS. CSL-TR-91-470,
              April 1991
           -  Leading One Detection --- Implementation, Generalization, and
              Application. CSL-TR-91-463, March 1991
           -  ON FAST IEEE ROUNDING. CSL-TR-91-459, January 1991
           -  PAGE ALLOCATION TO REDUCE ACCESS TIME OF PHYSICAL CACHES.
              CSL-TR-90-454, November 1990
           -  A QUEUING ANALYSIS FOR DISK ARRAY SYSTEMS. CSL-TR-90-443, August
              1990
           -  AN IMPROVED FLOATING-POINT ADDITION ALGORITHM. CSL-TR-90-442,
              August 1990
           -  SUB-NANOSECOND ARITHMETIC. CSL-TR-90-428, May 1990
           -  A VLSI ARCHITECTURE FOR THE FCHC ISOMETRIC LATTICE GAS MODEL.
              CSL-TR-90-426, April 1990
           -  HIGH-SPEED ADDITION IN CMOS. CSL-TR-90-415, February 1990
           -  AN AREA-UTILITY MODEL FOR ON-CHIP MEMORIES AND ITS APPLICATION.
              CSL-TR-90-413, February 1990
           -  BRANCH STRATEGIES: MODELING AND OPTIMIZATION. CSL-TR-90-411,
              February 1990
           -  SPARSE, DISTRIBUTED MEMORY PROTOTYPE: PRINCIPLES AND OPERATION.
              CSL-TR-89-400, December 1989
           -  THE RELATIVE EFFECTS OF OPTIMIZATION ON INSTRUCTION ARCHITECTURE
              PERFORMANCE. CSL-TR-89-398, October 1989
           -  SPARSE DISTRIBUTED MEMORY PROTOTYPE: ADDRESS MODULE HARDWARE
              GUIDE. CSL-TR-88-373, December 1988
           -  DESIGN OF TESTBED AND EMULATION TOOLS. CSL-TR-87-337, October
              1987
           -  DESIGN OF TESTBED AND EMULATION TOOLS. CSL-TR-86-309, September
              1986
           -  A THEORY OF INTERPRETIVE ARCHITECTURES: SOME NOTES ON DEL DESIGN
              AND A FORTRAN CASE STUDY. CSL-TR-79-171, February 1979
           -  INTERPRETIVE ARCHITECTURES: A THEORY OF IDEAL LANGUAGE MACHINES.
              CSL-TR-79-170, February 1979
           -  THE STRUCTURE OF DIRECTLY EXECUTED LANGUAGES: A NEW THEORY OF
              INTERPRETIVE SYSTEM DESIGN. CSL-TR-77-130, March 1977
           -  THE STANFORD EMULATION LABORATORY. CSL-TR-76-118, June 1976
      *  Forsythe, G.
           -  Von Neumann's comparison method for random sampling from the
              normal and other distributions.. CS-TR-72-254, January 1972
           -  Variational study of nonlinear spline curves. CS-TR-71-229,
              August 1971
           -  Research in the Computer Science Department and selected other
              research in computing at Stanford University. CS-TR-70-178,
              October 1970
           -  "On the Properties of the Derivatives of the Solutions of
              Laplace's Equation and the Errors of the Method of Finite
              Differences for Boundary Values in $C_2$ and $C_{1,1}$" by E. A.
              Volkov. CS-TR-70-151, January 1970
           -  Pitfalls in computation, or why a math book isn't enough.
              CS-TR-70-147, January 1970
      *  Fraley, C.
           -  Software Performance on Nonlinear Least-Squares Problems.
              CS-TR-89-1244, January 1989
      *  Franco, P.
           -  Testing Digital Circuits for Timing Failures by Output Waveform
              Analysis. CSL-TR-94-637, September 1994
           -  An Experimental Chip to Evaluate Test Techniques Part 1:
              Description of Experiment. CSL-TR-94-625, June 1994
           -  WSIM: A Symbolic Waveform Simulator. CSL-TR-94-624, June 1994
      *  French, R.
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
      *  Freund, R.
           -  Chebyshev polynomials are not always optimal. CS-TR-89-1264,
              June 1989
      *  Friedman, J.
           -  Multidimensional additive spline approximation. CS-TR-80-799,
              May 1980
      *  Fu, L.
           -  Inductive knowledge acquisition for rule-based expert systems.
              CS-TR-86-1116, October 1985
      *  Fu, P.
           -  CONSISTENCY IN INTERPROCESSOR COMMUNICATIONS FOR FAULT-TOLERANT
              MULTIPROCESSORS. CSL-TR-81-219, September 1981
      *  Fu, S.
           -  Architecture Evaluator's Work Bench and its Application to
              Microprocessor Floating Point Units. CSL-TR-95-668, June 1995
           -  Performance and Area Analysis of Processor Configurations with
              Scaling of Technology. CSL-TR-94-605, March 1994
      *  Fuller, S.
           -  Random arrivals and MTPT disk scheduling disciplines..
              CS-TR-73-353, August 1972
           -  The expected difference between the SLTF and MTPT drum
              scheduling disciplines (digest edition).. CS-TR-73-352, August
              1972
           -  Performance of an I/O channel with multiple paging drums (digest
              edition).. CS-TR-73-351, August 1972
           -  An analysis of drum storage units.. CS-TR-72-317, August 1972
      *  Gabow, H.
           -  An efficient implementation of Edmonds' maximum matching
              algorithm.. CS-TR-72-328, June 1972
      *  Gabriel, R.
           -  Queue-based multi-processing Lisp. CS-TR-84-1007, June 1984
      *  Gacs, P.
           -  Causal nets or what is a deterministic computation.
              CS-TR-80-768, October 1980
           -  Relation between the complexity and the probability of large
              numbers. CS-TR-79-765, September 1979
      *  Gafford, T.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
      *  Gafni, E.
           -  On Separat1ng the EREW and CREW PRAM Models. CS-TR-88-1240,
              December 1988
      *  Galbiati, L.
           -  A simplifier for untyped lambda expressions. CS-TR-90-1337,
              October 1990
      *  Ganapathi, M.
           -  INTERPROCEDURAL ANALYSIS USELESS FOR CODE OPTIMIZATION.
              CSL-TR-87-342, November 1987
           -  REVERSE SYNTHESIS COMPILATION FOR ARCHITECTURAL RESEARCH.
              CSL-TR-84-257, March 1984
           -  INSTRUCTION SELECTION BY ATTRIBUTED PARSING. CSL-TR-84-256,
              February 1984
           -  AUTOMATIC COMPILER CODE GENERATION. CSL-TR-81-225, November 1981
      *  Gander, W.
           -  On the linear least squares problem with a quadratic constraint.
              CS-TR-78-697, November 1978
      *  Garcia-Molina, H.
           -  Index Structures for Information Filtering Under the Vector
              Space Model. CS-TR-93-1494,
           -  Subtask Deadline Assignment for Complex Distributed Soft
              Real-Time Tasks. CS-TR-93-1491,
           -  Deadline assignment in a distributed soft real-time system.
              CS-TR-92-1452, October 1992
           -  Overview of multidatabase transaction management. CS-TR-92-1432,
           -  Aggressive transmissions over redundant paths for time critical
              messages. CS-TR-92-1431,
           -  Read-only transactions in a distributed database. CS-TR-80-797,
              April 1980
           -  Comparing Very Large Database Snapshots. CS-TN-95-27, May 1995
           -  Generalizing GlOSS to Vector-Space Databases and Broker
              Hierarchies. CS-TN-95-21, April 1995
           -  Emulating Soft Real-Time Scheduling Using Traditional Operating
              System Schedulers. CS-TN-94-8,
           -  Precision and Recall of GlOSS Estimators for Database Discovery.
              CS-TN-94-10,
           -  The Efficacy of GlOSS for the Text Database Discovery Problem.
              CS-TN-93-2,
           -  Incremental Updates of Inverted Lists for Text Document
              Retrieval. CS-TN-93-1,
      *  Garvey, A.
           -  A Layered Environment for Reasoning about Action. CS-TR-87-1147,
              November 1986
      *  Gawlick, R.
           -  Routing and Admission Control in General Topology Networks.
              CS-TR-95-1548, May 1995
      *  Genesereth, M.
           -  Expressiveness and language choice. CS-TR-85-1037, January 1985
           -  RESIDUE: a deductive approach to design synthesis.
              CS-TR-85-1035, January 1985
           -  Solving the Prisoner's Dilemma. CS-TR-84-1032, November 1984
      *  Gennart, B.
           -  EVENT PATTERNS: A LANGUAGE CONSTRUCT FOR HIERARCHICAL DESIGNS OF
              CONCURRENT SYSTEMS. CSL-TR-90-453, November 1990
           -  VAL TO VHDL TRANSFORMER: AN IMPLEMENTATION GUIDE. CSL-TR-89-390,
              September 1989
           -  AN OVERVIEW OF VAL. CSL-TR-88-367, October 1988
      *  George, J.
           -  SIMPLE: a simple precedence translator writing system.
              CS-TR-71-226, July 1971
           -  The direct solution of the discrete Poisson equation on
              irregular regions. CS-TR-71-195, December 1970
           -  The use of direct methods for the solution of the discrete
              Poisson equation on non-rectangular regions. CS-TR-70-159, June
              1970
      *  Georgeff, M.
           -  A framework for control in production systems. CS-TR-79-716,
              January 1979
      *  Gerbaux, L.
           -  A Synthesis-for-Test Design System. CSL-TR-94-622, May 1944
      *  German, S.
           -  An extended semantic definition of Pascal for proving the
              absence of common runtime errors. CS-TR-80-811, June 1980
           -  Stanford Pascal Verifier user manual. CS-TR-79-731, March 1979
      *  Gharachorloo, K.
           -  Integrating multiple communication paradigms in high performance
              multiprocessors. CSL-TR-94-604, February 1994
      *  Ghosh, P.
           -  A formal approach to lettershape description for type design.
              CS-TR-83-966, May 1983
           -  An approach to type design and text composition in Indian
              scripts. CS-TR-83-965, April 1983
      *  Ghosh, S.
           -  FAULT SIMULATION USING ADLIB-SABLE. CSL-TR-83-242, March 1983
      *  Gilbert, J.
           -  Variations of a pebble game on graphs. CS-TR-78-661, September
              1978
      *  Gill, J.
           -  HARDWARE/SOFTWARE TRADEOFFS FOR INCREASED PERFORMANCE.
              CSL-TR-81-228, February 1983
           -  MIPS: A VLSI PROCESSOR ARCHITECTURE. CSL-TR-81-223, November
              1981
      *  Gill, P.
           -  Methods for modifying matrix factorizations.. CS-TR-72-322,
              November 1972
      *  Ginsberg, M.
           -  Solving the Prisoner's Dilemma. CS-TR-84-1032, November 1984
      *  Giomi, J.
           -  A Synthesis-for-Test Design System. CSL-TR-94-622, May 1944
      *  Gips, J.
           -  A construction for the inverse of a Turing machine..
              CS-TR-73-390, August 1973
           -  Aesthetics systems.. CS-TR-73-337, January 1973
      *  Giunchigliam, F.
           -  Reasoning Theories: Towards an Architecture for Open Mechanized
              Reasoning Systems. CS-TN-94-15, December 1994
      *  Glabbeek, R.
           -  Reactive, Generative and Stratified Models of Probabilistic
              Processes. CS-TR-94-1517, July 1994
           -  Ntyft/ntyxt Rules Reduce to Ntree Rules. CS-TN-95-17, February
              1995
           -  The Meaning of Negative Premises in Transition System
              Specifications II. CS-TN-95-16, February 1995
      *  Glasco, D.
           -  Design and Analysis of Update-Based Cache Coherence Protocols
              for Scalable Shared-Memory Multiprocessors. CSL-TR-95-670, June
              1995
           -  Design and Validation of Update-Based Cache Coherence Protocols.
              CSL-TR-94-613, March 1994
           -  Update-Based Cache Coherence Protocols for Scalable
              Shared-Memory Multiprocessors. CSL-TR-93-588, November 1993
      *  Glowinski, R.
           -  On grid optimization for boundary value problems. CS-TR-79-720,
              February 1979
           -  Finite element approximation and iterative solution of a class
              of mildly non-linear elliptic equations. CS-TR-78-674, November
              1978
           -  Numerical methods for the first biharmonic equation and for the
              two-dimensional Stokes problem. CS-TR-77-615, May 1977
      *  Goldberg, A.
           -  On Implementing Push-Relabel Method for the Maximum Flow
              Problem. CS-TR-94-1523, September 1994
           -  Global Price Updates Help. CS-TR-94-1509,
           -  Approximating matchings in parallel. CS-TR-91-1369, June 1991
           -  Book review: Potokovye Algoritmy (Flow Algorithms) by G. M.
              Adel'son-Vel'ski, E. A. Dinic, and A. V. Karzanov..
              CS-TR-90-1313, June 1990
           -  Interior-point methods in parallel computation. CS-TR-89-1259,
              May 1989
           -  Efficiency of the network simplex algorithm for the maximum flow
              problem. CS-TR-89-1248, February 1989
           -  A Parallel Algorithm for Finding a Blocking Flow in an Acyclic
              Network. CS-TR-88-1228, November 1988
           -  Finding Minimum-Cost Flows by Double-Scaling. CS-TR-88-1227,
              October 1988
           -  Sublinear-Time Parallel Algorithms. CS-TR-88-1211, June 1988
           -  Combinatorial Algorithms for the Generalized Circulation
              Problem. CS-TR-88-1209, June 1988
      *  Goldman, N.
           -  A conceptually based sentence paraphraser.. CS-TR-73-357, May
              1973
           -  Primitive concepts underlying verbs of thought.. CS-TR-72-265,
              February 1972
      *  Goldman, R.
           -  AL users' manual. CS-TR-81-889, December 1981
           -  AL users' manual. CS-TR-79-718, January 1979
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
      *  Goldschlager, L.
           -  A computational theory of higher brain function. CS-TR-84-1004,
              April 1984
      *  Goldschmidt, S.
           -  THE ACCURACY OF TRACE-DRIVEN SIMULATIONS OF MULTIPROCESSORS.
              CSL-TR-92-546, September 1992
           -  Tango: A Multiprocessor Simulation and Tracing System.
              CSL-TR-90-439, July 1990
           -  TANGO INTRODUCTION AND TUTORIAL. CSL-TR-90-410, January 1990
           -  INTRODUCTORY USER'S GUIDE TO THE ARCHITECT'S WORKBENCH TOOLS.
              CSL-TR-88-355, May 1988
      *  Goldwasser, M.
           -  Complexity Measures for Assembly Sequences. CS-TN-95-25, October
              1995
      *  Golub, G.
           -  Large scale geodetic least squares adjustment by dissection and
              orthogonal decomposition. CS-TR-79-774, November 1979
           -  Updating formulae and a pairwise algorithm for computing sample
              variances. CS-TR-79-773, November 1979
           -  The matrix inverse eigenvalue problem for periodic Jacobi
              matrices. CS-TR-78-684, December 1978
           -  A block Lanczos method to compute the singular values and
              corresponding singular vectors of a matrix. CS-TR-77-635,
              October 1977
           -  The numerically stable reconstruction of a Jacobi matrix from
              spectral data. CS-TR-77-602, March 1977
           -  Numerical solution of nonlinear elliptic partial differential
              equations by a generalized conjugate gradient method.
              CS-TR-76-585, December 1976
           -  Rank degeneracy and least squares problems. CS-TR-76-559, August
              1976
           -  A generalized conjugate gradient method for nonsymmetric systems
              of linear equations. CS-TR-76-535, January 1976
           -  A generalized conjugate gradient method for the numerical
              solution of elliptic partial differential equations.
              CS-TR-76-533, January 1976
           -  Eigenproblems for matrices associated with periodic boundary
              conditions.. CS-TR-75-486, March 1975
           -  Ill-conditioned eigensystems and the computation of the Jordan
              canonical form.. CS-TR-75-478, February 1975
           -  On the solution of large, structured linear complementarity
              problems: III.. CS-TR-74-439, August 1974
           -  Computation of the limited information maximum likelihood
              estimator.. CS-TR-73-339, February 1973
           -  Computation of the stationary distribution of an infinite Markov
              matrix.. CS-TR-73-335, January 1973
           -  Methods for modifying matrix factorizations.. CS-TR-72-322,
              November 1972
           -  On a characterization of the best $\ell_2$ scaling of a matrix..
              CS-TR-72-319, October 1972
           -  Richardson's non-stationary matrix iterative procedure..
              CS-TR-72-304, August 1972
           -  Use of fast direct methods for the efficient numerical solution
              of nonseparable elliptic equations.. CS-TR-72-278, April 1972
           -  The Lanczos algorithm for the symmetric Ax = $\lambda$Bx
              problem.. CS-TR-72-270, March 1972
           -  The differentiation of pseudoinverses and nonlinear least
              squares problems whose variables separate.. CS-TR-72-261,
              February 1972
           -  Numerical computations for univariate linear models.
              CS-TR-71-236, September 1971
           -  Some modified eigenvalue problems. CS-TR-71-234, August 1971
           -  Numerical methods for computing angles between linear subspaces.
              CS-TR-71-225, July 1971
           -  The direct solution of the discrete Poisson equation on
              irregular regions. CS-TR-71-195, December 1970
           -  Numerical techniques in mathematical programming. CS-TR-70-162,
              May 1970
           -  The method of odd/even reduction and factorization with
              application to Poisson's equation, part II. CS-TR-70-155, March
              1970
      *  Gonsalves, T.
           -  PACKET-VOICE COMMUNICATION ON AN ETHERNET LOCAL COMPUTER
              NETWORK: AN EXPERIMENTAL STUDY. CSL-TR-82-230, February 1982
      *  Goosen, H.
           -  ParaDiGM: a highly scalable shared-memory multi-computer
              architecture. CS-TR-90-1344, November 1990
           -  Multi-level shared caching techniques for scalability in VMP-MC.
              CS-TR-89-1266, May 1989
           -  The VMP Multiprocessor: Initial Experience, Refinements and
              Performance Evaluation. CS-TR-88-1197, March 1988
      *  Gordon, J.
           -  A method for managing evidential reasoning in a hierarchical
              hypothesis space. CS-TR-84-1023, September 1984
      *  Gordon, M.
           -  Towards a semantic theory of dynamic binding.. CS-TR-75-507,
              August 1975
           -  Operational reasoning and denotational semantics.. CS-TR-75-506,
              August 1975
      *  Gordonova, V.
           -  "Estimates of the Roundoff Error in the Solution of a System of
              Conditional Equations" by V. I. Gordonova. CS-TR-70-164, June
              1970
      *  Gorin, R.
           -  FAIL.. CS-TR-74-407, April 1974
      *  Gosper, R.
           -  Numerical experiments with the spectral test.. CS-TR-75-490, May
              1975
      *  Goyal, N.
           -  A Framework for Reasoning Precisely with Vague Concepts.
              CS-TR-94-1516, May 1994
      *  Graham, R.
           -  Finding the convex hull of a simple polygon. CS-TR-81-887,
              November 1981
           -  On constant weight codes and harmonious graphs. CS-TR-79-777,
              December 1979
           -  The analysis of sequential experiments with feedback to
              subjects. CS-TR-79-775, November 1979
           -  Some monotonicity properties of partial orders. CS-TR-79-760,
              September 1979
           -  Information bounds are weak in the shortest distance problem.
              CS-TR-78-670, September 1978
           -  Addition chains with multiplicative cost. CS-TR-76-540, January
              1976
           -  On sparse graphs with dense long paths.. CS-TR-75-504, September
              1975
           -  On subgraph number independence in trees.. CS-TR-75-484, March
              1975
           -  On packing squares with equal squares.. CS-TR-75-483, March 1975
      *  Gravano, L.
           -  Generalizing GlOSS to Vector-Space Databases and Broker
              Hierarchies. CS-TN-95-21, April 1995
           -  Precision and Recall of GlOSS Estimators for Database Discovery.
              CS-TN-94-10,
           -  The Efficacy of GlOSS for the Text Database Discovery Problem.
              CS-TN-93-2,
      *  Gray, C.
           -  Leases: an efficient fault-tolerant mechanism for distributed
              file cache consistency.. CS-TR-90-1298, January 1990
      *  Green, C.
           -  On program synthesis knowledge. CS-TR-77-639, November 1977
           -  Recent research in computer science.. CS-TR-77-624, June 1977
           -  A hypothetical dialogue exhibiting a knowledge base for a
              program-understanding system.. CS-TR-75-476, January 1975
           -  Progress report on program-understanding systems.. CS-TR-74-444,
              August 1974
      *  Gries, D.
           -  A Model and Temporal Proof System for Networks of Processes.
              CSL-TR-85-270, February 1985
      *  Grigoriadis, M.
           -  Efficiency of the network simplex algorithm for the maximum flow
              problem. CS-TR-89-1248, February 1989
      *  Gross, T.
           -  DESIGN OF A HIGH PERFORMANCE VLSI PROCESSOR. CSL-TR-83-236,
              February 1983
           -  HARDWARE/SOFTWARE TRADEOFFS FOR INCREASED PERFORMANCE.
              CSL-TR-81-228, February 1983
           -  CODE GENERATION AND REORGANIZATION IN THE PRESENCE OF PIPELINE
              CONSTRAINTS. CSL-TR-81-224, November 1981
      *  Grosse, E.
           -  Multidimensional additive spline approximation. CS-TR-80-799,
              May 1980
           -  Extrapolation of asymptotic expansions by a modified Aitken
              $\delta^2$-formula. CS-TR-79-719, March 1979
           -  A numerical library and its support. CS-TR-78-673, November 1978
           -  Software restyling in graphics and programming languages.
              CS-TR-78-663, September 1978
      *  Grossman, D.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
           -  Monte Carlo simulation of tolerancing in discrete parts
              manufacturing and assembly. CS-TR-76-555, May 1976
           -  Interactive generation of object models with a manipulator..
              CS-TR-75-536, December 1975
      *  Guerreiro, R.
           -  On the complexity of monotonic inheritance with roles.
              CS-TR-90-1324, July 1990
      *  Guoan, G.
           -  A Chinese Meta-Font. CS-TR-83-974, July 1983
           -  Using string matching to compress Chinese characters.
              CS-TR-82-914, May 1982
      *  Gupta, A.
           -  Integrating multiple communication paradigms in high performance
              multiprocessors. CSL-TR-94-604, February 1994
           -  SPLASH: STANFORD PARALLEL APPLICATIONS FOR SHARED-MEMORY*.
              CSL-TR-92-526, June 1992
           -  ARCHITECTURAL AND IMPLEMENTATION TRADEOFFS IN THE DESIGN OF
              MULTIPLE-CONTEXT PROCESSORS. CSL-TR-92-523, May 1992
           -  MAKING EFFECTIVE USE OF SHARED-MEMORY MULTIPROCESSORS: THE
              PROCESS CONTROL APPROACH. CSL-TR-91-475, May 1991
           -  SPLASH: STANFORD PARALLEL APPLICATIONS FOR SHARED-MEMORY.
              CSL-TR-91-469, April 1991
           -  COOL: A LANGUAGE FOR PARALLEL PROGRAMMING. CSL-TR-89-396,
              October 1989
           -  Analysis of Parallelism and Deadlocks in Distributed-Time Logic
              Simulation. CSL-TR-89-378, May 1989
           -  Partial Information Based Integrity Constraint Checking.
              CS-TR-95-1534, January 1995
           -  The performance impact of data reuse in parallel dense Cholesky
              factorization. CS-TR-92-1401, January 1992
           -  An evaluation of left-lookikng, right-looking and multifrontal
              approaches to sparse Cholesky factorization on hierarchical
              memory machines. CS-TR-91-1377, August 1991
           -  Parallel ICCG on a hierarchical memory multiprocessor -
              addressing the triangular solve bottleneck. CS-TR-90-1330,
              October 1990
           -  Techniques for improving the performance of sparse matrix
              factorization on multiprocessor workstations. CS-TR-90-1318,
              June 1990
           -  A comparative evaluation of nodal and supernodal parallel sparse
              matrix factorization: detailed simulation results.
              CS-TR-90-1305, February 1990
           -  Fast sparse matrix factorization on modern workstations.
              CS-TR-89-1286, October 1989
           -  The VMP Multiprocessor: Initial Experience, Refinements and
              Performance Evaluation. CS-TR-88-1197, March 1988
           -  Parallel Execlltion of OPSS in QLISP. CS-TR-87-1166, June 1987
           -  Generalized Projections: A Powerful Query-Optimization
              Technique. CS-TN-94-14, November 1994
      *  Gupta, R.
           -  Co-Synthesis of Hardware and Software for Digital Embedded
              Systems. CSL-TR-94-614, December 1993
      *  Gupta, V.
           -  Chu Spaces : A Model for Concurrency . CS-TR-94-1521, TYPE::
              Thesis
      *  Gusfield, D.
           -  Book review: Potokovye Algoritmy (Flow Algorithms) by G. M.
              Adel'son-Vel'ski, E. A. Dinic, and A. V. Karzanov..
              CS-TR-90-1313, June 1990
      *  Haas, Z.
           -  Blazenet: A Photonic Implementable Wide-Area Network.
              CS-TR-87-1185, December 1987
      *  Haddad, R.
           -  Beta Operations: Efficient Implementation of a Primitive
              Parallel Operation. CS-TR-86-1129, August 1986
           -  A Programming and Problem-Solving Seminar. CS-TR-85-1055, June
              1985
      *  Hailperin, M.
           -  Load Balancing Using Time Series Analysis for Soft Real Time
              Systems with Statistically Periodic Loads. CS-TR-94-1514,
      *  Hailpern, B.
           -  VERIFYING NETWORK PROTOCOLS USING TEMPORAL LOGIC. CSL-TR-80-192,
              June 1980
           -  S-1 architecture manual. CS-TR-79-715, January 1979
      *  Hall, M.
           -  Interprocedural Parallelization Analysis: Preliminary Results.
              CSL-TR-95-665, March 1995
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
      *  Halperin, D.
           -  Dynamic Maintenance of Kinematic Structures. CS-TN-95-23, August
              1995
      *  Halpern, J.
           -  A hardware semantics based on temporal intervals. CS-TR-83-963,
              March 1983
      *  Hammer, J.
           -  1994 Publications Summary of the Stanford Database Group.
              CS-TR-95-1538, January 1995
      *  Hammer, P.
           -  Aggregation of inequalities in integer programming..
              CS-TR-75-518, August 1975
      *  Hannah, M.
           -  Stanford automatic photogrammetry research.. CS-TR-74-472,
              December 1974
           -  Computer interactive picture processing.. CS-TR-72-281, April
              1972
      *  Hanson, D.
           -  PARTITIONING OF DIGITAL SYSTEMS. CSL-TR-78-165, April 1979
      *  Hara, Y.
           -  Implementing hypertext database relationships through
              aggregations and exceptions. CS-TR-91-1381, September 1991
      *  Harinarayan, V.
           -  Generalized Projections: A Powerful Query-Optimization
              Technique. CS-TN-94-14, November 1994
      *  Harty, K.
           -  Application-controlled physical memory using external page-cache
              management. CS-TR-91-1394, October 1991
      *  Hasling, D.
           -  Strategic explanations for a diagnostic consultation system.
              CS-TR-83-996, November 1983
      *  Hayashi, T.
           -  On the model theory of knowledge. CS-TR-78-657, April 1978
      *  Hayes, B.
           -  Key Objects in Garbage Collection. CS-TR-94-1510,
      *  Hayes, J.
           -  TESTABILITY CONSIDERATIONS IN MICROPROCESSOR-BASED DESIGN.
              CSL-TR-79-179, November 1979
      *  Hayes, P.
           -  The frame problem and related problems in artificial
              intelligence. CS-TR-71-242, November 1971
      *  Hayes-Roth, B.
           -  Distributing Intelligence within an Individual. CS-TR-88-1229,
              November 1988
           -  Making Intelligent Systems Adaptive. CS-TR-88-1226, October 1988
           -  A Layered Environment for Reasoning about Action. CS-TR-87-1147,
              November 1986
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
           -  Learning control heuristics in BB1. CS-TR-85-1036, January 1985
           -  BB1: an architecture for blackboard systems that control,
              explain, and learn about their own behavior. CS-TR-84-1034,
              December 1984
      *  Healey, G.
           -  Local Shape from Specularity. CS-TR-86-1139, June 1986
      *  Heath, M.
           -  A numerical library and its support. CS-TR-78-673, November 1978
      *  Heinlein, J.
           -  Mable: A Technique for Efficient Machine Simulation.
              CSL-TR-94-636, October 1994
           -  Integrating multiple communication paradigms in high performance
              multiprocessors. CSL-TR-94-604, February 1994
      *  Heinrich, M.
           -  The Effects of Latency, Occupancy, and Bandwidth in Distributed
              Shared Memory Multiprocessors. CSL-TR-95-660, January 1995
      *  Helmbold, D.
           -  Design of Run Time Monitors for Concurrent Programs.
              CSL-TR-89-395, October 1989
           -  RUNTIME AND DESCRIPTION OF DEADNESS ERRORS IN ADA TASKING.
              CSL-TR-83-249, November 1983
           -  Applications of Parallel Scheduling to Perfect Graphs.
              CS-TR-86-1118, June 1986
           -  Two processor scheduling is in NC. CS-TR-85-1079, October 1985
           -  Fast scheduling algorithms on parallel computers. CS-TR-84-1025,
              November 1984
      *  Helmhold, D.
           -  DEBUGGING ADA TASKING PROBLEMS. CSL-TR-84-262, July 1984
      *  Hemerly, S.
           -  On the complexity of monotonic inheritance with roles.
              CS-TR-90-1324, July 1990
      *  Hendler, J.
           -  A validation structure based theory of plan modification and
              reuse. CS-TR-90-1312, June 1990
      *  Henke, F.
           -  AN OVERVIEW OF ANNA - A SPECIFICATION LANGUAGE FOR ADA.
              CSL-TR-84-265, September 1984
           -  ANNA: A LANGUAGE FOR ANNOTATING ADA PROGRAMS. CSL-TR-84-261,
              July 1984
           -  A STRONGLY TYPED LANGUAGE FOR SPECIFYING PROGRAMS.
              CSL-TR-84-258, January 1984
           -  ADAM - an Ada based language for multi-processing. CS-TR-81-867,
              July 1981
      *  Hennessy, J.
           -  The Effects of Latency, Occupancy, and Bandwidth in Distributed
              Shared Memory Multiprocessors. CSL-TR-95-660, January 1995
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
           -  The Performance Advantages of Integrating Message Passing in
              Cache-Coherent Multiprocessors. CSL-TR-93-593, November 1993
           -  THE ACCURACY OF TRACE-DRIVEN SIMULATIONS OF MULTIPROCESSORS.
              CSL-TR-92-546, September 1992
           -  AN OVERVIEW OF THE MIPS-X-MP PROJECT. CSL-TR-86-300, April 1986
           -  REVERSE SYNTHESIS COMPILATION FOR ARCHITECTURAL RESEARCH.
              CSL-TR-84-257, March 1984
           -  DESIGN OF A HIGH PERFORMANCE VLSI PROCESSOR. CSL-TR-83-236,
              February 1983
           -  HARDWARE/SOFTWARE TRADEOFFS FOR INCREASED PERFORMANCE.
              CSL-TR-81-228, February 1983
           -  AUTOMATIC COMPILER CODE GENERATION. CSL-TR-81-225, November 1981
           -  CODE GENERATION AND REORGANIZATION IN THE PRESENCE OF PIPELINE
              CONSTRAINTS. CSL-TR-81-224, November 1981
           -  MIPS: A VLSI PROCESSOR ARCHITECTURE. CSL-TR-81-223, November
              1981
           -  RESEARCH IN VLSI SYSTEMS DESIGN AND ARCHITECTURE. CSL-TR-81-201,
              March 1981
           -  A LANGUAGE FOR MICROCODE DESCRIPTION AND SIMULATION IN VLSI.
              CSL-TR-80-193, July 1980
           -  SYMBOLIC DEBUGGING OF OPTIMIZED CODE. CSL-TR-79-175, July 1979
           -  PASCAL*: A PASCAL BASED SYSTEMS PROGRAMMING LANGUAGE.
              CSL-TR-79-174, June 1980
           -  THE FORMAL DEFINITION OF A REAL-TIME LANGUAGE. CSL-TR-78-155,
              July 1978
      *  Hennessy., J.
           -  COOL: A LANGUAGE FOR PARALLEL PROGRAMMING. CSL-TR-89-396,
              October 1989
      *  Henzinger, T.
           -  Temporal proof methodologies for real-time systems.
              CS-TR-91-1383, September 1991
           -  Sooner is safer than later.. CS-TR-91-1360, May 1991
           -  The benefits of relaxing punctuality. CS-TR-91-1359, May 1991
           -  An interleaving model for real time.. CS-TR-90-1329, September
              1990
           -  Real-time logics: complexity and expressiveness. CS-TR-90-1307,
              March 1990
           -  A really temporal logic.. CS-TR-89-1267, July 1989
      *  Herlihy, M.
           -  Time-lapse snapshots. CS-TR-92-1423,
      *  Herriot, J.
           -  Calculation of interpolating natural spline functions using de
              Boor's package for calculating with B-splines. CS-TR-76-569,
              October 1976
      *  Hershberger, J.
           -  Fast sequential algorithms to find shuffle-minimizing and
              shortest paths in a shuffle-exchange network. CS-TR-85-1050, May
              1985
      *  Herskovits, A.
           -  The generation of French from a semantic representation..
              CS-TR-73-384, August 1973
      *  Hewett, M.
           -  Distributing Intelligence within an Individual. CS-TR-88-1229,
              November 1988
           -  A Layered Environment for Reasoning about Action. CS-TR-87-1147,
              November 1986
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
           -  Learning control heuristics in BB1. CS-TR-85-1036, January 1985
      *  Hewett, R.
           -  Distributing Intelligence within an Individual. CS-TR-88-1229,
              November 1988
      *  Hilf, F.
           -  Multidimensional analysis in evaluating a simulation of paranoid
              thought.. CS-TR-73-347, May 1973
           -  Can expert judges, using transcripts of teletyped psychiatric
              interviews, distinguish human paranoid patients from a computer
              simulation of paranoid processes?. CS-TR-72-326, December 1972
           -  A resemblance test for the validation of a computer simulation
              of paranoid processes. CS-TR-71-246, November 1971
      *  Hill, D.
           -  ADLIB USER'S MANUAL. CSL-TR-79-177, August 1979
      *  Hitson, B.
           -  Towards a universal directory service. CS-TR-85-1086, August
              1985
           -  S-1 architecture manual. CS-TR-79-715, January 1979
      *  Hjelmeland, L.
           -  Constructive graph labeling using double cosets.. CS-TR-72-318,
              October 1972
      *  Hoare, C.
           -  Hints on programming language design.. CS-TR-73-403, December
              1973
           -  Monitors: an operating system structuring concept..
              CS-TR-73-401, November 1973
           -  Parallel programming: an axiomatic approach.. CS-TR-73-394,
              October 1973
      *  Hobby, J.
           -  Smooth, easy to compute interpolating splines. CS-TR-85-1047,
              January 1985
           -  A programming and problem-solving seminar. CS-TR-83-990,
              December 1983
           -  A Chinese Meta-Font. CS-TR-83-974, July 1983
           -  Using string matching to compress Chinese characters.
              CS-TR-82-914, May 1982
      *  Hochschild, P.
           -  A Programming and Problem-Solving Seminar. CS-TR-85-1072,
              October 1985
           -  Parallel graph algorithms. CS-TR-84-1028, December 1984
      *  Hoevel, L.
           -  A THEORY OF INTERPRETIVE ARCHITECTURES: SOME NOTES ON DEL DESIGN
              AND A FORTRAN CASE STUDY. CSL-TR-79-171, February 1979
           -  INTERPRETIVE ARCHITECTURES: A THEORY OF IDEAL LANGUAGE MACHINES.
              CSL-TR-79-170, February 1979
           -  THE STRUCTURE OF DIRECTLY EXECUTED LANGUAGES: A NEW THEORY OF
              INTERPRETIVE SYSTEM DESIGN. CSL-TR-77-130, March 1977
           -  THE STANFORD EMULATION LABORATORY. CSL-TR-76-118, June 1976
           -  A TALE OF THREE EMULATORS. CSL-TR-75-98, November 1975
      *  Hoffmann, W.
           -  A new proof of global convergence for the tridiagonal QL
              algorithm. CS-TR-77-634, October 1977
      *  Holt, C.
           -  The Effects of Latency, Occupancy, and Bandwidth in Distributed
              Shared Memory Multiprocessors. CSL-TR-95-660, January 1995
      *  Holzle, U.
           -  Adaptive Optimization for SELF: Reconciling High Performance
              with Exploratory Programming . CS-TR-94-1520, TYPE:: Thesis
      *  Hopcroft, J.
           -  Efficient algorithms for graph manipulation. CS-TR-71-207, March
              1971
           -  Planarity testing in V log V steps: extended abstract.
              CS-TR-71-201, February 1971
           -  An n log n algorithm for isomorphism of planar triply connected
              graphs. CS-TR-71-192, January 1971
           -  An n log n algorithm for minimizing states in a finite
              automaton. CS-TR-71-190, January 1971
      *  Horowitz, E.
           -  The minimum root separation of a polynomial.. CS-TR-73-345,
              April 1973
      *  Horowitz, M.
           -  Informing Loads: Enabling Software to Observe and React to
              Memory Behavior. CSL-TR-95-673, July 1995
           -  Mable: A Technique for Efficient Machine Simulation.
              CSL-TR-94-636, October 1994
           -  ARCHITECTURAL AND IMPLEMENTATION TRADEOFFS IN THE DESIGN OF
              MULTIPLE-CONTEXT PROCESSORS. CSL-TR-92-523, May 1992
           -  EFFICIENT MOMENT-BASED TIMING ANALYSIS FOR VARIABLE ACCURACY
              SWITCH LEVEL SIMULATION. CSL-TR-91-468, April 1991
           -  SRT DIVISION DIAGRAMS AND THEIR USAGE IN DESIGNING INTEGRATED
              CIRCUITS FOR DIVISION. CSL-TR-87-326, November 1986
           -  AN OVERVIEW OF THE MIPS-X-MP PROJECT. CSL-TR-86-300, April 1986
      *  Houtsma, M.
           -  Independent updates and incremental agreement in replicated
              databases. CS-TR-92-1446, October 1992
           -  A classification of update methods for replicated databases.
              CS-TR-91-1392, October 1991
      *  Hsieh, A.
           -  Rapide-0.2 Examples. CSL-TR-92-510, February 1992
      *  Hu, T.
           -  Computation of matrix chain products: Part I, Part II.
              CS-TR-81-875, September 1981
      *  Huet, G.
           -  Equations and rewrite rules: a survey. CS-TR-80-785, January
              1980
      *  Huh, Y.
           -  VAL TO VHDL TRANSFORMER: AN IMPLEMENTATION GUIDE. CSL-TR-89-390,
              September 1989
           -  AN OVERVIEW OF VAL. CSL-TR-88-367, October 1988
           -  THE SEMANTICS OF TIMING CONSTRUCTS IN HARDWARE DESCRIPTION
              LANGUAGES. CSL-TR-86-303, August 1986
      *  Hupp, J.
           -  SPRINT - AN INTERACTIVE SYSTEM FOR PRINTED CIRCUIT BOARD DESIGN
              USER'S GUIDE. CSL-TR-77-143, June 1977
      *  Hwang, S.
           -  THE ILSP BEHAVIORAL DESCRIPTION LANGUAGE AND ITS GRAPH
              REPRESENTATION FOR BEHAVIORAL SYNTHESIS. CSL-TR-88-350, March
              1988
           -  THOR USER'S MANUAL: LIBRARY FUNCTIONS. CSL-TR-88-349, January
              1988
           -  THOR USER'S MANUAL: TUTORIAL AND COMMANDS. CSL-TR-88-348,
              January 1988
      *  Igarashi, S.
           -  On the model theory of knowledge. CS-TR-78-657, April 1978
           -  Automatic program verification I: a logical basis and its
              implementation.. CS-TR-73-365, May 1973
      *  Iliffe, J.
           -  INTERPRETIVE MACHINES. CSL-TR-77-149, June 1977
      *  Ingalls, D.
           -  FETE: a Fortran execution time estimator. CS-TR-71-204, February
              1971
      *  Interrante, J.
           -  Runtime Access to Type Information in C++. CSL-TR-90-418, March
              1990
      *  Iyer, R.
           -  AN EXPONENTIAL FAILURE/LOAD RELATIONSHIP: RESULTS OF A
              MULTI-COMPUTER STATISTICAL STUDY. CSL-TR-81-214, July 1981
      *  Jacobs, P.
           -  Bibliography of Computer Science Department technical reports..
              CS-TR-75-532, November 1975
      *  Jardetzky, O.
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
      *  Jarvis, J.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
      *  Jirak, G.
           -  MAINSAIL implementation overview. CS-TR-80-792, March 1980
      *  John, G.
           -  Cross-Validated C4.5: Using Error Estimation for Automatic
              Parameter Selection. CS-TN-94-12, October 1994
      *  Johnson, J.
           -  Expansion Caches For Superscalar Processors. CSL-TR-94-630, June
              1994
           -  BRANCH PREDICTION USING LARGE SELF HISTORY. CSL-TR-92-553,
              December 1992
      *  Johnson, M.
           -  A Layered Environment for Reasoning about Action. CS-TR-87-1147,
              November 1986
      *  Jonassen, A.
           -  The stationary p-tree forest. CS-TR-76-573, October 1976
      *  Jouppi, N.
           -  DESIGN OF A HIGH PERFORMANCE VLSI PROCESSOR. CSL-TR-83-236,
              February 1983
           -  HARDWARE/SOFTWARE TRADEOFFS FOR INCREASED PERFORMANCE.
              CSL-TR-81-228, February 1983
           -  MIPS: A VLSI PROCESSOR ARCHITECTURE. CSL-TR-81-223, November
              1981
      *  Kamath, A.
           -  Routing and Admission Control in General Topology Networks.
              CS-TR-95-1548, May 1995
           -  Interior Point Algorithms for Exact and Approximate Solution of
              Multicommodity Flow Problems. CS-TN-95-20, March 1995
           -  Fast Approximation Algorithm for Minimum Cost Multicommodity
              Flow. CS-TN-95-19, March 1995
      *  Kambhampati, S.
           -  A validation structure based theory of plan modification and
              reuse. CS-TR-90-1312, June 1990
      *  Kanamori, A.
           -  An Empirical Study of an Abstract Interpretation of Scheme
              Programs. CSL-TR-92-520, April 1992
      *  Kanerva, P.
           -  SPARSE, DISTRIBUTED MEMORY PROTOTYPE: PRINCIPLES AND OPERATION.
              CSL-TR-89-400, December 1989
      *  Kao, B.
           -  Subtask Deadline Assignment for Complex Distributed Soft
              Real-Time Tasks. CS-TR-93-1491,
           -  Deadline assignment in a distributed soft real-time system.
              CS-TR-92-1452, October 1992
           -  Aggressive transmissions over redundant paths for time critical
              messages. CS-TR-92-1431,
           -  Emulating Soft Real-Time Scheduling Using Traditional Operating
              System Schedulers. CS-TN-94-8,
      *  Kao, R.
           -  EFFICIENT MOMENT-BASED TIMING ANALYSIS FOR VARIABLE ACCURACY
              SWITCH LEVEL SIMULATION. CSL-TR-91-468, April 1991
      *  Karger, D.
           -  Random Sampling in Graph Optimization Problems. CS-TR-95-1541,
              February 1995
      *  Karlin, A.
           -  Experience with a regular expression compiler. CS-TR-83-972,
              June 1983
      *  Karp, A.
           -  RYO: a Versatile Instruction Instrumentation Tool for PA-RISC.
              CSL-TR-95-658, January 1995
      *  Karp, R.
           -  Constructing a perfect matching is in Random NC. CS-TR-85-1043,
              March 1985
           -  Stanford Pascal Verifier user manual. CS-TR-79-731, March 1979
      *  Katz, B.
           -  Learning physical description from functional definitions,
              examples and precedents. CS-TR-82-950, January 1983
      *  Katz, S.
           -  A heuristic approach to program verification.. CS-TR-73-341,
              March 1973
      *  Kaufman, L.
           -  Function minimization and automatic therapeutic control.
              CS-TR-71-228, July 1971
           -  "Estimates of the Roundoff Error in the Solution of a System of
              Conditional Equations" by V. I. Gordonova. CS-TR-70-164, June
              1970
      *  Kaufman, M.
           -  An almost-optimal algorithm for the assembly line scheduling
              problem.. CS-TR-73-350, January 1973
           -  Anomalies in scheduling unit-time tasks.. CS-TR-72-310, June
              1972
           -  Counterexample to a conjecture of Fujii, Kasami and Ninomiya..
              CS-TR-72-300, June 1972
      *  Kavraki, L.
           -  Random Networks in Configuration Space for Fast Path Planning.
              CS-TR-95-1535, January 1995
           -  Probabilistic Roadmaps for Path Planning in High-Dimensional
              Configuration Spaces. CS-TR-94-1519, August 1994
      *  Keller, A.
           -  Independent updates and incremental agreement in replicated
              databases. CS-TR-92-1446, October 1992
           -  A classification of update methods for replicated databases.
              CS-TR-91-1392, October 1991
           -  Implementing hypertext database relationships through
              aggregations and exceptions. CS-TR-91-1381, September 1991
           -  Sequence vs. pipeline parallel multiple joins in Paradata.
              CS-TR-91-1351, February 1991
           -  Computer Science comprehensive examinations, 1981/82-1984/85.
              CS-TR-85-1062, August 1985
      *  Kennedy, J.
           -  Solving Unweighted and Weighted Bipartite Matching Problems in
              Theory and Practice. CS-TR-95-1556, August 1995
      *  Kennedy, R.
           -  Global Price Updates Help. CS-TR-94-1509,
      *  Kenney, J.
           -  ANNA PACKAGE SPECIFICATION: CASE STUDIES. CSL-TR-91-496, October
              1991
      *  Ketonen, J.
           -  Experiments in Automatic Theorem Proving. CS-TR-87-1155,
              December 1986
           -  EKL - an interactive proof checker user's reference manual.
              CS-TR-84-1006, June 1984
           -  The language of an interactive proof checker. CS-TR-83-992,
              December 1983
      *  Khanna, S.
           -  Approximation Algorithms for the Largest Common Subtree
              Problem.. CS-TR-95-1545, February 1995
           -  On Diameter Verification and Boolean Matrix Multiplication..
              CS-TR-95-1544, February 1995
      *  Kieburtz, R.
           -  THE FORMAL DEFINITION OF A REAL-TIME LANGUAGE. CSL-TR-78-155,
              July 1978
      *  King, J.
           -  Exploring the use of domain knowledge for query processing
              efficiency. CS-TR-79-781, December 1979
           -  Computer science at Stanford, 1977-1978. CS-TR-78-694, November
              1978
      *  Kiriha, Y.
           -  Real-time Database Experiences in Network Management
              Application. CS-TR-95-1555, September 1995
      *  Klarner, D.
           -  The number of SDR's in certain regular systems.. CS-TR-73-354,
              April 1973
           -  A finite basis theorem revisited.. CS-TR-73-338, February 1973
           -  Selected combinatorial research problems.. CS-TR-72-292, June
              1972
           -  Sets generated by iteration of a linear operation..
              CS-TR-72-275, March 1972
           -  Linear combinations of sets of consecutive integers..
              CS-TR-72-274, March 1972
           -  Arithmetic properties of certain recursively defined sets..
              CS-TR-72-269, March 1972
           -  A procedure for improving the upper bound for the number of
              n-ominoes.. CS-TR-72-263, February 1972
      *  Klein, S.
           -  An algorithmic method for studying percolation clusters.
              CS-TR-82-933, September 1982
      *  Klema, V.
           -  Rank degeneracy and least squares problems. CS-TR-76-559, August
              1976
      *  Knuth, D.
           -  The Sandwich Theorem. CS-TR-93-1499,
           -  A programming and problem solving seminar. CS-TR-89-1269, July
              1989
           -  Addition machines. CS-TR-89-1268, July 1989
           -  METAFONTware. CS-TR-89-1255, May 1989
           -  A Programming and Problem-Solving Seminar. CS-TR-87-1154, April
              1987
           -  TEXware.. CS-TR-86-1097, April 1986
           -  A torture test for METAFONT. CS-TR-86-1095, January 1986
           -  A Programming and Problem-Solving Seminar. CS-TR-85-1055, June
              1985
           -  A torture test for TEX. CS-TR-84-1027, November 1984
           -  A programming and problem-solving seminar. CS-TR-83-990,
              December 1983
           -  A programming and problem-solving seminar. CS-TR-83-989,
              December 1983
           -  The WEB system of structured documentation. CS-TR-83-980,
              September 1983
           -  The Last Whole Errata Catalog. CS-TR-81-868, July 1981
           -  A programming and problem-solving seminar. CS-TR-81-863, June
              1981
           -  Algorithms in modern mathematics and computer science.
              CS-TR-80-786, January 1980
           -  The Computer Modern family of typefaces. CS-TR-80-780, January
              1980
           -  METAFONT: a system for alphabet design. CS-TR-79-762, September
              1979
           -  The errata of computer programming. CS-TR-79-712, January 1979
           -  A programming and problem-solving seminar. CS-TR-79-707, January
              1979
           -  A programming and problem-solving seminar. CS-TR-77-606, April
              1977
           -  The state of the Art of Computer Programming. CS-TR-76-551, June
              1976
           -  Estimating the efficiency of backtrack programs.. CS-TR-74-442,
              August 1974
           -  Sorting and Searching - errata and addenda.. CS-TR-73-392,
              October 1973
           -  A review of "Structured Programming".. CS-TR-73-371, June 1973
           -  Matroid partitioning.. CS-TR-73-342, March 1973
           -  Selected combinatorial research problems.. CS-TR-72-292, June
              1972
           -  Some combinatorial lemmas.. CS-TR-72-291, June 1972
           -  MIX/360 user's guide. CS-TR-71-197, March 1971
      *  Kobrin, A.
           -  INTRODUCTORY USER'S GUIDE TO THE ARCHITECT'S WORKBENCH TOOLS.
              CSL-TR-88-355, May 1988
      *  Koga, Y.
           -  On Computing Multi-Arm Manipulation Trajectories. CS-TR-94-1530,
              October 1994
      *  Koller, D.
           -  From Knowledge to Belief. CS-TR-94-1527, October 1994
      *  Kolupaev, S.
           -  CASCADE STRUCTURE IN TOTALLY SELF-CHECKING NETWORKS.
              CSL-TR-76-108, April 1976
           -  SELF-TESTING RESIDUE TREES. CSL-TR-73-49, August 1973
           -  SEPARATE NON-HOMOMORPHIC CHECKING CODES FOR BINARY ADDITION.
              CSL-TR-72-35, July 1972
      *  Kondo, K.
           -  Inverse Kinematics of a Human Arm. CS-TR-94-1508,
      *  Korth, H.
           -  The optimal locking problem in a directed acyclic graph.
              CS-TR-81-847, March 1981
      *  Koza, J.
           -  Parallel Genetic Programming on a Network of Transputers.
              CS-TR-95-1542, January 1995
           -  Architecture-Altering Operations for Evolving the Architecture
              of a Multi-Part Program in Genetic Programming. CS-TR-94-1528,
              October 1994
           -  Genetic programming: a paradigm for genetically breeding
              populations of computer programs to solve problems.
              CS-TR-90-1314, June 1990
      *  Kraemer, H.
           -  A resemblance test for the validation of a computer simulation
              of paranoid processes. CS-TR-71-246, November 1971
      *  Kreiss, H.
           -  Stability of the Fourier method. CS-TR-77-616, August 1977
      *  Krieg-Brueckner, B.
           -  ANNA: A LANGUAGE FOR ANNOTATING ADA PROGRAMS. CSL-TR-84-261,
              July 1984
      *  Krogdahl, S.
           -  A combinatorial base for some optimal matroid intersection
              algorithms.. CS-TR-74-468, November 1974
      *  Ku, D.
           -  HardwareC -- A Language for Hardware Design (Version 2.0).
              CSL-TR-90-419, April 1990
      *  Kuhn, I.
           -  Automated ambulatory medical record systems in the U.S..
              CS-TR-82-928, August 1982
      *  Kunz, J.
           -  PUFF: an expert system for interpretation of pulmonary function
              data. CS-TR-82-931, September 1982
      *  Kuper, G.
           -  An algorithm for reducing acyclic hypergraphs. CS-TR-82-892,
              January 1982
      *  Kurki-Suonio, R.
           -  Towards better structured definitions of programming languages..
              CS-TR-75-500, September 1975
           -  Describing automata in terms of languages associated with their
              peripheral devices.. CS-TR-75-493, May 1975
      *  Kutter, R.
           -  Optimized Memory-Based Messaging: Leveraging the Memory System
              for High-Performance Communication. CS-TR-94-1506, February 1994
      *  Labio, W.
           -  Comparing Very Large Database Snapshots. CS-TN-95-27, May 1995
      *  Lacroute, P.
           -  Mable: A Technique for Efficient Machine Simulation.
              CSL-TR-94-636, October 1994
      *  Lam, M.
           -  Interprocedural Parallelization Analysis: Preliminary Results.
              CSL-TR-95-665, March 1995
           -  An Efficient Shared Memory Layer for Distributed Memory .
              CSL-TR-94-627, Machines.
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
      *  Lansky, A.
           -  GEM: A TOOL FOR CONCURRENCY SPECIFICATION AND VERIFICATION.
              CSL-TR-83-251, November 1983
      *  Lantz, K.
           -  An Empirical Study of Distributed Application Performance.
              CS-TR-86-1117, October 1985
           -  Preemptable remote execution facilities for the V-system.
              CS-TR-85-1087, September 1985
           -  Towards a universal directory service. CS-TR-85-1086, August
              1985
           -  Taliesin: a distributed bulletin board system. CS-TR-85-1084,
              September 1985
           -  Perseus: retrospective on a portable operating system.
              CS-TR-83-945, February 1983
      *  Larsen, H.
           -  ADAM: AN ADA-BASED LANGUAGE FOR MULTIPROCESSING. CSL-TR-83-240,
              May 1983
           -  ADAM - an Ada based language for multi-processing. CS-TR-81-867,
              July 1981
      *  Lasher, R.
           -  The Computer Science Technical Report (CS-TR) Project:
              Considerations from the Library Perspective.. CS-TR-95-1554,
              July 1995
      *  Latombe, J.
           -  On-Line Manipulation Planning for Two Robot Arms in a Dynamic
              Environment. CS-TR-94-1531, December 1994
           -  Probabilistic Roadmaps for Path Planning in High-Dimensional
              Configuration Spaces. CS-TR-94-1519, August 1994
           -  Motion planning in stereotaxic radiosurgery. CS-TR-92-1441,
              September 1992
           -  Motion Planning with Uncertainty: The Preimage Backchaining
              Approach. CS-TR-88-1196, March 1988
           -  Complexity Measures for Assembly Sequences. CS-TN-95-25, October
              1995
           -  Dynamic Maintenance of Kinematic Structures. CS-TN-95-23, August
              1995
      *  Laudon, J.
           -  Architectural and Implementation Tradeoffs for Multiple-Context
              Processors. CSL-TR-94-634, September 1994
           -  ARCHITECTURAL AND IMPLEMENTATION TRADEOFFS IN THE DESIGN OF
              MULTIPLE-CONTEXT PROCESSORS. CSL-TR-92-523, May 1992
      *  Laumond, J.
           -  Nonholonomic motion planning versus controllability via the
              multibody car system example. CS-TR-90-1345, December 1990
      *  Lazanas, A.
           -  Reasoning About Uncertainty in Robot Motion Planning.
              CS-TR-95-1539, August 1994
      *  LeVeque, R.
           -  Updating formulae and a pairwise algorithm for computing sample
              variances. CS-TR-79-773, November 1979
           -  Computations related to G-stability of linear multistep methods.
              CS-TR-79-738, May 1979
      *  Lederberg, J.
           -  Recent research in artificial intelligence, heuristic
              programming, and network protocols.. CS-TR-74-466, July 1974
           -  Final report: the first ten years of artificial intelligence
              research at Stanford.. CS-TR-74-409, July 1973
           -  A heuristic programming study of theory formation in science.
              CS-TR-71-221, July 1971
           -  Project technical report. CS-TR-71-209, March 1971
           -  The Heuristic DENDRAL program for explaining empirical data.
              CS-TR-71-203, February 1971
           -  On generality and problem solving: a case study using the
              DENDRAL program. CS-TR-70-176, August 1970
      *  Lee, E.
           -  Variational study of nonlinear spline curves. CS-TR-71-229,
              August 1971
      *  Lee, F.
           -  A VLSI ARCHITECTURE FOR THE FCHC ISOMETRIC LATTICE GAS MODEL.
              CSL-TR-90-426, April 1990
      *  Lee, R.
           -  PERFORMANCE CHARACTERIZATION OF PARALLEL COMPUTATIONS.
              CSL-TR-78-158, September 1978
           -  OPTIMAL PROGRAM CONTROL STRUCTURES BASED ON THE CONCEPT OF
              DECISION ENTROPY. CSL-TR-78-156, July 1978
           -  PERFORMANCE BOUNDS FOR PARALLEL PROCESSORS. CSL-TR-76-125,
              November 1976
      *  Leighton, T.
           -  Fast approximation algorithms for multicommodity flow problems.
              CS-TR-91-1375, August 1991
      *  Lemordant, J.
           -  Error bounds in the approximation of eigenvalues of differential
              and integral operators.. CS-TR-75-479, February 1975
      *  Lenat, D.
           -  Progress report on program-understanding systems.. CS-TR-74-444,
              August 1974
      *  Lentini, M.
           -  An adaptive finite difference solver for nonlinear two point
              boundary problems with mild boundary layers.. CS-TR-75-530,
              November 1975
      *  Lesser, V.
           -  An introduction to the direct emulation of control structures by
              a parallel micro-computer. CS-TR-71-191, January 1971
      *  Letsinger, R.
           -  Neomycin: reconfiguring a rule-based expert system for
              application to teaching. CS-TR-82-908, May 1982
      *  Lettman, T.
           -  Projections of Vector Addition System Reachability Sets are
              Semilinear. CS-TR-88-1199, March 1988
      *  Levin, L.
           -  Causal nets or what is a deterministic computation.
              CS-TR-80-768, October 1980
      *  Levoy, M.
           -  Better Optical Triangulation through Spacetime Analysis.
              CSL-TR-95-667, April 1995
      *  Li, T.
           -  On-Line Manipulation Planning for Two Robot Arms in a Dynamic
              Environment. CS-TR-94-1531, December 1994
      *  Liang, F.
           -  The dinner table problem. CS-TR-80-829, December 1980
           -  Qualifying examinations in computer science, 1965-1978.
              CS-TR-79-730, April 1979
      *  Liao, S.
           -  Interprocedural Parallelization Analysis: Preliminary Results.
              CSL-TR-95-665, March 1995
           -  The SUIF Compiler System: a Parallelizing and . CSL-TR-94-620,
              Optimizing Research Compiler
      *  Lichtarge, O.
           -  The heuristic refinement method for deriving solution structures
              of proteins. CS-TR-86-1115, March 1986
      *  Liebes, S.
           -  Computer interactive picture processing.. CS-TR-72-281, April
              1972
      *  Linial, N.
           -  A Lower Bound for Radio Broadcast. CS-TR-88-1195, February 1988
      *  Linton, M.
           -  Runtime Access to Type Information in C++. CSL-TR-90-418, March
              1990
           -  Unidraw: A Framework for Building Domain-Specific Graphical
              Editors. CSL-TR-89-380, July 1989
           -  COMPOSING USER INTERFACES WITH INTERVIEWS. CSL-TR-88-369,
              November 1988
           -  APPLYING OBJECT-ORIENTED DESIGN TO STRUCTURED GRAPHICS.
              CSL-TR-88-364, August 1988
           -  INTERVIEWS: A C++ GRAPHICAL INTERFACE TOOLKIT. CSL-TR-88-358,
              July 1988
      *  Lipton, R.
           -  Generalized nested dissection. CS-TR-77-645, December 1977
           -  Applications of a planar separator theorem. CS-TR-77-628,
              October 1977
           -  A separator theorem for planar graphs. CS-TR-77-627, October
              1977
      *  Liu, C.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
      *  Lochner, E.
           -  SPARSE DISTRIBUTED MEMORY PROTOTYPE: ADDRESS MODULE HARDWARE
              GUIDE. CSL-TR-88-373, December 1988
      *  London, B.
           -  Plan recognition strategies in student modeling: prediction and
              description. CS-TR-82-909, May 1982
      *  London, R.
           -  Automatic program verification I: a logical basis and its
              implementation.. CS-TR-73-365, May 1973
           -  Correctness of two compilers for a Lisp subset. CS-TR-71-240,
              October 1971
      *  Losq, J.
           -  INFLUENCE OF FAULT-DETECTION AND SWITCHING MECHANISMS ON THE
              RELIABILITY OF STAND-BY SYSTEMS. CSL-TR-74-75, July 1975
           -  A HIGHLY EFFICIENT REDUNDANCY SCHEME: SELF-PURGING REDUNDANCY.
              CSL-TR-73-62, July 1975
      *  Low, J.
           -  Recent developments in SAIL, an algol-based language for
              artificial intelligence.. CS-TR-72-308, November 1972
      *  Lowry, M.
           -  Learning physical description from functional definitions,
              examples and precedents. CS-TR-82-950, January 1983
      *  Luckham, D.
           -  Three Concepts of System Architecture. CSL-TR-95-674, July 1995
           -  PARTIAL ORDERINGS OF EVENT SETS AND THEIR APPLICATION TO
              PROTOTYPING CONCURRENT TIMED SYSTEMS. CSL-TR-92-515, April 1992
           -  EVENT PATTERNS: A LANGUAGE CONSTRUCT FOR HIERARCHICAL DESIGNS OF
              CONCURRENT SYSTEMS. CSL-TR-90-453, November 1990
           -  VAL TO VHDL TRANSFORMER: AN IMPLEMENTATION GUIDE. CSL-TR-89-390,
              September 1989
           -  Two Dimensional Pinpointing: An Application of Formal
              Specification to Debugging Packages. CSL-TR-89-379, April 1989
           -  AN OVERVIEW OF VAL. CSL-TR-88-367, October 1988
           -  THE SEMANTICS OF TIMING CONSTRUCTS IN HARDWARE DESCRIPTION
              LANGUAGES. CSL-TR-86-303, August 1986
           -  AN OVERVIEW OF ANNA - A SPECIFICATION LANGUAGE FOR ADA.
              CSL-TR-84-265, September 1984
           -  DEBUGGING ADA TASKING PROBLEMS. CSL-TR-84-262, July 1984
           -  ANNA: A LANGUAGE FOR ANNOTATING ADA PROGRAMS. CSL-TR-84-261,
              July 1984
           -  RUNTIME AND DESCRIPTION OF DEADNESS ERRORS IN ADA TASKING.
              CSL-TR-83-249, November 1983
           -  ADAM: AN ADA-BASED LANGUAGE FOR MULTIPROCESSING. CSL-TR-83-240,
              May 1983
           -  ADAM - an Ada based language for multi-processing. CS-TR-81-867,
              July 1981
           -  Final report: Basic Research in Artificial Intelligence and
              Foundations of Programming. CS-TR-80-808, May 1980
           -  ADA exceptions: specification and proof techniques.
              CS-TR-80-789, February 1980
           -  Stanford Pascal Verifier user manual. CS-TR-79-731, March 1979
           -  Recent research in computer science.. CS-TR-77-624, June 1977
           -  Automatic program verification V: verification-oriented proof
              rules for arrays, records and pointers. CS-TR-76-549, March 1976
           -  Automatic program verification IV: proof of termination within a
              weak logic of programs.. CS-TR-75-522, October 1975
           -  Automatic program verification III: a methodology for verifying
              programs.. CS-TR-74-474, December 1974
           -  On automating the construction of programs.. CS-TR-74-433, May
              1974
           -  Automatic program verification I: a logical basis and its
              implementation.. CS-TR-73-365, May 1973
      *  Luk, F.
           -  A block Lanczos method to compute the singular values and
              corresponding singular vectors of a matrix. CS-TR-77-635,
              October 1977
      *  Lunch, W.
           -  PAGE ALLOCATION TO REDUCE ACCESS TIME OF PHYSICAL CACHES.
              CSL-TR-90-454, November 1990
      *  Lundstrom, S.
           -  DESIGN OF TESTBED AND EMULATION TOOLS. CSL-TR-87-337, October
              1987
           -  DESIGN OF TESTBED AND EMULATION TOOLS. CSL-TR-86-309, September
              1986
      *  Lynch, W.
           -  Paging Performance with Page Coloring.. CSL-TR-91-492, October
              1991
      *  Ma, S.
           -  Testing BiCMOS and Dynamic CMOS Logic. CSL-TR-95-669, June 1995
           -  Design-for-Current-Testability (DFCT) for Dynamic CMOS Logic.
              CSL-TR-94-643, November 1994
      *  MacKinlay, J.
           -  Expressiveness and language choice. CS-TR-85-1037, January 1985
      *  Madhav, N.
           -  A Methodology for Formal Specification and Implementation of Ada
              Packages Using Anna. CSL-TR-90-438, August 1990
           -  APPLICATION OF FORMAL SPECIFICATION TO SOFTWARE MAINTENANCE.
              CSL-TR-90-436, August 1990
      *  Maegawa, H.
           -  The Parallel Solution of Classification Problems. KSL-TR-89-68,
      *  Magerman, D.
           -  Natural Language Parsing as Statistical Pattern Recognition.
              CS-TR-94-1502, February 1994
      *  Magnanti, T.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
      *  Maier, S.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
      *  Mailhot, F.
           -  Technology Mapping for VLSI Circuits Exploiting Boolean
              Properties and Operations. CSL-TR-94-646, December 1994
      *  Mak, V.
           -  A SURVEY OF CONCURRENT ARCHITECTURES. CSL-TR-86-307, September
              1986
           -  QUEUEING NETWORK MODELS FOR PARALLEL PROCESSING OF TASK SYSTEMS:
              AN OPERATIONAL APPROACH. CSL-TR-86-306, September 1986
      *  Makedon, F.
           -  Fast approximation algorithms for multicommodity flow problems.
              CS-TR-91-1375, August 1991
      *  Malachi, Y.
           -  TABLOG: the deductive-tableau programming language.
              CS-TR-84-1012, June 1984
      *  Malcolm, M.
           -  URAND: a universal random number generator.. CS-TR-73-334,
              January 1973
           -  A fast method for solving a class of tri-diagonal linear
              systems.. CS-TR-72-323, November 1972
           -  PL360 (revised): a programming language for the IBM 360.
              CS-TR-71-215, May 1972
           -  Algorithms to reveal properties of floating-point arithmetic.
              CS-TR-71-211, March 1971
           -  A note on a conjecture of L. J. Mordell. CS-TR-70-184, November
              1970
           -  A description and comparison of subroutines for computing
              Euclidean inner products on the IBM 360. CS-TR-70-175, October
              1970
           -  An algorithm for floating-point accumulation of sums with small
              relative error. CS-TR-70-163, June 1970
      *  Mandal, M.
           -  CONCURRENT RUNTIME MONITORING OF FORMALLY SPECIFIED PROGRAMS.
              CSL-TR-90-425, April 1990
      *  Manduchi, R.
           -  Stereo Without Search. CS-TR-95-1543, February 1995
      *  Maneatis, J.
           -  Precise Delay Generation Using Coupled Oscillators.
              CSL-TR-94-629, June 1994
      *  Mann, W.
           -  A Rapide-1.0 Definition of the ADAGE Avionics System.
              CSL-TR-93-585, September 1993
           -  ANNA PACKAGE SPECIFICATION: CASE STUDIES. CSL-TR-91-496, October
              1991
           -  A Methodology for Formal Specification and Implementation of Ada
              Packages Using Anna. CSL-TR-90-438, August 1990
      *  Manna, Z.
           -  Differential BDDs. CS-TR-94-1525, September 1994
           -  Continuous Verification by Discrete Reasoning. CS-TR-94-1524,
              September 1994
           -  STeP: The Stanford Temporal Prover. CS-TR-94-1518, June 1994
           -  Temporal proof methodologies for real-time systems.
              CS-TR-91-1383, September 1991
           -  An interleaving model for real time.. CS-TR-90-1329, September
              1990
           -  Tools and rules for the practicing verifier. CS-TR-90-1321, July
              1990
           -  Completing the temporal picture. CS-TR-89-1296, December 1989
           -  Specification and Verification of Concurrent Programs by For-All
              Automata. CS-TR-88-1230, November 1988
           -  A Hierarchy of Temporal Properties. CS-TR-87-1186, October 1987
           -  A timely resolution. CS-TR-86-1106, April 1986
           -  Model theorem proving. CS-TR-86-1100, May 1986
           -  Nonclausal temporal deduction. CS-TR-85-1056, June 1985
           -  Special relations in automated deduction. CS-TR-85-1051, May
              1985
           -  TABLOG: the deductive-tableau programming language.
              CS-TR-84-1012, June 1984
           -  Adequate proof principles for invariance and liveness properties
              of concurrent programs. CS-TR-84-1005, May 1984
           -  Reasoning in interval temporal logic. CS-TR-83-969, July 1983
           -  Verification of concurrent programs: a temporal proof system.
              CS-TR-83-967, June 1983
           -  Proving precedence properties: the temporal way. CS-TR-83-964,
              April 1983
           -  A hardware semantics based on temporal intervals. CS-TR-83-963,
              March 1983
           -  Verification of concurrent programs: proving eventualities by
              well-founded ranking. CS-TR-82-915, May 1982
           -  Verification of concurrent programs, Part I: The temporal
              framework. CS-TR-81-836, June 1981
           -  Final report: Basic Research in Artificial Intelligence and
              Foundations of Programming. CS-TR-80-808, May 1980
           -  Problematic features of programming languages: a
              situational-calculus approach. CS-TR-80-779, September 1980
           -  A deductive approach to program synthesis. CS-TR-78-690,
              November 1978
           -  Proving termination and multiset orderings. CS-TR-78-651, March
              1978
           -  Structured programming with recursion. CS-TR-77-640, January
              1978
           -  Inference rules for program annotation. CS-TR-77-631, October
              1977
           -  Recent research in computer science.. CS-TR-77-624, June 1977
           -  The convergence of functions to fixedpoints of recursive
              definitions. CS-TR-77-614, May 1977
           -  The logic of computer programming. CS-TR-77-611, August 1977
           -  The evolution of programs: a system for automatic program
              modification. CS-TR-76-586, December 1976
           -  Is "sometime" sometimes better than "always"? Intermittent
              assertions in proving program correctness. CS-TR-76-558, March
              1977
           -  The theoretical aspects of the optimal fixedpoint. CS-TR-76-542,
              March 1976
           -  A new approach to recursive programs.. CS-TR-75-539, December
              1975
           -  Axiomatic approach to total correctness of programs..
              CS-TR-73-382, July 1973
           -  A heuristic approach to program verification.. CS-TR-73-341,
              March 1973
           -  On the power of programming features.. CS-TR-73-333, January
              1973
           -  Fixpoint approach to the theory of computation.. CS-TR-72-272,
              March 1972
           -  Program schemas with equality. CS-TR-71-250, December 1971
           -  Decidable properties of monadic functional schemas.
              CS-TR-71-217, July 1971
           -  Mathematical theory of partial correctness. CS-TR-71-189,
              January 1971
           -  The translation of 'go to' programs to 'while' programs.
              CS-TR-71-188, January 1971
           -  Towards automatic program synthesis. CS-TR-70-174, July 1970
      *  Marashian, I.
           -  Bibliography of Stanford Computer Science reports, 1963-1982.
              CS-TR-82-911, May 1982
      *  Marashian, T.
           -  Bibliography of Computer Science reports, 1963-1986.
              CS-TR-86-1085, June 1986
      *  Markenscoff, X.
           -  Optimum Grip of a Polygon. CS-TR-87-1153, April 1987
      *  Martin, N.
           -  A review of knowledge based problem solving as a basis for a
              genetics experiment designing system. CS-TR-77-596, February
              1977
      *  Martinolle, F.
           -  A Synthesis-for-Test Design System. CSL-TR-94-622, May 1944
      *  Martonosi, M.
           -  Informing Loads: Enabling Software to Observe and React to
              Memory Behavior. CSL-TR-95-673, July 1995
           -  Analyzing and Tuning Memory Performance in Sequential and
              Parallel Programs. CSL-TR-94-602, January 1994
      *  Marzullo, K.
           -  MAINTAINING THE TIME IN A DISTRIBUTED SYSTEM. CSL-TR-83-247,
              August 1983
      *  Mashack, T.
           -  Bibliography Department of Computer Science Technical Reports,
              1963-1993. CS-TR-94-1507, March 1994
      *  Masinter, L.
           -  Interlisp-VAX: a report. CS-TR-81-879, August 1981
           -  An algorithm for the construction of the graphs of organic
              molecules.. CS-TR-73-361, May 1973
           -  Constructive graph labeling using double cosets.. CS-TR-72-318,
              October 1972
      *  Mason, I.
           -  Programming in QLisp. CS-TR-90-1340, October 1990
           -  A sound and complete axiomatization of operational equivalence
              between programs with memory. CS-TR-89-1250, March 1989
      *  Matsushima, T.
           -  A model of object-identities and values. CS-TR-90-1304, February
              1990
      *  Matula, D.
           -  Two linear-time algorithms for five-coloring a planar graph.
              CS-TR-80-830, November 1980
           -  Path-regular graphs. CS-TR-80-807, June 1980
      *  Mayr, E.
           -  The complexity of circuit value and network stability.
              CS-TR-89-1278, August 1989
           -  Pipelined parallel computations, and sorting on a pipelined
              hypercube.. CS-TR-89-1261, May 1989
           -  Parallel Approximation Algorithms. CS-TR-88-1225, September 1988
           -  Parallel Approximation Algorithms for Bin Packing.
              CS-TR-88-1200, March 1988
           -  Projections of Vector Addition System Reachability Sets are
              Semilinear. CS-TR-88-1199, March 1988
           -  Network Implementation of the DTEP Algorithm. CS-TR-87-1157, May
              1987
           -  The Dynamic Tree Expression Problem. CS-TR-87-1156, May 1987
           -  Simulation of an Ultracomputer with Several 'Hot Spots'.
              CS-TR-86-1119, June 1986
           -  Applications of Parallel Scheduling to Perfect Graphs.
              CS-TR-86-1118, June 1986
           -  Two processor scheduling is in NC. CS-TR-85-1079, October 1985
           -  A Programming and Problem-Solving Seminar. CS-TR-85-1072,
              October 1985
           -  Fast sequential algorithms to find shuffle-minimizing and
              shortest paths in a shuffle-exchange network. CS-TR-85-1050, May
              1985
           -  Parallel graph algorithms. CS-TR-84-1028, December 1984
           -  Fast scheduling algorithms on parallel computers. CS-TR-84-1025,
              November 1984
           -  A P-complete problem and approximations to it. CS-TR-84-1014,
              September 1984
           -  Parallelism and greedy algorithms. CS-TR-84-1003, April 1984
           -  Well structured parallel programs are not easier to schedule.
              CS-TR-81-880, September 1981
      *  McCarthy, J.
           -  Queue-based multi-processing Lisp. CS-TR-84-1007, June 1984
           -  Coloring maps and the Kowalski doctrine. CS-TR-82-903, April
              1982
           -  Final report: Basic Research in Artificial Intelligence and
              Foundations of Programming. CS-TR-80-808, May 1980
           -  Circumscription - a form of non-monotonic reasoning.
              CS-TR-80-788, February 1980
           -  On the model theory of knowledge. CS-TR-78-657, April 1978
           -  Recent research in computer science.. CS-TR-77-624, June 1977
           -  Recent research in artificial intelligence, heuristic
              programming, and network protocols.. CS-TR-74-466, July 1974
           -  Final report: the first ten years of artificial intelligence
              research at Stanford.. CS-TR-74-409, July 1973
           -  Project technical report. CS-TR-71-209, March 1971
           -  Overcoming Unexpected Obstacles. CS-TN-94-7,
           -  Formalizing Context (Expanded Notes). CS-TN-94-13, October 1994
      *  McCluskey, E.
           -  Design-for-Current-Testability (DFCT) for Dynamic CMOS Logic.
              CSL-TR-94-643, November 1994
           -  An Apparatus for Pseudo-Deterministic Testing. CSL-TR-94-642,
              October 1994
           -  Transformed Pseudo-Random Patterns for BIST. CSL-TR-94-640,
              October 1994
           -  An Experimental Chip to Evaluate Test Techniques Part 1:
              Description of Experiment. CSL-TR-94-625, June 1994
           -  WSIM: A Symbolic Waveform Simulator. CSL-TR-94-624, June 1994
           -  A Synthesis-for-Test Design System. CSL-TR-94-622, May 1944
           -  Synthesis for Scan Dependence in Built-In Self-Testable Designs.
              CSL-TR-94-621, May 1994
           -  Logic Synthesis for Concurrent Error Detection. CSL-TR-93-591,
              November 1993
           -  The Effect of Fault Dropping on Fault Simulation Time.
              CSL-TR-93-590, November 1993
           -  AN EXPONENTIAL FAILURE/LOAD RELATIONSHIP: RESULTS OF A
              MULTI-COMPUTER STATISTICAL STUDY. CSL-TR-81-214, July 1981
           -  DESIGN FOR AUTONOMOUS TEST. CSL-TR-80-182, June 1981
           -  TESTABILITY CONSIDERATIONS IN MICROPROCESSOR-BASED DESIGN.
              CSL-TR-79-179, November 1979
           -  SEQUENTIAL CIRCUIT OUTPUT PROBABILITIES FROM REGULAR
              EXPRESSIONS. CSL-TR-75-93, June 1975
           -  DESIGN OF A PARALLEL ENCODER/DECODER FOR THE HAMMING CODE, USING
              ROM. CSL-TR-72-36, June 1972
           -  FAULT EQUIVALENCE IN SEQUENTIAL MACHINES. CSL-TR-71-15, June
              1971
           -  Center for Reliable Computing: current research.. CS-TR-75-527,
              October 1975
           -  A model for parallel computer systems. CS-TR-70-160, April 1970
      *  McCune, B.
           -  Progress report on program-understanding systems.. CS-TR-74-444,
              August 1974
      *  McFarland, G.
           -  Delay Models for CMOS Circuits. CSL-TR-95-672, June 1995
           -  Limits of Scaling MOSFETs. CSL-TR-95-662, January 1995
      *  McGrath, M.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
      *  McGuire, H.
           -  Two Methods for Checking Formulas of Temporal Logic.
              CS-TR-95-1551, June 1995
      *  McWilliams, T.
           -  The SCALD physical design subsystem. CS-TR-78-666, March 1978
           -  SCALD: Structured Computer-Aided Logic Design. CS-TR-78-665,
              March 1978
      *  Mei, K.
           -  PARTITIONING OF DIGITAL SYSTEMS. CSL-TR-78-165, April 1979
      *  Mei, T.
           -  LCCD, a language for Chinese character design. CS-TR-80-824,
              October 1980
      *  Meinardus, G.
           -  Lower estimates for the error of best uniform approximation..
              CS-TR-73-376, July 1973
      *  Meldal, S.
           -  Three Concepts of System Architecture. CSL-TR-95-674, July 1995
           -  Nondeterministic Operators in Algebraic Frameworks.
              CSL-TR-95-664, March 1995
           -  Allocations of Objects Considered as Nondeterministic
              Expressions - Towards a More Abstract Axiomatics of Access
              Types. CSL-TR-87-335, September 1987
      *  Melosh, R.
           -  SACON: a knowledge-based consultant for structural analysis.
              CS-TR-78-699, September 1978
      *  Meng, T.
           -  Automatic Synthesis and Verification of Gate-Level Timed
              Circuits. CSL-TR-94-652, December 1994
           -  Automatic Hazard-Free Decomposition of High-Fanin Gates in
              Asynchronous Circuit Synthesis. CSL-TR-94-651, December 1994
           -  A Uniform Approach to the Synthesis of Synchronous and
              Asynchronous Circuits. CSL-TR-94-650, December 1994
           -  Automatic Synthesis of Gate-Level Speed-Independent Circuits.
              CSL-TR-94-648, December 1994
      *  Michael
           -  SUBNANOSECOND ARITHMETIC (Second Report). CSL-TR-91-481, June
              1991
      *  Micheli, G.
           -  Optimization of Combinational Logic Circuits Based on Compatible
              Gates. CSL-TR-93-584, June 1993
           -  SUBNANOSECOND ARITHMETIC (Second Report). CSL-TR-91-481, June
              1991
           -  SUB-NANOSECOND ARITHMETIC. CSL-TR-90-428, May 1990
           -  HardwareC -- A Language for Hardware Design (Version 2.0).
              CSL-TR-90-419, April 1990
      *  Millen, K.
           -  Proceedings from the Nineteenth Annual Meeting of the Stanford
              Computer Forum. CS-TR-87-1149, February 1987
      *  Miller, A.
           -  A programming and problem-solving seminar. CS-TR-81-863, June
              1981
      *  Miller, W.
           -  Research in the Computer Science Department and selected other
              research in computing at Stanford University. CS-TR-70-178,
              October 1970
      *  Milne, P.
           -  Stanford Pascal Verifier user manual. CS-TR-79-731, March 1979
      *  Milner, R.
           -  Models of LCF.. CS-TR-73-332, January 1973
           -  Logic for Computable Functions: description of a machine
              implementation.. CS-TR-72-288, May 1972
           -  An algebraic definition of simulation between programs.
              CS-TR-71-205, February 1971
      *  Minami, M.
           -  Experiments with a Knowledge-Based System on a Multiprocessor.
              CS-TR-87-1188, October 1987
      *  Mitarai, H.
           -  DESIGN OF A PARALLEL ENCODER/DECODER FOR THE HAMMING CODE, USING
              ROM. CSL-TR-72-36, June 1972
      *  Mitchell, C.
           -  EVALUATION OF AN INTERPRETED ARCHITECTURE FOR PASCAL ON A
              PERSONAL COMPUTER. CSL-TR-83-253, December 1983
      *  Mitchell, J.
           -  Effective models of polymorphism, subtyping and recursion.
              CS-TN-95-18, March 1995
      *  Mitchell, T.
           -  A model for learning systems. CS-TR-77-605, March 1977
           -  Model-directed learning of production rules. CS-TR-77-597, March
              1977
      *  Mogul, J.
           -  The Leaf File Access Protocol. CS-TR-86-1137, December 1986
      *  Mohammed, J.
           -  Combining Experiential and Theoretical Knowledge in the Domain
              of Semiconductor Manufacturing. CS-TR-94-1526, September 1994
      *  Moler, C.
           -  URAND: a universal random number generator.. CS-TR-73-334,
              January 1973
      *  Mont-Reynaud, B.
           -  Removing trivial assignments from programs. CS-TR-76-544, March
              1976
      *  Moorer, J.
           -  The hetrodyne filter as a tool for analysis of transient
              waveforms.. CS-TR-73-379, July 1973
           -  The optimum comb method of pitch period analysis of continuous
              digitized speech.. CS-TR-73-378, July 1973
      *  Morf, M.
           -  A VLSI ARCHITECTURE FOR THE FCHC ISOMETRIC LATTICE GAS MODEL.
              CSL-TR-90-426, April 1990
      *  Morgana, M.
           -  Time and memory requirements for solving linear systems.
              CS-TR-71-212, March 1971
      *  Morgensteren, M.
           -  Parallel algorithms for arithmetics, irreducibility and
              factoring of GFq-polynomials. CS-TR-83-991, December 1983
      *  Moses, Y.
           -  Belief as Defeasible Knowledge. CS-TR-88-1237, December 1988
      *  Moszkowski, B.
           -  Reasoning in interval temporal logic. CS-TR-83-969, July 1983
           -  A hardware semantics based on temporal intervals. CS-TR-83-963,
              March 1983
      *  Motwani, R.
           -  Approximation Algorithms for the Largest Common Subtree
              Problem.. CS-TR-95-1545, February 1995
           -  On Diameter Verification and Boolean Matrix Multiplication..
              CS-TR-95-1544, February 1995
           -  Lecture notes on approximation algorithms: Volume I.
              CS-TR-92-1435,
           -  Complexity Measures for Assembly Sequences. CS-TN-95-25, October
              1995
           -  Approximation Algorithms for $k$-Delivery TSP. CS-TN-95-24,
              August 1995
           -  Dynamic Maintenance of Kinematic Structures. CS-TN-95-23, August
              1995
           -  Combining Register Allocation and Instruction Scheduling.
              CS-TN-95-22, August 1995
           -  On Exact and Approximate Cut Covers of Graphs. CS-TN-94-11,
              September 1994
      *  Mowry, T.
           -  Informing Loads: Enabling Software to Observe and React to
              Memory Behavior. CSL-TR-95-673, July 1995
           -  Tolerating Latency Through Software-Controlled Data Prefetching.
              CSL-TR-94-628, June 1994
      *  Mozes, E.
           -  Protograms. CS-TR-90-1323, July 1990
      *  Mujtaba, M.
           -  AL users' manual. CS-TR-79-718, January 1979
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
      *  Mujtaba, S.
           -  AL users' manual. CS-TR-81-889, December 1981
      *  Mukund, S.
           -  An Apparatus for Pseudo-Deterministic Testing. CSL-TR-94-642,
              October 1994
      *  Mulder, J.
           -  AN AREA-UTILITY MODEL FOR ON-CHIP MEMORIES AND ITS APPLICATION.
              CSL-TR-90-413, February 1990
      *  Mulsant, B.
           -  Knowledge engineering: a daily activity on a hospital ward.
              CS-TR-82-998, September 1983
      *  Muntz, R.
           -  Open, closed, and mixed networks of queues with different
              classes of customers.. CS-TR-73-360, August 1972
      *  Murdock, J.
           -  Model-Matching and Individuation for Model-Based Diagnosis.
              CS-TR-95-1540, January 1995
      *  Murphy, B.
           -  Interprocedural Parallelization Analysis: Preliminary Results.
              CSL-TR-95-665, March 1995
      *  Murray, W.
           -  Steplength algorithms for minimizing a class of
              nondifferentiable functions. CS-TR-78-679, November 1978
           -  Methods for modifying matrix factorizations.. CS-TR-72-322,
              November 1972
      *  Myers, C.
           -  Automatic Synthesis and Verification of Gate-Level Timed
              Circuits. CSL-TR-94-652, December 1994
           -  Automatic Hazard-Free Decomposition of High-Fanin Gates in
              Asynchronous Circuit Synthesis. CSL-TR-94-651, December 1994
           -  A Uniform Approach to the Synthesis of Synchronous and
              Asynchronous Circuits. CSL-TR-94-650, December 1994
           -  Automatic Synthesis of Gate-Level Speed-Independent Circuits.
              CSL-TR-94-648, December 1994
      *  Myers, K.
           -  Reading list for the Qualifying Examination in Artificial
              Intelligence. CS-TR-89-1290, November 1989
      *  Na, T.
           -  Bibliography; Department of Computer Science Technical Reports,
              1963-1988. CS-TR-87-1180, January 1988
      *  Nagayama, M.
           -  An NQTHM mechanization of "An Exercise in the Verification of
              Multi-Process Programs". CS-TR-91-1370, June 1991
      *  Nakano, R.
           -  Experiments with a Knowledge-Based System on a Multiprocessor.
              CS-TR-87-1188, October 1987
           -  A Dynamic, Cut-Through Communications Protocol with Multicast.
              CS-TR-87-1178, September 1987
           -  A Point-to-Point Multicast Communications Protocol.
              CS-TR-87-1146, February 1987
      *  Nalwa, V.
           -  On Detecting Edges. CS-TR-86-1130, March 1986
      *  Naor, J.
           -  On Separat1ng the EREW and CREW PRAM Models. CS-TR-88-1240,
              December 1988
           -  Sorting, Minimal Feedback Sets and Hamilton Paths in
              Tournaments. CS-TR-88-1239, December 1988
           -  On Exact and Approximate Cut Covers of Graphs. CS-TN-94-11,
              September 1994
      *  Naughton, J.
           -  Optimizing function-free recursive inference rules.
              CS-TR-86-1114, May 1986
           -  Data independent recursion in deductive databases.
              CS-TR-86-1102, February 1986
      *  Nayfeh, B.
           -  Rationale, Design and Performance of the Hydra Multiprocessor.
              CSL-TR-94-645, November 1994
           -  The Benefits of Clustering in Shared Address Space
              Multiprocessors: An Applications-Driven Investigation.
              CSL-TR-94-632, October 1994
      *  Nelson, C.
           -  An $n^{log n}$ algorithm for the two-variable-per-constraint
              linear programming satisfiability problem. CS-TR-78-689,
              November 1978
           -  Simplification by cooperating decision procedures. CS-TR-78-652,
              April 1978
           -  Fast decision algorithms based on congruence closure.
              CS-TR-77-646, February 1978
      *  Nelson, E.
           -  Graph program simulation. CS-TR-70-185, October 1970
      *  Neuhauser, C.
           -  THE STANFORD EMULATION LABORATORY. CSL-TR-76-118, June 1976
      *  Newey, M.
           -  Notes on a problem involving permutations as subsequences..
              CS-TR-73-340, March 1973
           -  Axioms and theorems for integers, lists and finite sets in LCF..
              CS-TR-73-330, January 1973
      *  Ngai, T.
           -  DYNAMIC RESOURCE ALLOCATION IN A HIERARCHICAL MULTIPROCESSOR
              SYSTEM - A PRELIMINARY REPORT. CSL-TR-86-310, October 1986
      *  Nguyen, V.
           -  A Model and Temporal Proof System for Networks of Processes.
              CSL-TR-85-270, February 1985
      *  Nicholson, V.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
      *  Nielson, C.
           -  The method of odd/even reduction and factorization with
              application to Poisson's equation, part II. CS-TR-70-155, March
              1970
      *  Nii, H.
           -  Blackboard Systems. CS-TR-86-1123, June 1986
           -  A knowledge-based system for the interpretation of protein x-ray
              crystallographic data. CS-TR-77-589, February 1977
      *  Nilsson, N.
           -  Toward agent programs with circuit semantics. CS-TR-92-1412,
              January 1992
           -  A production system for automatic deduction. CS-TR-77-618,
              August 1977
      *  Nishigaki, T.
           -  Experiments on the Knee Criterion in a multiprogrammed computer
              system. CS-TR-81-849, March 1981
      *  Nishimura, S.
           -  Instrumented Architectural Simulation. CS-TR-87-1189, November
              1987
           -  An Instrumented Architectural Simulation System. CS-TR-87-1148,
              January 1987
      *  Noronha, C.
           -  Routing of Video/Audio Streams In Packet-Switched Networks.
              CSL-TR-94-653, December 1994
           -  Routing of Streams in WDM Reconfigurable Networks.
              CSL-TR-94-649, December 1994
           -  Evaluation of Multicast Routing Algorithms for Multimedia
              Streams. CSL-TR-94-619, April 1994
           -  Optimum Routing of Multicast Audio and Video Streams in
              Communications Networks. CSL-TR-94-618, April 94
      *  Novak, G.
           -  GLISP users' manual. CS-TR-82-895, January 1982
      *  Nowick, S.
           -  SPECIFICATION AND AUTOMATIC VERIFICATION OF SELF-TIMED QUEUES.
              CSL-TR-89-387, August 1989
      *  Nowicki, W.
           -  An Empirical Study of Distributed Application Performance.
              CS-TR-86-1117, October 1985
      *  Nowka, K.
           -  Environmental Limits on the Performance of CMOS Wave-Pipelined
              Circuits. CSL-TR-94-600, January 1994
      *  Nye, P.
           -  UFORT: A FORTRAN-TO-UNIVERSAL PCODE TRANSLATOR (FIXFOR-2).
              CSL-TR-79-168, January 1980
           -  PCFORT: a Fortran-to-Pcode translator. CS-TR-79-714, January
              1979
      *  O'Leary, D.
           -  A generalized conjugate gradient algorithm for solving a class
              of quadratic programming problems. CS-TR-77-638, December 1977
           -  Numerical solution of nonlinear elliptic partial differential
              equations by a generalized conjugate gradient method.
              CS-TR-76-585, December 1976
           -  A generalized conjugate gradient method for the numerical
              solution of elliptic partial differential equations.
              CS-TR-76-533, January 1976
      *  Oberman, S.
           -  An Analysis of Division Algorithms and Implementations.
              CSL-TR-95-675, July 1995
           -  ON DIVISION AND RECIPROCAL CACHES. CSL-TR-95-666, April 1995
           -  Design Issues in Floating-Point Division. CSL-TR-94-647,
              December 1994
           -  The Design and Implementation of a High-Performance
              Floating-Point Divider. CSL-TR-94-599, January 1994
      *  Odani, M.
           -  THE ILSP BEHAVIORAL DESCRIPTION LANGUAGE AND ITS GRAPH
              REPRESENTATION FOR BEHAVIORAL SYNTHESIS. CSL-TR-88-350, March
              1988
      *  Ogata, M.
           -  A QUEUING ANALYSIS FOR DISK ARRAY SYSTEMS. CSL-TR-90-443, August
              1990
      *  Ogus, R.
           -  Center for Reliable Computing: current research.. CS-TR-75-527,
              October 1975
      *  Okuna, H.
           -  Parallel Execlltion of OPSS in QLISP. CS-TR-87-1166, June 1987
      *  Okuno, H.
           -  Firmware Approach to Fast Lisp Interpreter. CS-TR-87-1184,
              September 1987
      *  Okuzawa, O.
           -  A Performance/Area Workbench for Cache Memory Design.
              CSL-TR-94-635, August 1994
      *  Oliger, J.
           -  Stability of the Fourier method. CS-TR-77-616, August 1977
           -  Control of the dissipativity of Lax-Wendroff type methods for
              first order systems or hyperbolic equations. CS-TR-77-604, March
              1977
           -  Theoretical and practical aspects of some initial-boundary value
              problems in fluid dynamics. CS-TR-76-578, November 1976
           -  Hybrid difference methods for the initial boundary-value problem
              for hyperbolic equations.. CS-TR-75-481, February 1975
      *  Olukotun, K.
           -  Rationale, Design and Performance of the Hydra Multiprocessor.
              CSL-TR-94-645, November 1994
           -  The Benefits of Clustering in Shared Address Space
              Multiprocessors: An Applications-Driven Investigation.
              CSL-TR-94-632, October 1994
      *  Oppen, D.
           -  Equations and rewrite rules: a survey. CS-TR-80-785, January
              1980
           -  Pretty printing. CS-TR-79-770, October 1979
           -  The logic of aliasing. CS-TR-79-740, September 1979
           -  Stanford Pascal Verifier user manual. CS-TR-79-731, March 1979
           -  Reasoning about recursively defined data structures.
              CS-TR-78-678, July 1978
           -  Simplification by cooperating decision procedures. CS-TR-78-652,
              April 1978
           -  Fast decision algorithms based on congruence closure.
              CS-TR-77-646, February 1978
      *  Orcutt, S.
           -  PARALLEL SOLUTION METHODS FOR TRIANGULAR LINEAR SYSTEMS OF
              EQUATIONS. CSL-TR-74-77, June 1974
      *  Orlin, J.
           -  Polynomial dual network simplex algorithms. CS-TR-91-1374,
              August 1991
           -  Finding Minimum-Cost Flows by Double-Scaling. CS-TR-88-1227,
              October 1988
      *  Osato, N.
           -  Firmware Approach to Fast Lisp Interpreter. CS-TR-87-1184,
              September 1987
      *  Osborne, M.
           -  Topics in optimization.. CS-TR-72-279, April 1972
      *  Overmars, M.
           -  Probabilistic Roadmaps for Path Planning in High-Dimensional
              Configuration Spaces. CS-TR-94-1519, August 1994
      *  Overton, M.
           -  Steplength algorithms for minimizing a class of
              nondifferentiable functions. CS-TR-78-679, November 1978
           -  A block Lanczos method to compute the singular values and
              corresponding singular vectors of a matrix. CS-TR-77-635,
              October 1977
           -  Finding the maximal incidence matrix of a large graph..
              CS-TR-75-509, September 1975
      *  Owe, O.
           -  ANNA: A LANGUAGE FOR ANNOTATING ADA PROGRAMS. CSL-TR-84-261,
              July 1984
      *  Owicki, S.
           -  A Model and Temporal Proof System for Networks of Processes.
              CSL-TR-85-270, February 1985
           -  GEM: A TOOL FOR CONCURRENCY SPECIFICATION AND VERIFICATION.
              CSL-TR-83-251, November 1983
           -  MAINTAINING THE TIME IN A DISTRIBUTED SYSTEM. CSL-TR-83-247,
              August 1983
           -  RESEARCH IN VLSI SYSTEMS DESIGN AND ARCHITECTURE. CSL-TR-81-201,
              March 1981
           -  VERIFYING NETWORK PROTOCOLS USING TEMPORAL LOGIC. CSL-TR-80-192,
              June 1980
           -  CENTER-BASED BROADCASTING. CSL-TR-80-189, June 1980
           -  SPECIFICATION AND VERIFICATION OF NETWORK MAIL SYSTEM.
              CSL-TR-78-159, November 1978
           -  VERIFYING CONCURRENT PROGRAMS WITH SHARED DATE CLASSES.
              CSL-TR-77-147, August 1977
           -  Specifications and proofs for abstract data types in concurrent
              programs. CS-TR-77-607, April 1977
      *  Palem, K.
           -  Combining Register Allocation and Instruction Scheduling.
              CS-TN-95-22, August 1995
      *  Palmer, J.
           -  A fast method for solving a class of tri-diagonal linear
              systems.. CS-TR-72-323, November 1972
      *  Palmon, O.
           -  Interior Point Algorithms for Exact and Approximate Solution of
              Multicommodity Flow Problems. CS-TN-95-20, March 1995
           -  Fast Approximation Algorithm for Minimum Cost Multicommodity
              Flow. CS-TN-95-19, March 1995
      *  Pan, R.
           -  The Effect of Fault Dropping on Fault Simulation Time.
              CSL-TR-93-590, November 1993
      *  Papadimitriou, C.
           -  Optimum Grip of a Polygon. CS-TR-87-1153, April 1987
      *  Parker, K.
           -  SEQUENTIAL CIRCUIT OUTPUT PROBABILITIES FROM REGULAR
              EXPRESSIONS. CSL-TR-75-93, June 1975
      *  Parkison, R.
           -  The interaction of inferences, affects, and intentions, in a
              model of paranoia.. CS-TR-74-471, December 1974
           -  Pattern-matching rules for the recognition of natural language
              dialogue expressions.. CS-TR-74-431, June 1974
      *  Parlett, B.
           -  A new proof of global convergence for the tridiagonal QL
              algorithm. CS-TR-77-634, October 1977
      *  Paul, R.
           -  AL, a programming system for automation.. CS-TR-74-456, November
              1974
           -  The use of sensory feedback in a programmable assembly system..
              CS-TR-73-396, October 1973
      *  Paul, W.
           -  Time-space trade-offs in a pebble game. CS-TR-77-619, July 1977
           -  Space bounds for a game on graphs. CS-TR-76-545, March 1976
      *  Payne, T.
           -  PARTITIONING OF DIGITAL SYSTEMS. CSL-TR-78-165, April 1979
      *  Pease, F.
           -  SUB-NANOSECOND ARITHMETIC. CSL-TR-90-428, May 1990
      *  Pease, R.
           -  SUBNANOSECOND ARITHMETIC (Second Report). CSL-TR-91-481, June
              1991
      *  Pecchiari, P.
           -  Reasoning Theories: Towards an Architecture for Open Mechanized
              Reasoning Systems. CS-TN-94-15, December 1994
      *  Pehoushek, J.
           -  Programming in QLisp. CS-TR-90-1340, October 1990
      *  Peleg, D.
           -  Square Meshes are not always Optimal. CS-TR-88-1218, August 1988
           -  A Lower Bound for Radio Broadcast. CS-TR-88-1195, February 1988
           -  Processor Renaming in Asynchronous Environments. CS-TR-86-1131,
              September 1986
      *  Pepper, P.
           -  On program transformations for abstract data types and
              concurrency. CS-TR-81-883, October 1981
      *  Pereyra, V.
           -  An adaptive finite difference solver for nonlinear two point
              boundary problems with mild boundary layers.. CS-TR-75-530,
              November 1975
           -  High order finite difference solution of differential
              equations.. CS-TR-73-348, April 1973
           -  The differentiation of pseudoinverses and nonlinear least
              squares problems whose variables separate.. CS-TR-72-261,
              February 1972
      *  Perkins, W.
           -  Memory model for a robot.. CS-TR-74-406, January 1974
           -  A corner finder for visual feedback.. CS-TR-73-386, August 1973
      *  Pettersen, O.
           -  The macro processing system STAGE2: transfer of comments to the
              generated text.. CS-TR-75-503, July 1975
           -  Synchronization of concurrent processes.. CS-TR-75-502, July
              1975
           -  Procedural events as software interrupts.. CS-TR-75-501, June
              1975
      *  Phillips, S.
           -  A programming and problem solving seminar.. CS-TR-91-1350,
              February 1991
      *  Pingle, K.
           -  A fast, feature-driven stereo depth program.. CS-TR-74-462, May
              1975
      *  Pironneau, O.
           -  Numerical methods for the first biharmonic equation and for the
              two-dimensional Stokes problem. CS-TR-77-615, May 1977
      *  Pittel, B.
           -  The Average Number of Stable Matchings. CS-TR-88-1234, December
              1988
      *  Plaxton, C.
           -  Load balancing on the hypoercube and shuffle-exchange.
              CS-TR-89-1281, August 1989
           -  On the network complexity of selection. CS-TR-89-1276, August
              1989
           -  Pipelined parallel computations, and sorting on a pipelined
              hypercube.. CS-TR-89-1261, May 1989
           -  Network Implementation of the DTEP Algorithm. CS-TR-87-1157, May
              1987
      *  Plemmons, R.
           -  Large scale geodetic least squares adjustment by dissection and
              orthogonal decomposition. CS-TR-79-774, November 1979
      *  Plotkin, S.
           -  Routing and Admission Control in General Topology Networks.
              CS-TR-95-1548, May 1995
           -  Time-lapse snapshots. CS-TR-92-1423,
           -  Fast approximation algorithms for fractional packing and
              covering problems. CS-TR-92-1419,
           -  Fast approximation algorithms for multicommodity flow problems.
              CS-TR-91-1375, August 1991
           -  Polynomial dual network simplex algorithms. CS-TR-91-1374,
              August 1991
           -  Approximating matchings in parallel. CS-TR-91-1369, June 1991
           -  Sticky bits and universality of consensus. CS-TR-89-1280, August
              1989
           -  Interior-point methods in parallel computation. CS-TR-89-1259,
              May 1989
           -  Sublinear-Time Parallel Algorithms. CS-TR-88-1211, June 1988
           -  Combinatorial Algorithms for the Generalized Circulation
              Problem. CS-TR-88-1209, June 1988
           -  Fast Approximation Algorithm for Minimum Cost Multicommodity
              Flow. CS-TN-95-19, March 1995
      *  Pneuli, A.
           -  Decidable properties of monadic functional schemas.
              CS-TR-71-217, July 1971
      *  Pnueli, A.
           -  Temporal proof methodologies for real-time systems.
              CS-TR-91-1383, September 1991
           -  An interleaving model for real time.. CS-TR-90-1329, September
              1990
           -  Tools and rules for the practicing verifier. CS-TR-90-1321, July
              1990
           -  Completing the temporal picture. CS-TR-89-1296, December 1989
           -  Specification and Verification of Concurrent Programs by For-All
              Automata. CS-TR-88-1230, November 1988
           -  A Hierarchy of Temporal Properties. CS-TR-87-1186, October 1987
           -  Adequate proof principles for invariance and liveness properties
              of concurrent programs. CS-TR-84-1005, May 1984
           -  Verification of concurrent programs: a temporal proof system.
              CS-TR-83-967, June 1983
           -  Proving precedence properties: the temporal way. CS-TR-83-964,
              April 1983
           -  Verification of concurrent programs: proving eventualities by
              well-founded ranking. CS-TR-82-915, May 1982
           -  Verification of concurrent programs, Part I: The temporal
              framework. CS-TR-81-836, June 1981
           -  Axiomatic approach to total correctness of programs..
              CS-TR-73-382, July 1973
      *  Polak, W.
           -  ADA exceptions: specification and proof techniques.
              CS-TR-80-789, February 1980
           -  Stanford Pascal Verifier user manual. CS-TR-79-731, March 1979
      *  Pollack, B.
           -  A bibliography on computer graphics.. CS-TR-72-306, August 1972
           -  An annotated bibliography on the construction of compilers.
              CS-TR-71-249, December 1971
      *  Porter, T.
           -  Random insertion into a priority queue structure.. CS-TR-74-460,
              October 1974
      *  Portmann, C.
           -  CHARACTERIZATION AND REDUCTION OF METASTABILITY ERRORS IN CMOS
              INTERFACE CIRCUITS. CSL-TR-95-671, June 1995
      *  Posherstnick, M.
           -  DESIGN OF TWO-LEVEL FAULT-TOLERANT NETWORKS FROM THRESHOLD
              ELEMENTS. CSL-TR-77-134, March 1977
      *  Pratt, V.
           -  Action logic and pure induction. CS-TR-90-1343, November 1990
           -  Modeling concurrency with geometry. CS-TR-90-1342, November 1990
           -  Dynamic Algebras as a well-behaved fragment of Relational
              Algebras. CS-TR-90-1309, March 1990
           -  The pomset model of parallel processes: unifying the temporal
              and the spatial. CS-TR-85-1049, January 1985
           -  Some constructions for order-theoretic models of concurrency.
              CS-TR-85-1048, March 1985
           -  Five paradigm shifts in programming language design and their
              realization in Viron, a dataflow programming environment.
              CS-TR-82-951, December 1982
           -  Two papers on the selection problem: Time Bounds for Selection
              [by Manual Blum, Robert W. Floyd, Vaughan Pratt, Ronald L.
              Rivest, and Robert E. Tarjan] and Expected Time Bounds for
              Selection [by Robert W. Floyd and Ronald L. Rivest]..
              CS-TR-73-349, April 1973
      *  Price, T.
           -  Balanced computer systems.. CS-TR-74-435, April 1974
           -  An analysis of central processor scheduling in multiprogrammed
              computer systems (digest edition).. CS-TR-73-355, October 1972
      *  Proskurowski, A.
           -  Finding the maximal incidence matrix of a large graph..
              CS-TR-75-509, September 1975
      *  Przybylski, S.
           -  DESIGN OF A HIGH PERFORMANCE VLSI PROCESSOR. CSL-TR-83-236,
              February 1983
      *  Purdy, J.
           -  ACCESS: a program for the catalog and access of information.
              CS-TR-71-210, March 1971
      *  Quach, N.
           -  Architecture Evaluator's Work Bench and its Application to
              Microprocessor Floating Point Units. CSL-TR-95-668, June 1995
           -  The Design and Implementation of a High-Performance
              Floating-Point Divider. CSL-TR-94-599, January 1994
           -  SUGGESTIONS FOR IMPLEMENTING A FAST IEEE MULTIPLY-ADD-FUSED
              INSTRUCTION. CSL-TR-91-483, July 1991
           -  Leading One Detection --- Implementation, Generalization, and
              Application. CSL-TR-91-463, March 1991
           -  ON FAST IEEE ROUNDING. CSL-TR-91-459, January 1991
           -  AN IMPROVED FLOATING-POINT ADDITION ALGORITHM. CSL-TR-90-442,
              August 1990
           -  HIGH-SPEED ADDITION IN CMOS. CSL-TR-90-415, February 1990
           -  AN AREA-UTILITY MODEL FOR ON-CHIP MEMORIES AND ITS APPLICATION.
              CSL-TR-90-413, February 1990
      *  Quam, L.
           -  Stanford automatic photogrammetry research.. CS-TR-74-472,
              December 1974
           -  Computer interactive picture processing.. CS-TR-72-281, April
              1972
      *  Quinlan, J.
           -  Induction over large data bases. CS-TR-79-739, May 1979
      *  Quinlan, S.
           -  Real-Time Modification of Collision-Free Paths. CS-TR-95-1537,
              January 1995
      *  Rado, R.
           -  Linear combinations of sets of consecutive integers..
              CS-TR-72-274, March 1972
           -  Arithmetic properties of certain recursively defined sets..
              CS-TR-72-269, March 1972
      *  Rafii, A.
           -  The A0 inversion model of program paging behavior. CS-TR-76-579,
              November 1976
      *  Ragde, P.
           -  On Separat1ng the EREW and CREW PRAM Models. CS-TR-88-1240,
              December 1988
      *  Raghavan, L.
           -  Randomized Query Processing in Robot Motion Planning.
              CS-TR-94-1533, December 1994
      *  Ramakrishnan, K.
           -  Routing and Admission Control in General Topology Networks.
              CS-TR-95-1548, May 1995
      *  Ramos, G.
           -  Roundoff error analysis of the fast Fourier transform.
              CS-TR-70-146, February 1970
      *  Ramsey-Klee, D.
           -  Automated ambulatory medical record systems in the U.S..
              CS-TR-82-928, August 1982
      *  Ramshaw, L.
           -  On the gap structure of sequences of points on a circle.
              CS-TR-77-637, November 1977
      *  Rao, G.
           -  Asymptotic representation of the average number of active
              modules in an n-way interleaved memory.. CS-TR-74-423, April
              1974
      *  Rao, T.
           -  An Apparatus for Pseudo-Deterministic Testing. CSL-TR-94-642,
              October 1994
      *  Rathberg, E.
           -  A comparative evaluation of nodal and supernodal parallel sparse
              matrix factorization: detailed simulation results.
              CS-TR-90-1305, February 1990
      *  Rathmann, P.
           -  Implementing hypertext database relationships through
              aggregations and exceptions. CS-TR-91-1381, September 1991
      *  Rau, B.
           -  PROPERTIES AND APPLICATIONS OF THE LEAST-RECENTLY-USED STACK
              MODEL. CSL-TR-77-139, May 1977
           -  PROGRAM BEHAVIOR AND THE PERFORMANCE OF INTERLEAVED MEMORIES.
              CSL-TR-77-138, May 1977
           -  SEQUENTIAL PREFETCH STRATEGIES FOR INSTRUCTIONS AND DATA.
              CSL-TR-77-131, January 1977
           -  AN "ALMOST-EXACT" SOLUTION TO THE N-PROCESSOR, M-MEMORY
              BANDWIDTH PROBLEM. CSL-TR-76-117, June 1976
           -  THE STACK WORKING SET: A CHARACTERIZATION OF SPATIAL LOCALITY.
              CSL-TR-75-95, July 1975
           -  A NEW PHILOSOPHY FOR WIRE ROUTING. CSL-TR-75-101, November 1975
      *  Reich, V.
           -  The Computer Science Technical Report (CS-TR) Project:
              Considerations from the Library Perspective.. CS-TR-95-1554,
              July 1995
      *  Reid, B.
           -  RESEARCH IN VLSI SYSTEMS DESIGN AND ARCHITECTURE. CSL-TR-81-201,
              March 1981
      *  Reiser, J.
           -  SAIL. CS-TR-76-574, August 1976
           -  BAIL: a debugger for SAIL.. CS-TR-75-523, October 1975
      *  Rennels, G.
           -  Strategic explanations for a diagnostic consultation system.
              CS-TR-83-996, November 1983
      *  Reyen, S.
           -  Combining Register Allocation and Instruction Scheduling.
              CS-TN-95-22, August 1995
      *  Richardson, K.
           -  I/O Characterization and Attribute Cache Data for Eleven
              Measured Workloads. CSL-TR-94-656, December 1994
           -  I/O Characterization and Attribute Caches for Improved I/O
              System Performance. CSL-TR-94-655, December 1994
      *  Richardson, S.
           -  INTERPROCEDURAL ANALYSIS USELESS FOR CODE OPTIMIZATION.
              CSL-TR-87-342, November 1987
      *  Richer, M.
           -  GUIDON-WATCH: a graphic interface for viewing a knowledge-based
              system. CS-TR-85-1068, August 1985
      *  Riddle, W.
           -  Communicating semaphores. CS-TR-71-202, February 1971
      *  Riedl, C.
           -  MPL, Mathematical Programming Language: specification manual for
              Committee review. CS-TR-70-187, November 1970
      *  Rieger, C.
           -  Inference and the computer understanding of natural language..
              CS-TR-73-358, May 1973
           -  Primitive concepts underlying verbs of thought.. CS-TR-72-265,
              February 1972
      *  Riesbeck, C.
           -  A conceptually based sentence paraphraser.. CS-TR-73-357, May
              1973
           -  Primitive concepts underlying verbs of thought.. CS-TR-72-265,
              February 1972
      *  Rinard, M.
           -  The Design, Implementation and Evaluation of Jade: A Portable,
              Implicitly Parallel Programming Language. CSL-TR-94-638, August
              1994
      *  Rivest, R.
           -  Two papers on the selection problem: Time Bounds for Selection
              [by Manual Blum, Robert W. Floyd, Vaughan Pratt, Ronald L.
              Rivest, and Robert E. Tarjan] and Expected Time Bounds for
              Selection [by Robert W. Floyd and Ronald L. Rivest]..
              CS-TR-73-349, April 1973
           -  A procedure for improving the upper bound for the number of
              n-ominoes.. CS-TR-72-263, February 1972
      *  Roberts, B.
           -  Bibliography of Stanford Computer Science reports, 1963-1982.
              CS-TR-82-911, May 1982
      *  Roderick, M.
           -  Exploratory study of computer integrated assembly systems.
              Progress report 3, covering the period December 1, 1975 to July
              31, 1976. CS-TR-76-568, August 1976
      *  Rodnick, J.
           -  Automated ambulatory medical record systems in the U.S..
              CS-TR-82-928, August 1982
      *  Rokicki, T.
           -  Automatic Synthesis and Verification of Gate-Level Timed
              Circuits. CSL-TR-94-652, December 1994
           -  THE ILSP BEHAVIORAL DESCRIPTION LANGUAGE AND ITS GRAPH
              REPRESENTATION FOR BEHAVIORAL SYNTHESIS. CSL-TR-88-350, March
              1988
           -  THOR USER'S MANUAL: LIBRARY FUNCTIONS. CSL-TR-88-349, January
              1988
           -  THOR USER'S MANUAL: TUTORIAL AND COMMANDS. CSL-TR-88-348,
              January 1988
           -  METAFONTware. CS-TR-89-1255, May 1989
           -  A Programming and Problem-Solving Seminar. CS-TR-87-1154, April
              1987
      *  Rose, D.
           -  Generalized nested dissection. CS-TR-77-645, December 1977
           -  Algorithmic aspects of vertex elimination on directed graphs..
              CS-TR-75-531, November 1975
      *  Rosenblum, D.
           -  THE COMPLETE TRANSFORMATION METHODOLOGY FOR SEQUENTIAL RUNTIME
              CHECKING OF AN ANNA SUBSET. CSL-TR-86-301, June 1986
           -  Simulation of an Ultracomputer with Several 'Hot Spots'.
              CS-TR-86-1119, June 1986
      *  Rosenblum, M.
           -  SimOS: A Fast Operating System Simulation Environment.
              CSL-TR-94-631, July 1994
      *  Rosenschein, J.
           -  Solving the Prisoner's Dilemma. CS-TR-84-1032, November 1984
      *  Ross, K.
           -  A programming and problem solving seminar. CS-TR-89-1269, July
              1989
           -  A Procedural Semantics for Well Founded Negation in Logic
              Programs. CS-TR-88-1233, November 1988
      *  Rothberg, E.
           -  The Effects of Latency, Occupancy, and Bandwidth in Distributed
              Shared Memory Multiprocessors. CSL-TR-95-660, January 1995
           -  The performance impact of data reuse in parallel dense Cholesky
              factorization. CS-TR-92-1401, January 1992
           -  An evaluation of left-lookikng, right-looking and multifrontal
              approaches to sparse Cholesky factorization on hierarchical
              memory machines. CS-TR-91-1377, August 1991
           -  Parallel ICCG on a hierarchical memory multiprocessor -
              addressing the triangular solve bottleneck. CS-TR-90-1330,
              October 1990
           -  Techniques for improving the performance of sparse matrix
              factorization on multiprocessor workstations. CS-TR-90-1318,
              June 1990
           -  Fast sparse matrix factorization on modern workstations.
              CS-TR-89-1286, October 1989
      *  Rowe, N.
           -  Modelling degrees of item interest for a general database query
              system. CS-TR-82-947, April 1982
      *  Rowen, C.
           -  DESIGN OF A HIGH PERFORMANCE VLSI PROCESSOR. CSL-TR-83-236,
              February 1983
      *  Roy, H.
           -  Sharp, Reliable Predictions using Supervised Mixture Models.
              CS-TR-95-1547, March 1995
      *  Rudd, K.
           -  Instruction Level Parallel Processors---A New Architectural
              Model for Simulation and Analysis. CSL-TR-94-657, December 1994
      *  Ruf, E.
           -  ON THE SPECIALIZATION OF ONLINE PROGRAM SPECIALIZERS.
              CSL-TR-92-534, July 1992
           -  Avoiding Redundant Specialization during Partial Evaluation.
              CSL-TR-92-518, April 1992
           -  Preserving Information during Online Partial Evaluation.
              CSL-TR-92-517, April 1992
           -  Opportunities for Online Partial Evaluation. CSL-TR-92-516,
              April 1992
           -  Computing Types During Program Specialization. CSL-TR-90-441,
              October 1990
      *  Ruggles, L.
           -  Letterform design systems. CS-TR-83-971, April 1983
      *  Russell, S.
           -  The compleat guide to MRS. CS-TR-85-1080, June 1985
           -  semantic categories of nominals for conceptual dependency
              analysis of natural language.. CS-TR-72-299, July 1972
      *  Rutledge, G.
           -  Dynamic Selection of Models. CS-TR-95-1549, March 1995
      *  Saal, H.
           -  Communicating semaphores. CS-TR-71-202, February 1971
      *  Sacher, R.
           -  On the solution of large, structured linear complementarity
              problems: III.. CS-TR-74-439, August 1974
      *  Sagalowicz, D.
           -  Separability as a physical database design methodology.
              CS-TR-81-898, October 1981
      *  Sagiv, Y.
           -  Optimizing Datalog Programs. CS-TR-86-1132, March 1986
           -  Complexity of a top-down capture rule. CS-TR-84-1009, July 1984
      *  Sahai, B.
           -  VAL TO VHDL TRANSFORMER: AN IMPLEMENTATION GUIDE. CSL-TR-89-390,
              September 1989
      *  Salz, A.
           -  THOR USER'S MANUAL: LIBRARY FUNCTIONS. CSL-TR-88-349, January