A

ANURAG ACHARYA
CMU-CS-94-211
Scalability in Production System Programs
Ph.D. Thesis
November 1994
Keywords: Production system programs, scalability, scalable parallelism, scalable match algorithms, collection-oriented match
FTP: Unavailable

ALI-REZA ADL-TABATABI
CMU-CS-96-133
Scalability in Production System Programs
Ph.D. Thesis
November 1994
Keywords: Compiler optimization, debugger technology
FTP: CMU-CS-96-133.ps

ROBERT J. ALLEN
CMU-CS-97-144
A Formal Approach to Software Architecture
Ph.D. Thesis
May 1997
Keywords: Software architecture, formal specification, architecture description languages, software architecture style, Wright
FTP: CMU-CS-97-144.ps

ERIK M. ALTMANN
CMU-CS-96-167
Episodic Memory for External Information
Ph.D. Thesis
August 1996
Keywords: Cognitive science, Soar, episodic memory, psychology of programming, human-computer interaction, artificial intelligence
FTP: C\ MU-CS-96-167.ps

B

SHUMEET BALUJA
CMU-CS-96-182
Expectation-Based Selective Attention
Ph.D. Thesis
October 1996
Keywords: Selective attention, vision, expectation, prediction, relevance, saliency map, neural networks, connectionism, machine learning, autonomous navigation, movile robots, hand tracking, semiconductor wafer fabrication, face detection, object
FTP: Unavailable

C

LINDA JEAN CAMP
CMU-CS-96-198
Privacy and Reliability in Internet Commerce
Ph.D. Thesis (Engineering and Public Policy)
August 1996
Keywords: Security, anonymity, transactions, atomicity, electronic commerce, privacy, reliability, risk, regulation, law, cryptography
FTP: CMU-CS-96-198.ps

SERGIO VALE AGUIAR CAMPOS
CMU-CS-96-199
A Quantitative Approach to the Formal Verificatio of Real-Time Systems
Ph.D. Thesis
September 1996
Keywords: Real-time systems, forma. verification, symbolic model checking, binary decision diagrams, rate-monotonic scheduling, schedulbility, quantitative timing analysis, Verus language, CTL, LTL, FDDI, Futurebus, PCI Local Bus, robotics controller, aircraft controller
FTP: Unavailable

PRASAD CHALASANI
CMU-CS-94-179
Online Performance-Improvement Algorithms
Ph.D. Thesis
August 1994
Keywords: Learning, robot navigation, performance improvement, online algorithms, competitive analysis, task systems, paging, switching concepts
FTP: CMU-CS-94-179.ps.Z

J. BRADLEY CHEN
CMU-CS-94-145
The Impact of Software Structure and Policy on CPU and
Memory System Performance
Ph.D. Thesis
May 1994
Keywords: Operating systems, memory systems, performance, address tracing
FTP: CMU-CS-94-145.ps.Z

JOHN CHENG
CMU-CS-95-112
Management of Speedup Mechanisms in Learning Architectures
Ph.D. Thesis
January 1995
Keywords: Artificial intelligence, machine learning, learning architectures, speedup learning, multi-strategy learning, Theo
FTP: CMU-CS-95-112.ps

LONNIE DALE CHRISMAN
CMU-CS-96-166
Approximation of Graphical Probabilistic Models by Iterative Dynamic Discretization and its Application to Time-Series Segmentation
Ph.D. Thesis
September 1996
Keywords: Iterative dynamic discretization, model-based time-series segmentation, approximation of graphical probabilitistic models, continuous variables in probabilistic models, discretization of continuous variables, Bayesian networks, Markov fields, Gibbs sampling, focused Gibbs sampling, exact propagation, clique-marginal propagation, combination of Gibbs sampling and exact propagation, knowledge-based model construction, Hidden Segmented Semi-Markov Models (HSSMMs), Hidden segemented generalized Semi-Markov Models (HSGSMMs)
FTP: Unavailable

CHRISTOPHER COLBY
CMU-CS-96-162
Semantics-Based Program Analysis via Symbolic Composition of Transfer Relations
Ph.D. Thesis
August 1996
Keywords: Program analysis, abstract interpretation, symbolic execution, program verification, compilers, debugging, operational semantics, functional languages, imperative languages
FTP: CMU-CS-96-162.ps

D

ROBERT B. DOORENBOS
CMU-CS-95-113
Production Matching for Large Learning Systems
Ph.D. Thesis
January 1995
Keywords: Artificial intelligence, large-scale production systems, machine learning, production match, Soar
FTP: CMU-CS-95-113.ps

