COMPUTER SCIENCE TECHNICAL REPORTS 2000
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)


Technical Reports by Author
Theses by Author

CMU-CS-00-100
Modeling and Scheduling of MEMS-Based Storage Devices
Abstract
Unavailable Electronically. Please see references in abstract.

CMU-CS-00-101
Boolean Satisfiability with Transitivity Constraints
Abstract, .ps, .pdf

CMU-CS-00-102
Partial Order Reduction for Verification of Timed Systems
Abstract, .ps, .pdf

CMU-CS-00-103
Counterexample-guided Abstraction Refinement
Abstract, .ps, .pdf

CMU-CS-00-104
Sound and Complete Elimination of Singleton Kinds
Abstract, .ps, .pdf

CMU-CS-00-105
Accelerating Exact k-means Algorithms with Geometric Reasoning
Abstract, .ps, .pdf

CMU-CS-00-106
Toward Compositional Analysis of Security Protocols Using Theorem Proving
Abstract, .ps, .pdf

CMU-CS-00-107
Combining Theory Generation and Model Checking for Security Protocol Analysis
Abstract, .ps, .pdf

CMU-CS-00-108
Unavailable to date

CMU-CS-00-109
Programmable Router Architecture Supporting Control Plane Extensibility
Abstract, .ps, .pdf

CMU-CS-00-110
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
Abstract, .ps, .pdf

CMU-CS-00-111
Manipulation of Pose Distributions
Abstract, .ps, .pdf

CMU-CS-00-112
Packet Fair Queueing Algorithms for Wireless Networks with Location-Dependent Errors
Abstract, .ps, .pdf

CMU-CS-00-113
Solving large Problems Quickly: Progress in 1999
Abstract, .ps, .pdf

CMU-CS-00-114
Unavailable to date

CMU-CS-00-115
Unpublished

CMU-CS-00-116
Unavailable to date

CMU-CS-00-117
Fast and Flexible Application-level Networking on Exokernel Systems
Abstract, .ps, .pdf

CMU-CS-00-118
Evaluation of Task Assignment Policies for Supercomputing Servers: The Case for Load Unbalancing and Fairness
Abstract, .ps, .pdf

CMU-CS-00-119
Mixed-nets: Factored Mixtures of Gaussians in Bayesian Networks with Mixed Continuous and Discrete Variables
Abstract, .ps, .pdf

CMU-CS-00-120
REUNITE: A Recursive Unicast Approach to Multicast
Abstract, .ps, .pdf

CMU-CS-00-121
Unavailable to date

CMU-CS-00-122
Unavailable to date

CMU-CS-00-123
Automated Formula Generation and Performance Learning for the FFT
Abstract, .ps, .pdf

CMU-CS-00-124
Spatial Join Selectivity Using Power Laws
Abstract, .ps, .pdf

CMU-CS-00-125
Robust Monte Carlo Localization for Mobile Robots
Abstract, .ps, .pdf

CMU-CS-00-126
Probabilistic Algorithms in Robotics
Abstract, .ps, .pdf

CMU-CS-00-127
Unavailable to date

CMU-CS-00-128
AVID: Automatic Visualization Interface Designer
Abstract, .ps, .pdf

CMU-CS-00-129
Design and Implementation of a Self-Securing Storage Device
Abstract, .ps, .pdf

CMU-CS-00-130
Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth From Busy Disk Drives
Abstract, .ps, .pdf

CMU-CS-00-131
Resource Signal Prediction and Its Application to Real-time Scheduling Advisors
Abstract, .ps, .pdf

CMU-CS-00-132
Two Case Studies in Using Cognitive Walkthrough for Interface Evaluation
Abstract, .ps, .pdf

CMU-CS-00-133
Direct Deposit - When Message Passing Meets Shared Memory
Abstract, .ps, .pdf

CMU-CS-00-134
Secure Continuous Biometric-Enhanced Authentication
Abstract, .ps, .pdf

CMU-CS-00-135
Machine Learning in Metrical Task Systems and Other On-line Programs
Abstract, .ps, .pdf

CMU-CS-00-136
Operating System Management of MEMS-based Storage Devices
Abstract, .ps, .pdf

CMU-CS-00-137
Designing Computer Systems With MEMS-based Storage
Abstract, .ps, .pdf

CMU-CS-00-138
Unavailable to date

CMU-CS-00-139
A Secure Human-Computer Authentication Scheme
Abstract, .ps, .pdf

CMU-CS-00-140
Unavailable to date

CMU-CS-00-141
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations
Abstract, .ps, .pdf

CMU-CS-00-142
FALCON: Feedback Adaptive Loop for Content-based Retrieval
Abstract, .ps, .pdf

CMU-CS-00-143
Applying Inductive Program Synthesis to learning Domain-Dependent Control Knowledge - Transforming Plans into Programs
Abstract, .ps, .pdf

CMU-CS-00-144
EM, MCMC, and Chain Flipping for Structure from Motion with Unknown Correspondence
Abstract, .ps, .pdf

