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
Stochastic Voting Protocol
Abstract, .ps, .pdf

CMU-CS-98-113
A Nitpick Analysis of Mobile IPV6
Abstract, .ps, Cover.ps

CMU-CS-98-114
PThreads for Dynamic Parallelism
Abstract, .ps

CMU-CS-98-115
Unavailable to Date

CMU-CS-98-116
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)

CMU-CS-98-117
Proving Correctness of a Controller Algorithm for the Raid Level 5 System
Abstract, .ps, .ps

CMU-CS-98-118
Mobile Data Access
Abstract, .ps, .pdf

CMU-CS-98-119
Mindreader: Querying Databases through Multiple Examples
Abstract, .ps

CMU-CS-98-120
Using EM to Classify Text from Labeled and Unlabeled Documents
Abstract, .ps

CMU-CS-98-121
Verification of Floating-Point Adders
Abstract, .ps

CMU-CS-98-122
Learning to Extract Symbolic Knowledge from the World Wide Web
Abstract, .ps, .pdf

CMU-CS-98-123
Unavailable to Date

CMU-CS-98-124
Combining Symbolic Model Checking with Uninterpreted Functions for Out-Of-Order Processor Verification
Abstract, .ps

CMU-CS-98-125
Relational Interpretations of Recursive Types in an Operational Setting
Abstract, .ps

CMU-CS-98-126
Accurate Modeling of Region Data
Abstract, .ps

CMU-CS-98-127
Experiments with Parallel Pointer-Based Algorithms
Abstract, Unavailable Electronically

CMU-CS-98-128
Efficient Irregular Computation on High-Bandwidth Pipelined-Memory Multiprocessors
Abstract, Unavailable Electronically

CMU-CS-98-129
A Framework and Toolkit for the Construction of Multimodel Learning Interfaces
Abstract, .ps, .pdf

CMU-CS-98-130
Respectful Type Converters
Abstract, .ps

CMU-CS-98-131
Arithmetic Circuit Verification Based on Word-Level Decision Diagrams
Abstract, .ps, .pdf

CMU-CS-98-132
Algorithm Evolution with Internal Reinforcement for Signal Understanding
Abstract, .ps, .pdf

CMU-CS-98-133
A Building Model Evaluation Suite Using the CMU Site Exchange Format
Abstract, By request only

CMU-CS-98-134
Robust Exchange of Cartographic Models for Buildings and Roads:
The CMU MAPSLab Site Exchange Format
Abstract, By request only

CMU-CS-98-135
Intensional Investigations
Abstract, .ps, .pdf

CMU-CS-98-136
Core-Stateless Fair Queueing: Achieving Approximately Fair Bandwidth Allocations in High Speed Networks
Abstract, .ps, .pdf

CMU-CS-98-137
Selectivity Estimation of Window Queries for Line Segment Datasets
Abstract, .ps

CMU-CS-98-138
Quality-of-Service Routing in Integrated Services Networks
Abstract, .ps

CMU-CS-98-139
Experiences with an Interactive Museum Tour-Guide Robot
Abstract, .ps

CMU-CS-98-140
Compiler and Hardware Support for Automatic Instruction Prefetching: A Cooperative Approach
Abstract, .ps

CMU-CS-98-141
Unavailable to Date

CMU-CS-98-142
A Framework for Programming Embedded Systems: Initial Design and Results
Abstract, .ps, .pdf

CMU-CS-98-143
The Statistical Properties of Host Load
Abstract, .ps, .pdf

CMU-CS-98-144
The Measured Network Traffic of Compiler-Parallelized Programs
Abstract, .ps, .pdf

CMU-CS-98-145
MacFS: A Portable Macintosh File System Library
Abstract, .ps, .pdf

CMU-CS-98-146
On Distributed Network Resource Allocation
Abstract, .ps, .pdf

CMU-CS-98-147
Planning under Uncertainty in Dynamic Domains
Abstract, .ps, .pdf

CMU-CS-98-148
An Evaluation of Linear Models for Host Load Prediction
Abstract, .ps, .pdf

CMU-CS-98-149
Unavailable to Date

CMU-CS-98-150
Beagle: A Resource Allocation Protocol for Advanced Services Internet
Abstract, .ps, .pdf