RICHARD P. DRAVES
CMU-CS-94-142
Control Transfer in Operating System Kernels
Ph.D. Thesis
May 1994
Keywords: Operating systems, kernel, control transfer, execution model, Mach, continuation
FTP: Unavailable

E

F

ANJA FELDMANN
CMU-CS-95-201
On-line Call Admission for High-Speed Networks
Ph.D. Thesis
October 1995
Keywords: Call admission, high-speed networks, ATM, on-line algorithms, competitive analysis, traffic study, network simulation, routing
FTP: Unavailable

TIM FREEMAN
CMU-CS-94-110
Refinement Types for ML
Ph.D. Thesis
March 1994
Keywords: Programming languages, functional programming, type inference, implicit typing, intersection types, subtyping, polymorphism
FTP: CMU-CS-94-110.ps.Z

ANDRZEJ FILINSKI
CMU-CS-96-119
Controlling Effects
Ph.D. Thesis
May 1996
Keywords: Monads, continuations, computational effects, monadic reflection, logical relations, Scheme, ML
FTP: CMU-CS-96-119.ps

G

SHAI GEVA
CMU-CS-95-163
A Study of Higher-order Sequential Computation
Ph.D. Thesis
August 1995
Keywords: Theory, sequentiality, semantics, full abstraction, applicative (functional) programming, PCF
FTP: CMU-CS-95-163.ps.gz

ANWAR MOHAMMED GHULOUM
CMU-CS-96-200
Compiling Recurrent and Irregular Serial Code for High Performance Computers
Ph.D. Thesis
November 1996
Keywords: Compilers, parallelization, automatic parallelization, high performance computing, Fortran, recurrence, irregularity
FTP: Unavailable

MICHAEL L. GLEICHER
CMU-CS-94-217
A Differential Approach to Graphical Interaction
Ph.D. Thesis
November 1994
Keywords: Constraints, direct manipulation, interaction techniques, user interface toolkits
FTP: CMU-CS-94-217.ps.Z

RICHARD GOODWIN
CMU-CS-96-186
Meta-Level Control for Decision-Theoretic Planners
Ph.D. Thesis
October 1996
Keywords: Decision-theoretic planning, bounded rationality, sensitivity analysis, meta-level control
FTP: CMU-CS-96-186.ps

JOHN GREINER
CMU-CS-97-113
Semantics-bsed Parallel Cost Models and Their Use in Provably
Efficient Implementations
Ph.D. Thesis
April 1997
Keywords: Functional languages, parallel algorithms, lambda calculus, models of computation, computer architecture
FTP: CMU-CS-97-113.ps

KEITH D. GREMBAN
CMU-CS-96-123
Combinatorial Preconditioners for Sparse, Symmetric, Diagonally
Dominant Linear Systems
Ph.D. Thesis
October 1996
Keywords: Linear systems, iterative methods, preconditioners, sparse and very large systems, parallel algorithms
FTP: CMU-CS-96-123.ps

STEPHEN GUATTERY
CMU-CS-95-187
Applications of Graph-Theoretical Properties in Algorithms
Ph.D. Thesis
September 1995
Keywords: Algorithms, graph theory, graph algorithms, spectral methods, numerical linear algebra, eigenvalues, planar graphs, parallel algorithms
FTP: Unavailable

AARTI GUPTA
CMU-CS-94-208
Inductive Boolean Function Manipulation: A Hardware Verification Methodology for Automatic Induction
Ph.D. Thesis
October 1994
Keywords: Formal hardware verification, proofs by induction, automatic inductive verification, inductive Boolean functions, Binary Decision Diagrams, parametric hardware representation, sequential function manipulation, reverse finite state automata
FTP: Unavailable

H

SUSAN K. HINRICHS
CMU-CS-95-155
Compiler Directred Architecture-Dependent Architecture-Dependent
Communication Optimizations
Ph.D. Thesis
June 1995
Keywords: Data parallel compilation, communication optimizations, communication resource management, distributed memory systems
FTP: CMU-CS-95-155.ps

MARK HOLLAND
CMU-CS-94-164
On-Line Data Reconstruction in Redundant Disk Arrays
Ph.D. Thesis
May 1994
Keywords: Data storage, redundant disk arrays, failure recovery, data availability, data reconstruction, parity declustering, clustered RAID, reconstruction algorithms, RAID
FTP: CMU-CS-94-164.ps.Z

