Technical Reports by Author
Theses by Author
CMU-CS-98-100
Run-time Code Generation and Modal-ML
Abstract,
.ps,
.pdf,
.html
CMU-CS-98-101
Natural Programming: Project Overview and Proposal
Abstract,
.ps,
.pdf,
.html
CMU-CS-98-102
Mediating Among Diverse Data Formats
Abstract,
.ps,
.pdf
CMU-CS-98-103
Selected Reports: Fall 1997 Software Systems Course
Abstract,
.ps,
.pdf
CMU-CS-98-104
Selective Enumeration - A Formal Definition
Abstract,
.ps
CMU-CS-98-105
Automating Computational Molecular Genetics: Solving the Microsatellite
Genotyping Problem
Abstract,
.ps,
.pdf
CMU-CS-98-106
Compositional Reasoning in Model Checking
Abstract,
.ps
CMU-CS-98-107
The Fox Project: Advanced Language Technology for Extensible Systems
Abstract,
.ps
CMU-CS-98-108
Situation-Dependent Learning for Interleaved Planning and Robot
Execution
Abstract,
.ps,
.pdf
CMU-CS-98-109
Informedia News-On Demand: Using Speech Recognition to Create A Digital
Video Library
Abstract,
.ps
CMU-CS-98-110
Improving Acoustic Models by Watching Television
Abstract,
.ps
CMU-CS-98-111
CMU-CS-98-112
CMU-CS-98-113
CMU-CS-98-114
CMU-CS-98-115
CMU-CS-98-116
CMU-CS-98-117
CMU-CS-98-118
CMU-CS-98-119
CMU-CS-98-120
CMU-CS-98-121
CMU-CS-98-122
CMU-CS-98-123
CMU-CS-98-124
CMU-CS-98-125
CMU-CS-98-126
CMU-CS-98-127
CMU-CS-98-128
CMU-CS-98-129
CMU-CS-98-130
CMU-CS-98-131
CMU-CS-98-132
CMU-CS-98-133
CMU-CS-98-134
CMU-CS-98-135
CMU-CS-98-136
CMU-CS-98-137
CMU-CS-98-138
CMU-CS-98-139
CMU-CS-98-140
CMU-CS-98-141
CMU-CS-98-142
CMU-CS-98-143
CMU-CS-98-144
CMU-CS-98-145
CMU-CS-98-146
CMU-CS-98-147
CMU-CS-98-148
CMU-CS-98-149
CMU-CS-98-150
CMU-CS-98-151
CMU-CS-98-152
CMU-CS-98-153
CMU-CS-98-154
CMU-CS-98-155
CMU-CS-98-156
CMU-CS-98-157
CMU-CS-98-158
CMU-CS-98-159
CMU-CS-98-160
CMU-CS-98-161
CMU-CS-98-162
CMU-CS-98-163
CMU-CS-98-163R
CMU-CS-98-164
CMU-CS-98-165
CMU-CS-98-165R
CMU-CS-98-166
CMU-CS-98-167
CMU-CS-98-168
CMU-CS-98-169
CMU-CS-98-170
CMU-CS-98-171
CMU-CS-98-172
CMU-CS-98-173
CMU-CS-98-174
CMU-CS-98-175
CMU-CS-98-176
CMU-CS-98-177
CMU-CS-98-178
CMU-CS-98-179
CMU-CS-98-180
CMU-CS-98-181
CMU-CS-98-182
CMU-CS-98-183
CMU-CS-98-184
CMU-CS-98-185
CMU-CS-98-186
CMU-CS-98-187
CMU-CS-98-188
CMU-CS-98-189
Stochastic Voting Protocol
Abstract,
.ps,
.pdf
A Nitpick Analysis of Mobile IPV6
Abstract,
.ps,
Cover.ps
PThreads for Dynamic Parallelism
Abstract,
.ps
Unavailable to Date
Translucent Cache Management for Mobile Computing
Abstract,
A.ps,
B.ps,
C.ps,
D.ps,
E.ps,
F.ps,
G.ps,
H.ps,
I.ps,
J.ps,
K.ps,
L.ps,
M.ps,
N.ps,
O.ps,
.pdf
(A-0.ps = whole thesis)
Proving Correctness of a Controller Algorithm for the Raid Level 5
System
Abstract,
.ps,
.ps
Mobile Data Access
Abstract,
.ps,
.pdf
Mindreader: Querying Databases through Multiple Examples
Abstract,
.ps
Using EM to Classify Text from Labeled and Unlabeled Documents
Abstract,
.ps
Verification of Floating-Point Adders
Abstract,
.ps
Learning to Extract Symbolic Knowledge from the World Wide Web
Abstract,
.ps,
.pdf
Unavailable to Date
Combining Symbolic Model Checking with Uninterpreted Functions for
Out-Of-Order Processor Verification
Abstract,
.ps
Relational Interpretations of Recursive Types in an Operational
Setting
Abstract,
.ps
Accurate Modeling of Region Data
Abstract,
.ps
Experiments with Parallel Pointer-Based Algorithms
Abstract,
Unavailable Electronically
Efficient Irregular Computation on High-Bandwidth Pipelined-Memory
Multiprocessors
Abstract,
Unavailable Electronically
A Framework and Toolkit for the Construction of Multimodel Learning
Interfaces
Abstract,
.ps,
.pdf
Respectful Type Converters
Abstract,
.ps
Arithmetic Circuit Verification Based on Word-Level Decision
Diagrams
Abstract,
.ps,
.pdf
Algorithm Evolution with Internal Reinforcement for Signal Understanding
Abstract,
.ps,
.pdf
A Building Model Evaluation Suite Using the CMU Site Exchange Format
Abstract,
By request only
Robust Exchange of Cartographic Models for Buildings and Roads:
The CMU MAPSLab Site Exchange Format
Abstract,
By request only
Intensional Investigations
Abstract,
.ps,
.pdf
Core-Stateless Fair Queueing: Achieving Approximately Fair
Bandwidth Allocations in High Speed Networks
Abstract,
.ps,
.pdf
Selectivity Estimation of Window Queries for Line Segment Datasets
Abstract,
.ps
Quality-of-Service Routing in Integrated Services Networks
Abstract,
.ps
Experiences with an Interactive Museum Tour-Guide Robot
Abstract,
.ps
Compiler and Hardware Support for Automatic Instruction Prefetching:
A Cooperative Approach
Abstract,
.ps
Unavailable to Date
A Framework for Programming Embedded Systems: Initial Design and Results
Abstract,
.ps,
.pdf
The Statistical Properties of Host Load
Abstract,
.ps,
.pdf
The Measured Network Traffic of Compiler-Parallelized Programs
Abstract,
.ps,
.pdf
MacFS: A Portable Macintosh File System Library
Abstract,
.ps,
.pdf
On Distributed Network Resource Allocation
Abstract,
.ps,
.pdf
Planning under Uncertainty in Dynamic Domains
Abstract,
.ps,
.pdf
An Evaluation of Linear Models for Host Load Prediction
Abstract,
.ps,
.pdf
Unavailable to Date
Beagle: A Resource Allocation Protocol for Advanced Services Internet
Abstract,
.ps,
.pdf
Anti-Boxology: Agent Design in Cultural Context
Abstract,
.ps,
.ps.gz
.pdf
Also available in sections:
A.ps.gz,
B.ps.gz,
C.ps.gz,
D.ps.gz,
E.ps.gz,
F.ps.gz,
G.ps.gz,
H.ps.gz,
I.ps.gz
Learning Evaluation Functions for Global Optimization
Abstract,
.ps
The Case for an Open Data Model
Abstract,
.ps,
.pdf
Compiling with Proofs
Abstract,
.ps,
.pdf
Usability of Security: A Case Study
Abstract,
.ps,
.pdf
On the Kahn Principle and Fair Networks
Abstract,
.ps,
.pdf
Performance Characteristics of Mirror Servers on the Internet
Abstract,
.ps,
.pdf
Research in Image Understanding and Automated Cartography: 1997-1998
Abstract,
By request only
Parallelizing and De-parallelizing Elimination Orders
Abstract,
.ps,
.pdf
Unavailable to Date
Automated Cartographic Feature Attribution Using Panchromatic and
Hyperspectral Imagery
Abstract,
By request only
Ordered Binary Decision Diagrams and Minimal Trellises
Abstract,
.ps,
.pdf
Capturing Sofware Architecture Design Expertise with Armani
(Version 1.0)
Abstract,
.ps,
.pdf
You may also wish to view CMU-CS-99-161
Capturing Sofware Architecture Design Expertise with Armani
(Version 2.3)
Abstract,
.ps,
.pdf
Admissibility of Fixpoint Induction over Partial Types
Abstract,
.ps,
.pdf
An Approach for Quality of Service Management
Abstract,
.ps,
See updated version CMU-CS-98-165R
An Approach for Quality of Service Management
Abstract,
.ps,
.pdf,
(Revised version of CMU-CS-98-165)
A Probabilistic Method for Tracking a Vocalist
Abstract,
.ps,
.pdf
A Case for Customizable Resource Management in Networks
Abstract,
.ps,
.pdf
What is a Recursive Module?
Abstract,
.ps,
.pdf
Software-Controlled Multithreading Using Informing Memory Operations
Abstract,
.ps,
.pdf
Unpublished
Extending Cache Coherence to Support Thread-Level Data Speculation on a
Single Chip and Beyond
Abstract,
.ps,
.pdf
Supporting Online Services in Environments Constrained by Communication
Abstract,
.ps,
.pdf
Twelf User's Guide (Version 1.2)
Abstract,
.ps,
.pdf
The Case for Prediction-based Best-effort Real-time Systems
Abstract,
.ps,
.pdf
The Statistical Properties of Host Load (Extended Version)
Abstract,
.ps,
.pdf
Edge Coloring, Polyhedra and Probability
Abstract,
.ps,
.pdf
Transparent and Opaque Interpretations of Datatypes
Abstract,
.ps,
.pdf
Stack-Based Typed Assembly Language
Abstract,
.ps,
.pdf
Monte Carlo Hidden Markov Models
Abstract,
.ps,
.pdf
Unavailable to Date
Unavailable to Date
Integrity and Performance in Network Attached Storage
Abstract,
.ps,
.pdf
Ordered Linear Logic Programming
Abstract,
.ps,
.pdf
A Parallel, Multithreaded Decision Tree Builder
Abstract,
.ps,
.pdf
Unavailable to Date
The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic
Abstract,
.ps,
.pdf
Layered Learning in Multi-Agent Systems
Abstract,
.ps,
.pdf
A Symbiotic Relationship Between Formal Methods and Security
Abstract
.ps,
.pdf
A Numerical Optimization Approach to General Graph Drawing
Abstract
.ps,
.pdf
Return to:
SCS Technical Report Collection
School of Computer Science homepage
This page maintained by copetas@cs.cmu.edu