CMU-CS-00-145
Active Disk Architecture for Databases
Abstract, .ps, .pdf

CMU-CS-00-146
Automating the Meta Theory of Deductive Systems
Abstract, .ps, .pdf

CMU-CS-00-147
Discovery and Application of Network Information
Abstract, .ps, .pdf

CMU-CS-00-148
On Equivalence and Canonical Forms in the LF Type Theory
Abstract, .ps, .ps.gz, .pdf

CMU-CS-00-149
Analysis of SRPT Scheduling: Investigating Unfairness
Abstract, .ps, .pdf

CMU-CS-00-150
Resource Management in Multi-hop Ad Hoc Networks
Abstract, .ps, .pdf

CMU-CS-00-151
Selective Enumeration
Abstract, .ps, .pdf

CMU-CS-00-152
Using Handheld Devices for Tests in Classes
Abstract, .ps, .pdf

CMU-CS-00-153
Singleton Kinds and Singleton Types
Abstract, .ps, .pdf

CMU-CS-00-154
Task-Driven Computing
Abstract, .ps, .pdf

CMU-CS-00-155
Assessing the Calibration of Naive Bayes' Posterior Estimates
Abstract, .ps, .pdf

CMU-CS-00-156
The Hardness of Approximating Minima in OBDDs, FBDDs and Boolean Functions
Abstract, .ps, .pdf

CMU-CS-00-157
My Cache or Yours? Making Storage More Exclusive
Abstract, .ps, .pdf

CMU-CS-00-158
Unavailable to date

CMU-CS-00-159
Unpublished

CMU-CS-00-160
Protecting Individuals' Interests in Electronic Commerce Protocols
Abstract, .ps, .pdf

CMU-CS-00-161
Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000)
Abstract, A.ps (Intro), A.pdf ,
B.ps (Grossman, Morrisett), B.pdf ,
C.ps (Dimock, Westmacott, Muller, Turbak, Wells, Considine), C.pdf ,
D.ps (Crary), D.pdf ,
E.ps (Bigliardi, Laneve), E.pdf ,
F.ps (Igarashi, Kobayashi), F.pdf ,
G.ps (Leair, Pande), G.pdf ,
H.ps (Drossopoulou), H.pdf ,
I.ps (Hicks, Weirich, Crary), I.pdf ,
J.ps (Duggan), J.pdf ,
K.ps (Walker, Morrisett), K.pdf ,
L.ps (Wansbrough, Peyton Jones), L.pdf ,
M.ps (Saha, Trifonov, Shao), M.pdf

CMU-CS-00-162
Formal Modeling of the Enterprise JavaBeans Component Integration Framework
Abstract, .ps, .pdf

CMU-CS-00-163
Believable Automatically Synthesized Motion by Knowledge-Enhanced Motion Transformation
Abstract, .ps (Color), .ps.gz Color, .ps, (B&W) .ps.gz , (B&W) .pdf

CMU-CS-00-164
The Realizability Approach to Computable Analysis and Topology
Abstract, .ps, .pdf

CMU-CS-00-165
An Analysis of Stochastic Game Theory for Multiagent Reinforcement Learning
Abstract, .ps, .pdf

CMU-CS-00-166
Hierarchical Radiosity with Multiresolution Meshes
Abstract, .ps, .pdf

CMU-CS-00-167
An Online Mapping Algorithm for Teams of Mobile Robots
Abstract, .ps, .pdf

CMU-CS-00-168
Survivability Analysis of Networked Systems
Abstract, .ps, .pdf

CMU-CS-00-169
Documenting Software Architectures: Recommendations for Industrial Practice
Abstract, .ps, .pdf

CMU-CS-00-170
Implementation of SRPT Scheduling in Web Servers
Abstract, .ps, .pdf

CMU-CS-00-171
Improving Trigram Language Modeling with the World Wide Web
Abstract, .ps, .pdf

CMU-CS-00-172
A Performance Comparison of Interval Arithmetic and Error Analysis in Geometric Predicates
Abstract, .ps, .pdf

CMU-CS-00-173
Building Firewalls with Intelligent Network Interface Cards
Abstract, .ps, .pdf

CMU-CS-00-174
Enabling Dynamic Security Management of Networked Systems via Device-Embedded Security
Abstract, .ps, .pdf

CMU-CS-00-175
Elimination of Negation in a Logical Framework
Abstract, .ps, .pdf

CMU-CS-00-176
Stateless Core: A Scalable Approach for Quality of Service in the Internet
Abstract, .ps, .pdf

CMU-CS-00-177
Improving Index Performance through Prefetching
Abstract, .ps, .pdf

CMU-CS-00-178
Scalable and Manageable Storage Systems
Abstract, .ps, .pdf

CMU-CS-00-179 (Superceded by CMU-CS-01-134)
Comparison of SRPT and PS Scheduling Under ON/OFF Load Conditions
Abstract, .ps, .pdf

CMU-CS-00-180
Implementing the TILT Internal Language
Abstract, .ps, .pdf


Return to: SCS Technical Report Collection
School of Computer Science homepage