I

J

JEFFREY C. JACKSON
CMU-CS-95-183
The Harmonic Sieve: A Novel Application of Fourier Anaylsis to Machine
Learning Theory and Practice
Ph.D. Thesis
August 1995
Keywords: Theoretical computer science, artificial intelligence, computational learning theory, machine learning, algorithms fourier analysis, perceptrons, classification learning, rule extraction, boolean circuits, disjunction normal form (DNF), threshold of parities (TOP), hypothesis boosting, harmonic sieve
FTP: CMU-CS-95-183.ps

SOMESH JHA
CMU-CS-96-202
Symmetry and Induction in Model Checking
Ph.D. Thesis
October 1996
Keywords: Formal verification, temporal logic, CTL, model checking, mu-calculus, symmetry, induction, partial order
FTP: Unavailable

K

JENNIFER KAY
CMU-CS-96-100
STRIPE: Remote Driving Using Limited Image Data
Ph.D. Thesis
January 1997
Keywords: Artificial intelligence, human computer interaction, mobile robots, semin-autonomous vehicles, unmanned ground vehicles, vehicle teleoperation, polytedral-Earth reprojection, low-bandwidth teleoperation, high-latency teleoperation, NavLab, STRIPE
FTP: Unavailable

ALONZO KELLY
CMU-RI-TR-95-33
An Intelligent Predictive Control Approach to the High-Speed Cross-Country Autonomous Navigation Problem
Ph.D. Thesis - Robotics
September 1995

FREDERICK C. KNABE
CMU-CS-95-223
Language Support for Mobile Agents
Ph.D. Thesis
December 1995
Keywords: Mobile agents, functional languages, distributed programming, remote resource access, distributed typing, software mobility, lazy compilation, heterogeneous code, Facile, ML, Internet applications
FTP: CMU-CS-95-223.ps.Z

PUNEET KUMAR
CMU-CS-94-215
Mitigating the Effects of Optimistic Replication in a Distributed File System
Ph.D. Thesis
December 1994
Keywords: Application-specific resolution, conflicting updates, Coda, directory resolution, distributed file systems, high availability, mobile computers, one-copy serializability, optimistic replication, transparency
FTP: CMU-CS-94-215.ps.Z

L

JAMES A. LANDAY
CMU-CS-96-201 (Also appears as CMU-HCII-96-105)
Interactive Sketching for the Early Stages of User Interface Design
Ph.D. Thesis
December 1996
Keywords: User interfaces, design, sketching, storyboarding, gesture recognition, interaction techniques, pen-based computing, SILK architectures, speedup learning, multi-strategy learning, Theo
FTP: Unavailable

ALON LAVIE CMU-CS-96-126
GLR*: A Robust Grammar-Focused Parser for Spontaneously Spoken Language Ph.D. Thesis May 1996 Keywords: Natural language processing, speech understanding, machine translation, parsing, generalized LR parsing, JANUS
FTP: Unavailable

MARK LILLIBRIDGE
CMU-CS-97-122
Translucent Sums: A Foundation for Higher-Order Module Systems
Ph.D. Thesis
May 1997
Keywords: Type theory, modularity, abstraction, sharing, functional programming, lambda calculus, Stanford ML, modules and interfaces, packages, first-class modules, abstract data types
FTP: Unavailable

A. BRYAN LOYALL
CMU-CS-97-123
Believable Agents: Building Interactive Personalities
Ph.D. Thesis
May 1997
Keywords: Artificial intelligence, believable agents, interactive characters, personality, active language, embodied language and action, situated natural language generation, art, entertainment, Oz
FTP: Unavailable

QI LU
CMU-CS-96-131
Improving Data Consistency for Mobile File Access Using Isolation-Only Transactions
Ph.D. Thesis
May 1996
Keywords: Mobile computing, distributed file system, disconnected operation, optimistic replication, transactions, conflict detection and resolution, application-specific resolution, IOT
FTP: CMU-CS-96-131.ps.gz

JGUEI-YUAN (Ken) LUEH
CMU-CS-97-135
Fusion-Based Register Allocation
Ph.D. Thesis
May 1997
Keywords: Code generation, register allocation, fusion-based register allocation, region-based compilation, spilling, splitting, delayed spilling, rematerialization
FTP: CMU-CS-97-135.ps

M