CMU-CS-98-151
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

CMU-CS-98-152
Learning Evaluation Functions for Global Optimization
Abstract, .ps

CMU-CS-98-153
The Case for an Open Data Model
Abstract, .ps, .pdf

CMU-CS-98-154
Compiling with Proofs
Abstract, .ps, .pdf

CMU-CS-98-155
Usability of Security: A Case Study
Abstract, .ps, .pdf

CMU-CS-98-156
On the Kahn Principle and Fair Networks
Abstract, .ps, .pdf

CMU-CS-98-157
Performance Characteristics of Mirror Servers on the Internet
Abstract, .ps, .pdf

CMU-CS-98-158
Research in Image Understanding and Automated Cartography: 1997-1998
Abstract, By request only

CMU-CS-98-159
Parallelizing and De-parallelizing Elimination Orders
Abstract, .ps, .pdf

CMU-CS-98-160
Unavailable to Date

CMU-CS-98-161
Automated Cartographic Feature Attribution Using Panchromatic and Hyperspectral Imagery
Abstract, By request only

CMU-CS-98-162
Ordered Binary Decision Diagrams and Minimal Trellises
Abstract, .ps, .pdf

CMU-CS-98-163
Capturing Sofware Architecture Design Expertise with Armani
(Version 1.0)
Abstract, .ps, .pdf
You may also wish to view CMU-CS-99-161

CMU-CS-98-163R
Capturing Sofware Architecture Design Expertise with Armani
(Version 2.3)
Abstract, .ps, .pdf

CMU-CS-98-164
Admissibility of Fixpoint Induction over Partial Types
Abstract, .ps, .pdf

CMU-CS-98-165
An Approach for Quality of Service Management
Abstract, .ps, See updated version CMU-CS-98-165R

CMU-CS-98-165R
An Approach for Quality of Service Management
Abstract, .ps, .pdf, (Revised version of CMU-CS-98-165)

CMU-CS-98-166
A Probabilistic Method for Tracking a Vocalist
Abstract, .ps, .pdf

CMU-CS-98-167
A Case for Customizable Resource Management in Networks
Abstract, .ps, .pdf

CMU-CS-98-168
What is a Recursive Module?
Abstract, .ps, .pdf

CMU-CS-98-169
Software-Controlled Multithreading Using Informing Memory Operations
Abstract, .ps, .pdf

CMU-CS-98-170
Unpublished

CMU-CS-98-171
Extending Cache Coherence to Support Thread-Level Data Speculation on a Single Chip and Beyond
Abstract, .ps, .pdf

CMU-CS-98-172
Supporting Online Services in Environments Constrained by Communication
Abstract, .ps, .pdf

CMU-CS-98-173
Twelf User's Guide (Version 1.2)
Abstract, .ps, .pdf

CMU-CS-98-174
The Case for Prediction-based Best-effort Real-time Systems
Abstract, .ps, .pdf

CMU-CS-98-175
The Statistical Properties of Host Load (Extended Version)
Abstract, .ps, .pdf

CMU-CS-98-176
Edge Coloring, Polyhedra and Probability
Abstract, .ps, .pdf

CMU-CS-98-177
Transparent and Opaque Interpretations of Datatypes
Abstract, .ps, .pdf

CMU-CS-98-178
Stack-Based Typed Assembly Language
Abstract, .ps, .pdf

CMU-CS-98-179
Monte Carlo Hidden Markov Models
Abstract, .ps, .pdf

CMU-CS-98-180
Unavailable to Date

CMU-CS-98-181
Unavailable to Date

CMU-CS-98-182
Integrity and Performance in Network Attached Storage
Abstract, .ps, .pdf

CMU-CS-98-183
Ordered Linear Logic Programming
Abstract, .ps, .pdf

CMU-CS-98-184
A Parallel, Multithreaded Decision Tree Builder
Abstract, .ps, .pdf

CMU-CS-98-185
Unavailable to Date

CMU-CS-98-186
The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic
Abstract, .ps, .pdf

CMU-CS-98-187
Layered Learning in Multi-Agent Systems
Abstract, .ps, .pdf

CMU-CS-98-188
A Symbiotic Relationship Between Formal Methods and Security
Abstract .ps, .pdf

CMU-CS-98-189
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