MARK W. MAIMONE
CMU-CS-96-125
Characterizing Stereo Matching Problems using Local Spatial Frequency
Ph.D. Thesis
May 1996
Keywords: Computer vision, stereo matching, local spatial frequency, Gabor filters, scalogram, phase-based stereo, scale space, perspective foreshortening, ambiguous (false) matches, ground truth FTP: CMU-CS-96-125.ps.gz, CMU-CS-96-125A.ps.gz, CMU-CS-96-125B.ps.gz

FRANCESMARY MODUGNO
CMU-CS-95-130
Extending End-User Programming in a Visual Shell with Programming by Demonstration and Graphical Language Techniques
Ph.D. Thesis
March 1995
Keywords: End-user programming, programming by demonstration, visual language, visual shell, user interface, pursuit
[Also appears as CMU-HCII-95-100]
FTP: Unavailable

FRANCESMARY MODUGNO
CMU-CS-95-130A
Extending End-User Programming in a Visual Shell with Programming by Demonstration and Graphical Language Techniques
Ph.D. Thesis (User Study Materials)
March 1995
[Also appears as CMU-HCII-95-100]
FTP: Unavailable

GREG MORRISETT
CMU-CS-95-226.ps
Compiling with Types
Ph.D. Thesis
December 1995
Keywords: Compiling types, Standard ML, unboxing, garbage collection, closure conversion
FTP: CMU-CS-95-226.ps

JOHN MOUNT
CMU-CS-95-152
Application of Convex Sampling to Optimization and Contingency Table Generation/Counting
Ph.D. Thesis
May 1995
Keywords: Probabilistic computation, Markov chains, constrained optimization, counting problems, statistical computing
FTP: CMU-CS-95-152.ps

LILY B. MUMMERT
CMU-CS-96-195
Exploiting Weak Connectivity in a Distributed File System
Ph.D. Thesis
December 1996
Keywords: Distributed file systems, weak connectivity, high availability, mobile computing, Coda, reintegration, application-transparent adaptation, UNIX
FTP: CMU-CS-96-195.ps

N

BRADLEY J. NELSON
CMU-RI-TR-95
Object Schemas and Port-based Agents for Assimilating Disparate Sensory Feedback
Ph.D. Thesis - Robotics
August 1995
FTP: Unavailable

SCOTT M. NETTLES
CMU-CS-95-225
Safe and Efficient Persistent Heaps
Ph.D. Thesis
December 1995
Keywords: Persistence, transactions, storage management, garbage collection, copying garbage collection, concurrent garbage collection, replicating garbage collection, orthogonal persistence
FTP: CMU-CS-95-225.ps

WILLIAM J. NIEHAUS
CMU-CS-96-127
Design of Maximum-Cardinality and Maximum-Weight Clique Heuristics with Applications
Ph.D. Thesis
May 1996
Keywords: Heuristic, maximum-clique, maximum matching, set-partitioning, genetic algorithms, optimized crossover
FTP: CMU-CS-96-127.ps

O

CHRIS OKASAKI
CMU-CS-96-177
Purley Functional Data Structures
Ph.D. Thesis
September 1996
Keywords: Functional programming, data structures, lazy evaluation, amortization
FTP: Unavailable

SUSAN OLDER
CMU-CS-96-204
A Denotational Framework for Fair Communicating Processes
Ph.D. Thesis
December 1996
Keywords: Denotational semantics, fairness, communicating processes, traces, concurrency, full abstraction
FTP: CMU-CS-96-204.ps

P

BARAK A. PEARLMUTTER
CMU-CS-96-114
An Investigation of the Gradient Descent Process in Neural Networks
Ph.D. Thesis
January 1996
Keywords: Neural networks, control, optimization, gradient descent, Newton method, convergence rate, Hessian
FTP: Unavailable

MARIA ALICIA PEREZ
CMU-CS-95-175
Learning Search Control Knowledge to Improve Plan Quality
Ph.D. Thesis
July 1995
Keywords: Artificial intelligence, planning, problem solving, machine learning, Prodigy, plan quality, evaluation of plans, planning performance, search control knowledge
FTP: Unavailable

CONRAD J. POELMAN
CMU-CS-95-173
The Paraperspective and Projective Factorization Methods for Recovering Shape and Motion
PH.D. Thesis
July 1995
Keywords: Computer vision, motion, shape, time-varying imagery, iterative minimization
FTP: Unavailable

Q

R

MOSUR K. RAVISHANKAR
CMU-CS-96-143
Efficient Algorithms for Speech Recognition
PH.D. Thesis
May 1996
Keywords: Speech recognition, search algorithms, real time recognition, lexical tree search, lattice search, fast match algorithms, memory size reduction
FTP: CMU-CS-96-143.ps

JAMES M. REHG
CMU-CS-95-138
Visual Analysis of High DOF Articulated Objects with Application to Hand Tracking
PH.D. Thesis (Electrical and Computer Engineering)
April 1995
Keywords: Model-based visual tracking, articulated and nonrigid object motion, human motion analysis, human-computer interaction, gesture recognition
FTP: CMU-CS-95-138.ps.Z

W. SCOTT NEAL REILLY
CMU-CS-96-138
Believable Social and Emotional Agents
PH.D. Thesis
May 1996
Keywords: Artificial intelligence, interactive art, interactive drama, interactive entertainment, interactive fiction, believable agents, emotional agents, social agents, interactive characters, Oz, Tok, Em, agent architectures, autonomous agents, social behaviors, agent modeling, personality
FTP: CMU-CS-96-138.ps

RONALD ROSENFELD
CMU-CS-94-138
Adaptive Statistical Language Modeling: A Maximum Entropy Approach
Ph.D. Thesis
April 1994
Keywords: Language modeling, adaptive language modeling, statistical language modeling, maximum entropy, speech recognition
FTP: Unavailable

S

JIRI SGALL
CMU-CS-94-144
On-Line Scheduling on Parallel Machines
Ph.D. Thesis
May 1994
Keywords: Competitive analysis, dependencies, network topology, online algorithms, parallel jobs, parallel machines, randomization, scheduling, virtualization
FTP: Unavailable

JONATHAN RICHARD SHEWCHUK
CMU-CS-97-137
Delaunay Refinement Mesh Generation
Ph.D. Thesis
May 1997
Keywords: Tetrahedral mesh generation, Delaunay triangulation, arbitrary precision floating-point arithmetic, computational geometry, geometric robustness
FTP: Unavailable

JEFFEREY A. SHUFELT
CMU-CS-96-164
Projective Geometry and PHotometry for Object Detection and Delineation
Ph.D. Thesis
July 1996
Keywords: Computer vision, cartographic feature extraction, object detection, aerial image interpretation, building detection, monocular image analysis, photogrammetry, projective geometry, vanishing points, model-based recognition
FTP: Unavailable

BRUCE S. SIEGELL
CMU-CS-95-168
Automatic Generation of Parallel Programs with Dynamic Load Balancing for a Network of Workstations
Ph.D. Thesis (Electrical and Computer Engineering)
May 1995
Keywords: Dynamic load balancing, parallelizing, compilers, network of workstations, self-scheduling, grain size, Nectar
FTP: CMU-CS-95-168.ps

SANJIV SINGH
CMU-RI-TR-95-27
Synthesis of Tactical Plans For Robotic Excavation
Ph.D. Thesis - Robotics
January 1995

SEAN W. SMITH
CMU-CS-94-177
Secure Distributed Time for Secure Distributed Protocols
Ph.D. Thesis
September 1994
Keywords: Distributed systems, concurrency, security and protection, checkpoint/restart, fault tolerance
FTP: Unavailable

DAVID CAPPERS STEERE
CMU-CS-96-194
Using Dynamic Sets to Reduce the Aggregate Latency of Data Access
Ph.D. Thesis
November 1996
Keywords: Search, distributed systems, file systems, information retrieval, prefetching, performance, latency, modeling, dymamic sets, world wide web
FTP: Unavailable

ROBERT D. STOCK
CMU-CS-95-182
Fourier Formulation of Illumination Optics and Computer Automated
Reflector Design
Ph.D. Thesis (Physics)
Keywords: Ray tracing, near zone, luminaire characterization, lighting invariants, extended light sources, analytical representation, reflector modelling, computer-aided design
FTP: CMU-CS-95-182.ps, CMU-CS-95-182A.ps (CS title page)

PETER D. STOUT
CMU-CS-94-230
Wax: A Wide Area Computation System
Ph.D. Thesis
December 1994
Keywords: Distributed systems, parallel processing, networks
FTP: Unavailable

T

DAVID TARDITI
CMU-CS-97-108
Design and Implementation of Code Optimizations for a Type-Directed
Compiler for Standard ML
Ph.D. Thesis
December 1996
Keywords: Standard ML, optimization, compilation, functional programming, garbage collection, automatic storage management
FTP: CMU-CS-97-108.ps

JOSEPH TEBELSKIS
CMU-CS-95-142
Speech Recognition Using Neural Networks
Ph.D. Thesis
May 1995
Keywords: Speech recognition, neural networks, hidden Markov models, hybrid systems, acoustic modeling, prediction, classification, probability estimation, discrimination, global optimization
FTP: CMU-CS-95-142.ps, CMU-CS-95-142A.ps, CMU-CS-95-142B.ps.

U

V

W

KIM RITTER WAGNER
CMU-CS-94-159
Solving Recursive Domain Equations with Enriched Categories
Ph.D. Thesis
July 1994
Keywords: Semantics of programming languages, recursive domain equations, enriched categories, metric spaces, quantales
FTP: CMU-CS-94-159.ps

XUEMEI WANG
CMU-CS-96-154
Verification of Arithmetic Circuits
Ph.D. Thesis
June 1996
Keywords: Artificial intelligence, planning, problem solving, PRODIGY, knowledge acquisition, machine learning, observation, practice
FTP: Unavailable

THOMAS E. WARFEL
CMU-CS-96-155
Tasks and Connection Sets: Choreographed Communications on a Reconfigurable Connection-Based Parallel Computer
Ph.D. Thesis (Electrical and Computer Engineering)
April 1996
Keywords: Parallel computing, reconfigurable networks, barrier synchronization, communication context switch, virtual circuits, bandwidth reservation, communication scheduling
FTP: CMU-CS-96-155.ps

WILLIAM WELCH
CMU-CS-95-217
Serious Putty: Topological Design for Variational Curves and Surfaces
Ph.D. Thesis
December 1995
Keywords: Curves and surfaces, shape optimization, topology, computer aided design
FTP: CMU-CS-95-217A.ps, CMU-CS-95-217B.ps, CMU-CS-95-217C.ps

PETER WEYHRAUCH
CMU-CS-97-109
Guiding Interactive Drama
Ph.D. Thesis
January 1997
Keywords: Computer science, artificial intelligence, interactive drama, interactive story, interactive fiction, interactive art, interactive entertainment, abstract adversary search, memoized search, sampled search, sampling search, SAS, SAS+, MFC, MMFC, aesthetic evaluation function, user experience, Oz Project
FTP: Unavailable

MARK DAMON WHEELER
CMU-CS-96-188
Automatic Modeling and Locationization for Object Recognition
Ph.D. Thesis
October 1996
Keywords: Localization, pose refinement, automatic object modeling, recognition, robust statistics, consensus, M-estimation, surface merging
FTP: Unavailable

J. TODD WILSON
CMU-CS-94-186
The Assembly Tower and Some Categorical and Algebraic Aspects
of Frame Theory
Ph.D. Thesis
May 1994
Keywords: Universal algebra, category theory, topology, lattice theory, frame theory
FTP: CMU-CS-94-207.ps

MICHAEl J. WITBROCK
CMU-CS-96-135
Learning Models of Speaker Variation
Ph.D. Thesis
July 1996
Keywords: Talker variability, speaker variability, speech synthesis, speaker adaptation, FFT, LPC, log area ratio, voice transformation, neural networks, canonical discriminant analysis, principal components, speaker modelling, non-linear discrimination, non-linear compression, second order networks, classification figure of merit
FTP: Unavailable

X

YALIN XIONG
CMU-RI-TR-95-35
High Precision Image Matching and Shape Recovery
Ph.D. Thesis - Robotics
September 1995

Y

BENNET YEE
CMU-CS-94-149
Using Secure Coprocessors
Ph.D. Thesis
May 1994
Keywords: Authentication, coprocessor, cryptography, integrity, privacy, security
FTP: CMU-CS-94-149.ps.Z

Z

AMY MOORMANN ZAREMSKI
CMU-CS-96-103
Signature and Specification Matching
Ph.D. Thesis
January 1996
Keywords: Software reuse, software libraries, component retrieval, library indexing, subtyping, signature matching, specification matching
FTP: CMU-CS-96-103.ps

XUDONG ZHAO
CMU-CS-96-149
Verification of Arithmetic Circuits
Ph.D. Thesis
August 1996
Keywords: Formal verification, arithmetic circuits, temporal logic, CTL, word level CTL, symbolic model checking, work level model checking, theorem proving, binary decision diagrams, multi-terminal binary decision diagrams, binary moment diagrams, hybrid decision diagrams, SRT division algorithm
FTP: Unavailable

Technical Report Directories

Alumni Home Page