skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home | quick links | site map | who's where | cs a-z
people events courses undergraduate graduate research department site
home · the department · publications · technical reports · 
 

All Technical Reports
 
by Author by Year by Number All Reports
CU-CS-001-72
The Production of Letter Mathematical Software
CU-CS-CT001-97
A Scanner-Parser Report (Preliminary Report)
CU-CS-002-72
A Theorem for Enumerating Certain Types of Collections
CU-CS-CT002-97
Verification Logic
CU-CS-003-72
Some Classes of Uniquely Colorable Graphs
CU-CS-CT003-98
Numerical Solution of Differential Equations
CU-CS-004-72
Proceedings of the Conference on the Validation and Distribution of Computer Science
CU-CS-CT004-02
Error in Numerical Methods Notes for CSCI3656
CU-CS-005-72
Enumeration of Non-Separable Graphs on Fewer than Ten Points
CU-CS-006-72
A Stochastic Model of Multiprocessor Access to an Interleaved Memory
CU-CS-007-72
STYLE Editor: User's Guide
CU-CS-008-72
Practical Decidability
CU-CS-009-72
Interpolation of Functions Over a Measure Space and Conjectures About Memory
CU-CS-010-72
The Formal Definition of a Parameter Passing Language
CU-CS-011-73
On Ulam's Problem
CU-CS-012-73
Approximate Linear Realizations of Given Dimension Via Ho's Algorithm
CU-CS-013-73
Computer System Monitoring Techniques
CU-CS-014-73
On the Organization of Memory
CU-CS-015-73
Subwords in Deterministic TOL Languages
CU-CS-016-73
Semantic Models of Parameter Passing
CU-CS-017-73
Some Applications of Finite State Automata Theory to the Deadlock Problem
CU-CS-018-73
Some ETOL Languages Which Are Not Deterministic
CU-CS-019-73
Computer Science Education in Taiwan -- An Afips Internship Report
CU-CS-020-73
The Approximation of Probabilistic Turing Automata by Probabilistic Pushdown Automata
CU-CS-021-73
Combinatorially Symmetric Matrices
CU-CS-022-73
The GM-Matrices Problem
CU-CS-023-73
On the Structure of Polynomially Bounded DOL Systems
CU-CS-024-73
An Algorithm for Finding the Elementary Circuits of a Directed Graph
CU-CS-025-73
Codings of OL Languages
CU-CS-026-73
On the Probability of Deadlock in Computer Sciences
CU-CS-027-73
Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems
CU-CS-028-73
A Characterization Theorem for a Subclass of ETOL Languages
CU-CS-029-73
Mechanical Vibration Trees
CU-CS-030-73
The Number of Occurrences of Letters Versus Their Distribution in EOL Languages
CU-CS-031-73
A Graduate Curriculum in Business-Oriented Computing
CU-CS-032-73
Report to the National Science Foundation on Grant GJ-660
CU-CS-033-73
Principal Minor Determinant Formulas
CU-CS-034-73
Continuous System Simulation Languages: Design Principles and Implementation Techniques
CU-CS-035-73
Random Entry Searching of Binary Trees
CU-CS-036-74
Preliminary Thoughts on Degrees of Security in Multiprocessor Systems
CU-CS-037-74
Automated Input/Output Variable Classification as an Aid to Validation of FORTRAN Programs
CU-CS-038-74
Introduction to the Interactive Semantic Modelling System
CU-CS-039-74
Computer System Resource Requirements of Novice Programming Students
... Appears in Software -- Practice and Experience, vol. 6, p. 43-50, 1976.
CU-CS-040-74
BRNANL, a Fortran Program to Identify Basic Blocks in Fortran Programs
CU-CS-041-74
Probabilistic Models of Computer Deadlock
CU-CS-042-74
Evaluation Net Simulation System Reference Manual
CU-CS-043-74
Analysis of Some Abstract Measures of Protection in Computer Systems
CU-CS-044-74
A Note on Matrices of Trees
CU-CS-045-74
On Decomposing Some ETOL Languages Into Deterministic ETOL Languages
CU-CS-046-74
On Structure of Derivations in ETOL Systems
CU-CS-047-74
A Pumping Theorem for EDTOL Languages
CU-CS-048-74
On Some Context Free Languages Which Are Not ETOL Languages
CU-CS-049-74
PDELAN: A Mesh Operator Variant of FORTRAN
CU-CS-050-74
POLISH: A Fortran Program to Edit Fortran Programs
... Revised May 1976.
CU-CS-051-74
Multi Associative Processor Systems Architecture
... Superceded by CU-CS-070-75.
CU-CS-052-74
A FORTRAN System for Flexible Creation and Accessing of Data Bases
CU-CS-053-74
Decomposing Symmetric Exchanges in Matroid Bases
CU-CS-054-74
A Macro Preprocessor for a FORTRAN Dialect
... Revised August 1975.
CU-CS-055-74
Data Flow Analysis as an Aid in Documentation, Assertion, Generation, Validation, and Error Detection
CU-CS-056-74
Using Blossoms to Find Maximum Matchings on Graphs
CU-CS-057-74
Optimal Scheduling of Homogeneous Job Systems
CU-CS-058-74
Sample Programs for a Hypothetical Computer
CU-CS-059-75
Some Uses of Simulation in System Design
CU-CS-060-75
A System to Generate Test Data and Symbolically Programs
CU-CS-061-75
A Practicum -- Seminar in Structured Programming
CU-CS-062-75
An Efficient Implementation of Edmonds' Algorithm for Maximum Matching on Graphs
CU-CS-063-75
Some Stable Methods for Calculating Inertia and Solving Symmetric Linear Systems
CU-CS-064-75
More on the QZ Algorithm for Solving the Generalized Eigen-Value Problem
CU-CS-065-75
The Validation of Parallel Co-Operating Processes
CU-CS-066-75
Complexity Measures for Regular Expressions
CU-CS-067-75
On THETA-Determined EOL Languages
CU-CS-068-75
A Vector Language for the Solution of PDE Problems
CU-CS-069-75
Some Resource Allocation Policies in a Multi Associative Processor
CU-CS-070-75
The Architecture of a Multi Associative Processor
... Revised October 1976.
CU-CS-071-75
DAVE -- A Validation, Error Detection and Documentation System for Fortran Programs
CU-CS-072-75
A Data Base System Designed for Flexibility and Usability from FORTRAN
CU-CS-073-75
Boundary Conditions for the Method of Lines Applied to Hyperbolic Systems
CU-CS-074-75
List of Error Messages and Diagnostics for the DAVE System
CU-CS-075-75
An Efficient Implementation of Edmonds' Algorithm for Maximum Weight Matching on Graphs
CU-CS-076-75
HYPACK: A Software Package for Hyperbolic and Elliptic Equations in Two Space Dimensions
... Revised July 1976.
CU-CS-077-75
Depth-First Search Techniques and Efficient Methods for Creating Test Paths
CU-CS-078-75
Two Algorithms for Generating Weighted Spanning Trees in Order
CU-CS-079-75
A Program for Development of High Quality Mathematical Software
CU-CS-080-75
Decomposition of a Symmetric Matrix
CU-CS-081-75
On Two Problems in the Generation of Program Test Paths
CU-CS-082-75
Using Euler Partitions to Edge Color Bipartite Multigraphs
CU-CS-083-75
A Note on Degree-Constrained Star Subgraphs of Bipartite Graphs
CU-CS-084-75
Modeling Process-Resource Activity
CU-CS-085-75
A Parallel Processor Operating System Comparison
... Appears in IEEE Transactions on Software Engineering, vol. SE-3, #6, November 1977. Revised January 1977.
CU-CS-086-76
Improved Bounds on the Number of 1-Factors on n-Connected Perfect Graphs
CU-CS-087-76
Data Flow Analysis in Software Reliability
... Revised May 1976.
CU-CS-088-76
Some Experience with DAVE -- A Fortran Program Analyzer
CU-CS-089-76
Measuring User Programs for a SIMD Processor
CU-CS-090-76
The Detection of Anomalous Interprocedural Data Flow
CU-CS-091-76
Microprocessor Implementation of a Parallel Processor
CU-CS-092-76
Traversal Marker Placement Problems Are NP-Complete
CU-CS-093-76
A Proposal for an Integrated Testing System for Computer Programs
... Revised October 1976.
CU-CS-094-76
Algorithmic Proofs of Two Relations Between Connectivity and the 1-Factors of a Graph
CU-CS-095-76
On the Structure of Polynomially Bounded DOL Systems
CU-CS-096-76
On Arithmetic Substitutions of EDTOL Languages
CU-CS-097-76
A Note on Numerically Dispersed EOL Languages
CU-CS-098-76
EOL Languages Are Not Codings of FPOL Languages
CU-CS-099-76
Simulation as a Computer System Design Tool
CU-CS-100-76
Results of Test Program Run Through DAVE to Produce All Error, Warning, and Message Diagnostics
CU-CS-101-77
A Comparison of PASCAL and FORTRAN as Introductory Programming Languages
CU-CS-102-77
Notes on a MAP Microprocessor Implementation
CU-CS-103-77
Finding All Spanning Trees of Undirected and Directed Graphs
CU-CS-104-77
Integrating Architecture and Operating Systems
... Revised September 1977.
CU-CS-105-77
A Good Algorithm for Minimum Spanning Trees with a Degree Constraint
CU-CS-106-77
The DAVE System User's Manual
CU-CS-107-77
A Counting Approach to Lower Bounds for Selection Problems
CU-CS-108-77
All Argument Selection May Be Done First
CU-CS-109-77
Keyboards for Pure Music
CU-CS-110-77
Data Flow Analysis
CU-CS-111-77
On k-Stable Functions
CU-CS-112-78
An Algorithm for Detecting Unexecutable Paths Through Program Flow Graphs
CU-CS-113-77
FPOL Systems Generating Counting Languages
CU-CS-114-77
Simplifications of Homomorphisms
CU-CS-115-77
Elementary Homomorphisms and a Solution of the DOL Sequence Equivalence Problem
CU-CS-116-77
Every Two Equivalent DOL Systems Have a Regular True Envelope
CU-CS-117-77
On ETOL Systems with Rank
CU-CS-118-77
A Description Scheme to Aid the Design of Collections of Concurrent Processes
... Appears in Proceeding National Computer Conference, 1978, Anaheim, June 1978.
CU-CS-119-77
Behavior Modelling During Software Design
CU-CS-120-77
Hierarchical Description of Software System Organization
CU-CS-121-77
Abstract Process Types
CU-CS-122-77
Static Detection of Deadlocks
CU-CS-123-78
Algorithms for Edge Coloring Bipartite Graphs
CU-CS-124-78
An Improved Method for Finding the K Smallest Cost Assignments in Order
CU-CS-125-78
Evaluation During Machine Design: A Case Study
CU-CS-126-78
Some Algorithms for the Analysis of Computer Programs
CU-CS-127-78
Languages for Representing Software Specifications and Designs
CU-CS-128-78
The FSCAN Lexical Analyzer Generating System
CU-CS-129-78
An LALR (1) Parser Grammar for FORTRAN
CU-CS-130-78
Modelling and Simulation in the Design of Complex Software Systems
CU-CS-131-78
Five Essays on Software Engineering
CU-CS-132-78
Least Change Secant Updates for Quasi-Newton Methods
CU-CS-133-78
Q-Superlinear Convergence of Biggs' Method and Related Methods for Unconstrained Optimization
CU-CS-134-78
Finding a Homomorphism Between Two Words in NP-Complete
CU-CS-135-78
An Observation on Scattered Grammars
CU-CS-136-78
A Result on the Structure of ETOL Languages
CU-CS-137-78
The Sequence Equivalence Problem Is Decidable for OS Systems
CU-CS-138-78
The Kernel of the Primes for Number Bases Two Through Ten
CU-CS-139-78
Finding the Best Solutions: The Cost of ls C Problem and Finding Matchings
CU-CS-140-78
An Event-Based Design Methodology Supported by DREAM
CU-CS-141-78
DAVE-HAL/S: A System for the Static Data Flow Analysis of Single Process HAL/S Programs
CU-CS-142-78
HYPACK: A Subroutine for a Hyperbolic System Coupled with a Single Elliptic Equation
CU-CS-143-78
Abstract Monitor Types
CU-CS-144-78
On the Q-Superlinear Convergence of Self-Scaling Quasi-Newton Methods
CU-CS-145-78
The Bigmac User's Manual
CU-CS-146-79
A Study of Errors Caused by Transcription Mistakes in Fortran Programs
CU-CS-147-79
Anomaly Detection in Concurrent Programs
CU-CS-148-79
Developing Modular Software for Unconstrained Optimization
CU-CS-149-79
Detecting Errors in Programs
CU-CS-150-79
Procedural Approaches to Software Design Modelling
CU-CS-151-79
Design of a System for Anomaly Detection in HAL/S Programs
CU-CS-152-79
Anomaly Detection in Concurrent Software by Static Data Flow Analysis
CU-CS-153-79
Using Data Flow Tools in Software Engineering
CU-CS-154-79
A Software Lifecycle Methodology and Tool Support
CU-CS-155-79
Pumping Lemmas for Regular Sets
CU-CS-156-79
FPOL Systems Generating Counting Languages
CU-CS-157-79
The Sequence Equivalence Problem Is Decidable for OS Systems
CU-CS-158-79
An Ambiguity in EOL Systems
CU-CS-159-79
Two DOS Languages Problem
CU-CS-160-79
DOS Systems and Languages
CU-CS-161-79
Representation Theorem Using DOS Languages
CU-CS-162-79
Continuous Grammars
CU-CS-163-79
On a Bound for the DOL Sequence Equivalence Problem
CU-CS-164-79
The Multigrid Iteration Applied to the Collocation Method
CU-CS-165-79
The Static Detection of Synchronization Anomalies in HAL/S Programs
CU-CS-166-79
FSCAN Report and User's Manual
CU-CS-167-79
CLEMSW User's Manual
CU-CS-168-80
Tools to Aid the Specification and Design of Flight Software
CU-CS-169-80
An Almost-Linear Algorithm for Two Processor Scheduling
CU-CS-170-80
Software Development Environments: Present and Future
CU-CS-171-80
Functional Specifications of the Annular Suspension Pointer System
CU-CS-172-80
Determining Feasibility of a Set of Nonlinear Inequality Constraints
CU-CS-173-80
On Subword Complexities of Homomorphic Images of Languages
CU-CS-174-80
On the Subword Complexity of Square-Free DOL Languages
CU-CS-175-80
A Precise and Efficient Algorithm for Determining Existential Summary Data Flow Information
CU-CS-177-80
Very Special Languages and Representations of Recursively Enumerable Languages Via Computation Histories
CU-CS-178-80
Model Completeness of an Algebra of Languages
CU-CS-179-80
BIGMAC II: A FORTRAN Languages Augmentation Tool
CU-CS-180-80
A Linear-Time Recognition Algorithm for Interval Dags
CU-CS-181-80
A Strategy for Effective Integration of Verification and Testing Techniques
CU-CS-182-80
Software Development Environments
CU-CS-183-80
Software Development Tools: A Bibliography
CU-CS-184-80
Software Development Environments: A Bibliography
CU-CS-185-80
A New Derivation of Symmetric Positive Definite Secant Updates
CU-CS-186-80
On the Separating Power of EOL Systems
CU-CS-187-80
On Unary 2-Fold Equations
CU-CS-188-80
Generalized Post Correspondence Problem of Length 2, Part I: Some Special Cases and the Basic Transformation
CU-CS-189-80
Generalized Post Correspondence Problem of Length 2, Part II: Cases Distinguished by Patterns
CU-CS-190-80
Generalized Post Correspondence Problem of Length 2, Part III: Decidability
CU-CS-191-80
Basic Formulas and Languages Part I. The Theory
CU-CS-192-80
Basic Formulas and Languages Part II. Applications to EOL Systems and Forms
CU-CS-193-80
A Morphic Representation of Compliments of Recursively Enumerable Sets
CU-CS-194-80
Context Free Normal Systems and ETOL Systems
CU-CS-195-80
Software Environment Research: Directions for the Next Five Years
CU-CS-196-80
An Almost-Linear Algorithm for Two-Processor Scheduling
CU-CS-197-80
Numerical Optimizers for Use in Floating-Point Data Generation
CU-CS-198-81
SAM/SAL Report and Users Manual
CU-CS-199-79
Some Results on Symmetric DGSM's and DGSM Equivalence
... Revised February 1981.
CU-CS-200-81
Newton -- A Dynamic Program Analysis Tool Capabilities Specification
CU-CS-201-81
On the Complexity of Iterated Shuffle
CU-CS-202-81
FSCAN-81 Report and User's Manual
CU-CS-203-81
POLISH-X Transformations
CU-CS-204-81
The (Generalized) Post Correspondence Problem with Lists Consisting of Two Words Is Decidable
CU-CS-205-81
On Subwords of Formal Languages
CU-CS-206-81
On the Subword Complexity of DOL Languages with a Constant Distribution
CU-CS-207-81
On the Size of the Alphabet and the Subword Complexity of Square-Free DOL Languages
CU-CS-208-81
Strong Iterative Pairs and the Regularity of Context-Free Languages
CU-CS-209-81
Commutative Linear Languages
CU-CS-210-81
There Exist Inherently Ambiguous EOL Languages
... See CU-CS-257-83.
CU-CS-211-81
Nonlinear Classification of Translational Initiation Sites
CU-CS-212-81
An Almost-Linear Algorithm for two-Processor Scheduling
CU-CS-213-82
On DOS Languages and DOS Mappings
CU-CS-214-82
Efficient Algorithms for a Family of Matroid Intersection Problems
CU-CS-215-82
On Ambiguity in DOS Systems
CU-CS-216-82
A Family of Trust Region Based Algorithms for Unconstrained Minimization with Strong Global Convergence Properties
CU-CS-217-82
Omega -- A Data Flow Analysis Tool for the C Programming Language
CU-CS-218-81
A Generalization of the Nerode Characterization of Regular Sets Using Well Quasi Orderings
CU-CS-219-81
A Generalization of a Theorem of Graham Higman
CU-CS-220-83
POLISH-77 User's Guide
CU-CS-221-82
On Binary Equality Sets and a Solution to the Ehrenfeucht Conjecture in the Binary Case
CU-CS-222-82
Repetitions in Homomorphisms and Languages
CU-CS-223-82
Conditions Enforcing Regularity of Context-Free Languages
CU-CS-224-82
Repetition of Words in DOL Languages
CU-CS-225-82
Exact and Approximate Algorithms for Scheduling UET Systems on Two Uniform Processors
CU-CS-226-82
The Toolpack Mathematical Software Development Environment
CU-CS-227-82
Conic Methods for Unconstrained Minimization and Tensor Methods for Nonlinear Equations
CU-CS-228-82
A Combinatorial Property of EOL Languages
CU-CS-229-82
A Structural Characterization of Square-Free Homomorphisms
CU-CS-230-82
On Finite Sets Testing Square Free Property for All Homomorphisms Between Two Given Alphabets
CU-CS-231-82
On the Subword Complexity of Locally Catenative DOL Languages
CU-CS-232-82
On the Subword Complexity of m-Free DOL Languages
CU-CS-233-82
Repetitive Properties of DOL Languages
CU-CS-234-82
On Regularity of Languages Generated by Copying Systems
CU-CS-235-82
On Regularity of Context-Free Languages
CU-CS-236-82
Each Regular Code Is Included in Maximal Regular Code
CU-CS-237-82
A Quite General Text Analysis Method
CU-CS-238-82
A Practical Class of Globally Convergent Active Set Strategies for Linearly Constrained Optimization
CU-CS-239-82
Two Lower Bounds on Chomsky Normal Form
CU-CS-240-82
A Modular System of Algorithms for Unconstrained Minimization
CU-CS-241-82
An 0(n log n) Algorithm for Finding All Repetitions in a String
CU-CS-242-82
Software Aid for Optimizing 0-1 Matrices
CU-CS-243-83
Tensor Methods for Nonlinear Equations
CU-CS-244-83
Computer Techniques for Cluster Analysis
CU-CS-245-83
A Functional Shell
CU-CS-246-83
Functional Behavior of Nondeterministic and Concurrent Programs
CU-CS-247-83
Quasi-Newton Methods Using Multiple Secant Equations
CU-CS-248-83
FSCAN-83 Report and User's Manual
CU-CS-249-83
TREGRM-83 Report and User's Manual
CU-CS-250-83
EASE -- An Extensible Abstract Structure Editor
CU-CS-251-83
Graph Grammars with Node-Label Controlled Rewriting and Embedding
CU-CS-252-83
Efficient Reduction Technique for Degree-Constrained Subgraph and Bidirected Network Flow Problems
CU-CS-253-83
A Number Sequence Relating to the Closepacking of Primes
CU-CS-254-83
Greibach Normal Form Seen as a Transformation of Trees
CU-CS-255-83
An East Proof of Greibach Normal Form
CU-CS-256-83
On Coordinated Selective Substitutions: Towards a Unified Theory of Grammars and Machines
CU-CS-257-83
On Inherently Ambiguous EOL Languages
CU-CS-258-83
Restrictions on NLC Graph Grammars
CU-CS-259-83
Real Time Coordinated Pair Systems
CU-CS-260-83
Computations in Coordinate Pair Systems
CU-CS-261-82
A Linear-Time Algorithm for a Special Case of Disjoint Set Union
CU-CS-262-84
ODIN -- An Extensible Software Environment
CU-CS-263-84
Towards an Intergrated Environment for Accessing External Databases
CU-CS-264-84
Steps Toward Self-Optimization of Machine Intelligence: Report on Theory and Implementation
... Long version.
CU-CS-265-84
Steps Toward Self-Optimization of Machine Intelligence: Report on Theory and Implementation
... Short version.
CU-CS-266-84
Scaling Algorithms for Network Problems
CU-CS-267-84
The Bounded Degree Problem for NLC Grammars Is Decidable
CU-CS-268-84
An Example of Irregular Convergence in Some Constrained Optimization Methods that Use the Projected Hessian
CU-CS-269-84
Response Times in Level Structured Systems
CU-CS-270-84
On the Convergence of Constrained Optimization Methods With Accurate Hessian Information On a Subspace
CU-CS-271-84
Adding Global Forbidding Context to Context-Free Grammars
CU-CS-272-84
Continuity of the Null Space Basis and Constrained Optimization
CU-CS-273-84
A Combinatorial Property of EOL Languages
... Revised version of CU-CS-228-82.
CU-CS-274-84
IDD: An Interactive Distributed Debugger
CU-CS-275-84
Coordinated Pair Systems; Part I: Dyck Words and Classical Pumping
CU-CS-276-84
Coordinated Pair Systems; Part II: Sparse Structure of Dyck Words and Ogden Lemma
CU-CS-277-84
Quasi-Monotonic Sequences: Theory, Algorithms and Applications
CU-CS-278-84
On Finite Automata with a Unison Working Tape
CU-CS-279-84
A Note on Regular Canonical Systems
CU-CS-280-84
Extending Polymorphic to Modules
CU-CS-281-84
A Distributed Database System Using Optimistic Concurrency Control
CU-CS-282-84
Parallel Computing in Optimization
CU-CS-283-84
A Syntactic Database Model
CU-CS-284-84
Keystone: A Federated Software Environment
CU-CS-285-84
Critics -- An Active Approach to Tools and Environments
CU-CS-286-84
Semiring Module Powerdomains
CU-CS-287-85
Experience Using a Retargetable Peephole Optimizer to Achieve Compiler Portability
CU-CS-288-85
On the Complexity of Higher-Order Programs
CU-CS-289-85
A Syntax Directed Database System
CU-CS-290-85
Objtalk Primer
CU-CS-291-85
ObjTalk84 Reference Manual
CU-CS-292-85
CTS Systems and Petri Nets
CU-CS-293-85
Boundary NLC Graph Grammars Basic Definitions, Normal Forms and Complexity
CU-CS-294-85
Graph Theoretic Closure Properties of the Family of Boundary NLC Graph Languages
CU-CS-295-85
Combinatorial Properties of Boundary NLC Graph Languages
CU-CS-296-85
Traces, Dependency Graphs and DNLC Grammars
CU-CS-297-85
On the Membership Problem for Regular DNLC Grammars
CU-CS-298-86
On the Active Use of Memory in Right-Boundary Grammars and Push-Down Machines
CU-CS-299-86
On the Full Records of the Use of Memory in Right-Boundary Grammars and Push-Down Machines
CU-CS-300-84
The Smallest Automaton Recognizing the Subwords of a Text
CU-CS-301-85
On Total Regulators Generated by Derivation Relations
CU-CS-302-85
Computational Experience with Confidence Regions and Confidence Intervals for Nonlinear Least Squares
CU-CS-302a-85
Wlisp Manual -- A Window System and User Interface Toolkit
CU-CS-303-85
What Is a Model? A Consumer's Perspective on Semantic Theory
CU-CS-304-85
A Note on the S Combinator
CU-CS-305-85
Imminent Garbage Collection
CU-CS-306-85
Diverse: A User Agent for Accessing External Databases
CU-CS-307-85
Fifteen Simple Exercises in Higher-Order Intuitionistic Logic
CU-CS-308-85
Veclan Users Manual
CU-CS-309-85
DCS: A System for Distributed Computing Support
CU-CS-310-85
An Implementation of Shared Memory for UNIX with Real-Time Synchronization
CU-CS-311-85
On the Active and Full Use of Memory in Right-Boundary Grammars and Push-Down Automata
CU-CS-312-85
Handle NLC Grammars and Languages
CU-CS-313-85
A Trust Region Algorithm for Nonlinearly Constrained Optimization
CU-CS-314-86
The ODIN System: An Object Manager for Extensible Software Environments
CU-CS-315-85
A Technique for Proving Intrinsic Limitations
CU-CS-316-85
An Optimizing Precompiler for Finite-Difference Computations on a Vector Computer
CU-CS-317-85
A Stable and Efficient Algorithm for Nonlinear Orthogonal Distance Regression
CU-CS-318-86
Design Possibilities for Zeus: The Tool Object Manager for Arcadia
CU-CS-319-86
Exception Flow Analysis in Ada
CU-CS-320-86
Some Notes on Exception Flow Analysis
CU-CS-321-86
Information Processing in Dynamical Systems: Foundations of Harmony Theory
CU-CS-322-86
Neural and Conceptual Interpretations of Parallel Distributed Processing Models
CU-CS-323-86
A Mechanism for Environment Integration
CU-CS-323a-86
A Mechanism for Environment Integration
CU-CS-324-86
Software Process Interpretation and Software Environments
CU-CS-325-86
Finite Families of Finite Sets, Part I: Independent Boolean Algebras and Their Bodies
CU-CS-326-86
Finite Families of Finite Sets, Part II: Semi-Independent Boolean Algebras and Their Semi-Bodies
CU-CS-327-86
Structures and Clans
CU-CS-328-86
A Decomposition Theorem for 2-Structures
CU-CS-329-86
On the Structure of Dependency Graphs
CU-CS-330-86
On the Structure of Consistent Regular Language of Dependency Graphs
CU-CS-331-86
The Browser: An Exploration Tool for Objtalk Inheritance Structures
CU-CS-332-86
A Process-Object Centered View of Software Environment Architecture
CU-CS-333-86
Object Management in a Distributed Software Environment
CU-CS-334-86
Solving Systems of Nonlinear Equations by Tensor Methods
CU-CS-335-86
Specification and Static Evaluation of Sequencing Constraints in Software
CU-CS-336-86
On Limitations of Transformations Between Combinatorial Problems
CU-CS-337-86
DPUP: A Distributed Processing Utilities Package
... Demeure went by the name Gerard at the time this report was written.
CU-CS-338-86
Concurrent Stochastic Methods for Global Optimization
CU-CS-339-86
Behaviour of Elementary Net Systems
CU-CS-340-86
Partial (Set) 2-Structures, Part I: Representation Problems
CU-CS-341-86
Partial (Set) 2-Structures, Part II: State Spaces of Concurrent Systems
CU-CS-342-86
Connectionist AI, Symbolic AI, and the Brain
CU-CS-343-86
Demons, Catastrophes and Communicating Processes
CU-CS-344-86
Order-Theoretic Techniques for Non-Deterministic Programs
CU-CS-345-86
Concurrent Function Evaluations in Local and Global Optimization
CU-CS-346-86
Approximate Solution of the Trust Region Problem by Minimization over Two-Dimensional Subspaces
CU-CS-347-86
Why and How to Learn Why: Analysis-Based Generalization of Procedures
CU-CS-348-86
Results on NLC Grammars with One-Letter Terminal Alphabets
CU-CS-349-86
Edge-Label Controlled Graph Grammars
CU-CS-350-86
Providing Programmable Relations over Software Objects in Aspen
CU-CS-351-86
A Library for Managing Persistent Storage
... Revised March 1988.
CU-CS-352-86
DISTLIB -- A Library for Message-Based Distributed Programs
... Revised February 1988.
CU-CS-353-86
The Boogie Manual -- An Object-Oriented Network Editor
... Not in print.
CU-CS-354-87
Parallel Branch and Bound on an MIMD System
CU-CS-355-87
On Variable Binding and the Representation of Symbolic Structures in Connectionist Systems
CU-CS-356-87
A Method of Connectionist Variable Binding
CU-CS-357-87
Detecting Left-Most Periodicities
CU-CS-358-87
Computer-Aided Reasoned Discourse or, How to Argue with a Computer
CU-CS-359-87
On the Proper Treatment of Connectionism
... A new version of this report is available as CU-CS-377-87.
CU-CS-360-87
ORDPACK -- Software for Weighted Orthogonal Distance Regression
CU-CS-361-87
Using Parallel Function Evaluations to Improve Hessian Approximation for Unconstrained Optimization
... Revised October 1987. Previous title was Taking Advantage of Parallel Function Evaluations in Unconstrained Optimization.
CU-CS-362-87
A Computational Examination of Orthogonal Distance Regression
CU-CS-363-87
Bilogic Precedence Graph Models
CU-CS-364-87
Making Computers more Useful and more Usable
CU-CS-365-87
A Critic for Lisp
CU-CS-366-87
Construction and Design Kits: Steps Toward Human Problem-Domain Communication
CU-CS-367-87
Volunteering Information -- Enhancing the Communication Capabilities of Knowledge-Based Systems
CU-CS-368-87
From Design to Redesign
CU-CS-369-87
Constrained Design Processes: Steps Towards Convivial Computing
CU-CS-370-87
Next Generation Software Environments: Principles, Problems, and Research Directions
CU-CS-371-87
Modeling Distributed Computations
CU-CS-372-87
NoPumpG: Creating Interactive Graphics with Spreadsheet Machinery
CU-CS-373-87
What We Learn About Process Specification Languages, from Studying Recipes
CU-CS-374-87
APPL/A: A Language for Managing Relations
CU-CS-375-87
A Powerdomain Primer -- A Tutorial for the Bulletin of the EATCS
CU-CS-376-87
A View of Unconstrained Optimization
CU-CS-377-87
On the Proper Treatment of Connectionism
... New version of CU-CS-359-87.
CU-CS-378-87
Putting Together Connectionism -- Again Response to Commentary on BBS Target Article: On the Proper Treatment of Connectionism
CU-CS-379-87
Constraint-Based Hypertext for Argumentation
CU-CS-380-87
An Early Report on ENCOMPASS
CU-CS-381-87
PLEASE: a Language Combining Imperative and Logic Programming
CU-CS-382-87
Olympus User's Manual
CU-CS-383-88
Towards a Graph Transform Model for Configuration Management Environments
CU-CS-384-88
Some Learnability Results for Analogical Generalization
CU-CS-385-88
An Overview of Dino -- A New Language for Numerical Computation on Distributed Memory Multiprocessors
CU-CS-386-88
DINO: Summary and Examples
CU-CS-387-88
The Networked Resource Discovery Project: Goals, Design, and Efforts
CU-CS-388-88
Explorations in the Design of Intelligent Support Systems and Innovative User Interfaces
CU-CS-389-88
A Plausible Software Maintenance Process Program
CU-CS-390-88
Software Maintenance as a Programmable Process
CU-CS-391-88
Almost-Optimum Speed-Ups of Algorithms for Bipartite Matching and Related Problems
CU-CS-392-88
Enhancing Incremental Learning Processes with Knowledge-Based Systems
CU-CS-393-88
Analyzing a Connectionist Model as a System of Soft Rules
CU-CS-394-88
The Constituent Structure of Connectionist Mental States: A Reply to Fodor and Pylyshyn
CU-CS-395-88
Mathematical Modeling of a Parallel Global Optimization Algorithm
CU-CS-396-88
Parallel Quasi-Newton Methods for Unconstrained Optimization
CU-CS-397-88
Artists-A New Population of User Interface Designers?
CU-CS-398-88
An Analysis of Reduced Hessian Methods for Constrained Optimization
CU-CS-399-88
An Example of Formal Specification as an Aid to Design and Development
CU-CS-400-88
PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language
CU-CS-401-88
ISLET: a Program/Proof Editor to Support the Vienna Development Method
CU-CS-402-88
Cecil/Cesar User's Guide
CU-CS-403-88
New Architectures: Performance Highlights and New Algorithms
CU-CS-404-88
Research Trends in Formal Semantics: Report of a Discussion
CU-CS-405-88
Application of the Interactive Activation Model to Document Retrieval
CU-CS-406-88
Active Relations for Specifying and Implementing Software Object Management
CU-CS-407-88
Actor Grammars
CU-CS-408-88
Some Experiments with Reprogramming LINPACK Routines for Parallel Machines
CU-CS-409-88
Efficient Distribution of Back-Propagation Models on Parallel Architectures
CU-CS-410-88
A Formal Model for Interactive Simulation Systems
CU-CS-411-88
Implementing a Connectionist Production System Using Tensor Products
CU-CS-412-88
OLYMPUS: An Extensible Modeling and Programming System
CU-CS-413-88
Short Description of the Research Group on Knowledge-Based Systems (KBS) and Human-Computer Communication (HCC)
CU-CS-414-88
Sequential and Parallel Methods for Unconstrained Optimization
CU-CS-415-88
A New Modified Cholesky Factorization
CU-CS-416-88
Connectionism, Constituency, and the Language of Thought
CU-CS-417-88
Semantic Models for Total Correctness and Fairness
... Revised March 1989.
CU-CS-418-88
Programmable Relations for Managing Change During Software Development
CU-CS-419-88
Modeling Parallel, Distributed Computations Using ParaDiGM -- A Case Study: the Adaptive Global Optimization Algorithm
CU-CS-420-89
Benchmarking Fortran and Ada Programs on Parallel Machines
CU-CS-421-89
Skeletonization: A Technique for Trimming the Fat from a Network via Relevance Assessment
CU-CS-422-89
Characterizing Distributed Computing Paradigms
CU-CS-423-89
Design of a Constraint-Based Hypertext System to Augment Human Reasoning
CU-CS-424-89
Efficient Theoretic and Practical Algorithms for Linear Matrod Intersection Problems
CU-CS-425-89
Almost-Optimum Parallel Speed-Ups of Algorithms for Bipartite Matching and Related Problems
CU-CS-426-89
Remarks on the Cost of Using a Remote Procedure Call Facility
CU-CS-427-89
Modeling the Configuration Management Process
CU-CS-428-89
Orbit -- A Prototype Software Maintenance/Development Process Programming Meta-Environment
CU-CS-429-89
New Approaches to Programming
CU-CS-430-88
Expressing Complex Parallel Algorithms in DINO
CU-CS-431-89
Virtual Memories and Massive Generalization in Connectionist Combinatorial Learning
CU-CS-432-89
Faster Scaling Algorithms for General Graph Matching Problems
CU-CS-433-89
Current Developments in Parallel Computation
CU-CS-434-89
Connection Machine Application Performance
CU-CS-435-89
Contribution Analysis: A Technique for Assigning Responsibilities to Hidden Units in Connectionist Networks
CU-CS-436-89
Explanation and Learning in Procedural Skills
CU-CS-437-89
Reusing Proofs of Program Correctness in ENCOMPASS
CU-CS-438-89
Simulation of Parallel Computations
CU-CS-439-89
Tensor Methods for Unconstrained Optimization
CU-CS-440-89
Performance Characteristics of Scientific Computation on the Connection Machine
CU-CS-441-89
On the Interaction of Selective Attention and Lexical Knowledge: A Distributed Connectionist Model of Neglect Dyslexia
CU-CS-442-89
Theonet: A Connectionist Expert System for Solar Flare Forecasting
CU-CS-443-89
Software for a New Modified Cholesky Factorization
CU-CS-444-89
Exploiting Semantics to Provide Internet White Pages Without Global Cooperation
CU-CS-445-89
Spreadsheet-Based Interactive Graphics: From Prototype to Tool
CU-CS-446-89
Forests, Frames and Games: Algorithms for Matroid Sums and Applications
CU-CS-447-89
Complete Proof Rules for Strong and Strong-Extreme Fairness
CU-CS-448-89
APPL/A: A Prototype Language for Software Process Programming
CU-CS-449-89
Adaptive, Asynchronous Stochastic Global Optimization Algorithms for Sequential and Parallel Computation
CU-CS-450-89
Prototyping and Simulating Parallel, Distributed Computations with VISA
CU-CS-451-89
Discovering the Structure of a Reactive Environment by Exploration
CU-CS-452-89
Data Dependence Analysis for Supercompilers: The Bold Lambda Test Revisited
CU-CS-453-89
Diverse: A User Agent for Accessing External Databases
CU-CS-454-89
Parallel Methods for Solving Nonlinear Block Bordered Systems of Equations
CU-CS-455-90
A Proof of Exponential Permutation Complexity
CU-CS-456-90
Error Analysis and Reporting in Programming Environments
CU-CS-457-90
The DINO Parallel Programming Language
CU-CS-458-90
Encapsulation of Parallelism in the Volcano Query Processing System
CU-CS-459-90
Parallel External Sorting in Volcano
CU-CS-460-90
An Abstract Data Type for Name Analysis
CU-CS-461-90
Information Access in Complex, Poorly Structured Information Spaces
CU-CS-462-90
FCM:A Flexible Consistency Model for Software Processes
CU-CS-463-90
Discovering Faithful 'Wickelfeature' Representations in a Connectionist Network
CU-CS-464-90
Harmonic Grammar -- A Formal Multi-Level Connectionist Theory of Linguistic Well-Formedness: An Application
CU-CS-465-90
Harmonic Grammar -- A Formal Multi-Level Connectionist Theory of Linguistic Well-Formedness: Theoretical Foundations
CU-CS-466-90
Soar and the Construction-Integration Model: Pressing a Button in Two Cognitive Architectures
CU-CS-467-90
Massive Parallelism and Process Contraction in DINO
CU-CS-468-90
Efficient Algorithms for Independent Assignment on Graphic Matroids
CU-CS-469-90
Mapping Data to Processors in Distributed Memory Computations
CU-CS-470-90
Tuning a Parallel Database Algorithm on a Shared-Memory Multiprocessor
CU-CS-471-90
Heap-Filter Merge Join: A New Algorithm for Joining Medium-Size Inputs
CU-CS-472-90
Local Attributes for OAG-Based Attribute Evaluators
CU-CS-473-90
Computer Understanding of Conventional Metaphoric Language
CU-CS-474-90
A Scalable, Non-Hierarchical Resource Discovery Mechanism Based on Probabilistic Protocols
CU-CS-475-90
Are Argument Representation Schemes Useful?
CU-CS-476-90
Q: A Multi-Lingual Interprocess Communications System for Software Environment Implementation
CU-CS-477-90
Normalized Convergence Rates for the PSMG Method
CU-CS-478-90
Data Structures for Weighted Matching and Nearest Common Ancestors with Linking
CU-CS-479-90
Problem-Centered Design for Expressiveness and Facility in a Graphical Programming System
CU-CS-480-90
ChemTrains Design Study Supplement
CU-CS-481-90
Volcano, an Extensible and Parallel Query Evaluation System
CU-CS-482-90
A Measurement Study of Organizational Properties in the Global Electronic Mail Community
CU-CS-483-91
Triton Reference Manual
... Revised January 1991.
CU-CS-484-91
Experiences with Exodus in a Software Engineering Environment
... Revised September 1991.
CU-CS-485-90
Can Connectionism Contribute to Syntax? Harmonic Grammar, with an Application
CU-CS-486-90
User Modelling in Cooperative Knowledge-Based Systems
CU-CS-487-90
Supporting Resource Discovery Among Public Internet Archives Using a Spectrum of Information Quality
CU-CS-488-90
Collected Papers on VISA and ParaDiGM
CU-CS-489-90
A Theoretical and Experimental Study of the Symmetric Rank One Update
CU-CS-490-90
Using the Interface to Improve Performance of Complex Cognitive Tasks
CU-CS-491-90
A Software Package for Tensor Methods for Unconstrained Optimization
CU-CS-492-90
Examining the Usability of Parallel Language Constructs from the Programmer's Perspective
CU-CS-494-90
Barrier Methods for Garbage Collection
CU-CS-495-90
Connectionist Music Composition Based on Melodic, Stylistic, and Psychophysical Constraints
CU-CS-496-90
Data Compression and Database Performance
CU-CS-497-90
Logical vs. Physical Disk Shadowing
CU-CS-498-90
Usability Testing of a Graphical Programming System: Things We Missed in a Programming Walkthrough
CU-CS-499-90
A Comparison of the Intel iPSC/860 and the Suprenum-1 Parallel Computers
CU-CS-500-90
Architecture-Independent Parallel Query Evaluation in Volcano
CU-CS-501-90
DINO 1.0 User's Manual
CU-CS-502-90
Efficient Assembly of Complex Objects
CU-CS-503-90
Full-Time Data Compression: An ADT for Database Performance
CU-CS-504-90
Multigrid Methods on Parallel Computers -- a Survey on Recent Developments
CU-CS-505-90
Performance Evaluation of the Myrias SPS-2 Computer
CU-CS-506-90
Performance Evaluation of the ES-1 Parallel Computer
CU-CS-507-90
Present and Future in Parallel Supercomputing
CU-CS-508-91
Resource Discovery and Related Research at the University of Colorado
CU-CS-509-91
A Combinatorial Analysis of k-Pseudo Trees
CU-CS-510-91
Beyond Intelligent Interfaces: Exploring, Analyzing and Creating Success Models of Cooperative Problem Solving
CU-CS-511-91
Collected Papers on Phred
CU-CS-512-91
Testbed for Improving the Performance of Parallel Programs and Systems
CU-CS-513-91
Modeling the Configuration Management Process
CU-CS-514-91
Distributed Recursive Structure Processing
CU-CS-515-91
The Case for Open Systems
CU-CS-516-91
Centralized and Distributed Dynamic Scheduling for Adaptive, Parallel Algorithms
CU-CS-517-91
Designing User Interfaces Using Agentsheets
CU-CS-518-91
Collected Papers on Olympus
CU-CS-519-91
Techniques for Supporting Wide Area Distributed Applications
CU-CS-520-91
An Architecture for Discovering and Visualizing Characteristics of Large Internets
CU-CS-521-91
The Great Disconnection?
CU-CS-522-91
Olympus Application Note: Capacity Planning with PN-Olymbus
CU-CS-523-91
Locating the Right Object in a Large Hardware Store: An Empirical Study of Cooperative Problem Solving among Humans
CU-CS-524-91
Recent Developments for the PSMG Multiscale Method
CU-CS-525-91
Execution Architecture Independent Program Tracing
CU-CS-526-91
MetaBank: A Knowledge-Base of Metaphoric Language Conventions
CU-CS-527-91
Software Issues at the User Interface
CU-CS-528-91
The Effect of Garbage Collection on Cache Performance
CU-CS-529-92
ChemTrains: A Visual Programming Language for Building Simulations
CU-CS-530-91
The Connectionist Scientist Game: Rule Extraction and Refinement in a Neural Network
CU-CS-531-91
Managing Change in Software Development Through Process Programming
CU-CS-532-91
Unifying Syntactic and Semantic Approaches to Unaccusativity: A Connectionist Approach
CU-CS-533-91
Connectionism and Harmony Theory in Linguistics
CU-CS-534-91
Sort versus Hash Revisited
CU-CS-535-91
Visualization-Based Visual Programming
CU-CS-536-91
Design Considerations for a Visual Language for Communications
CU-CS-537-91
Scientific Programming Languages for Distributed Memory Multiprocessors: Paradigms and Research Issues
CU-CS-538-91
Generalization in Neural Networks: Experiments in Speech Recognition
CU-CS-539-91
A Matroid Approach to Finding Edge Connectivity and Packing Arborescences
CU-CS-540-91
Learning to Segment Images Using Dynamic Feature Binding
CU-CS-541-91
End-User Modifiability in a Water Management Application
CU-CS-542-91
Dynamic Load Distribution on Point-to-Point Multicomputer Networks
CU-CS-543-91
Visualization-Based Visual Programming Specifications Using Prolog
CU-CS-544-91
The ProcessEngine: A Process State Server Approach to Process Programming
CU-CS-545-91
Applications of a Poset Representation to Edge Connectivity and Graph Rigidity
CU-CS-546-91
Iterative Design of a Voice Dialog Design Environment
CU-CS-547-91
Agentsheets: Applying Grid-Based Spatial Reasoning to Human-Computer Interaction
CU-CS-548-91
Extensible Query Optimization and Parallel Execution in Volcano
CU-CS-549-91
Inventing Information Representations Through Task Analysis
CU-CS-550-91
Proceedings of the IJCAI Workshop on Computational Approaches to Non-Literal Language: Metaphor, Metonymy, Idiom, Speech Acts and Implicature
CU-CS-551-91
A Measurement Study of Changes in Service-Level Reachability in the Global lTCP/IP Internet: Goals, Experimental Design, Implementation, and Policy Considerations
CU-CS-552-91
A Users Guide to AWESIME: An Object Oriented Parallel Programming and Simulation System
CU-CS-553-91
Parallel Global Optimization: Numerical Methods, Dynamic Scheduling Methods, and Application to Molecular Configuration
CU-CS-554-91
A Case Against a Divide and Conquer Approach to the Nonsymmetric Eigenvalue Problem
CU-CS-555-91
Resource Discovery in the Global Internet
CU-CS-556-91
The OPUS User Manual
CU-CS-557-92
A Hypermedia Inference Language as an Alternative to Rule-Based Expert Systems
CU-CS-558-91
The Structure of the GNU Debugger
CU-CS-559-91
Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Processing
CU-CS-560-91
A Parallel Execution Evaluation Testbed
CU-CS-561-91
Participatory Design in the Development of a Scientific Software System
CU-CS-562-91
A Formal Specification and Verified Design for Kemmerer's Library Problem
CU-CS-563-91
The Volcano Optimizer Generator
CU-CS-564-91
An Efficient Construction of Parallel Static Single Assignment Form for Structured Parallel Programs
CU-CS-565-91
Learning Factorial Codes by Predictability Minimization
CU-CS-566-91
A Process Program for Gries/Dijkstra Design
CU-CS-567-91
Awewsime/Cthreads Library User's Manual
CU-CS-569-91
Trace Driven Petri Net Simulation
CU-CS-570-92
Elements of UNIX make
CU-CS-571-92
A Measurement Study of Internet File Transfer Traffic
CU-CS-573-92
The Measured Cost of Conservative Garbage Collection
CU-CS-574-92
Elements of Matlab
CU-CS-575-92
Performance of the Shallow Water Equations on the Suprenum-1 Parallel Supercomputer
CU-CS-576-92
Using Agentsheets to Create a Voice Dialog Design Environment
CU-CS-577-92
The Programming Walkthrough: A Structured Method for Assessing the Writability of Programming Languages
CU-CS-578-92
Efficient Language Constructs for Large Parallel Programs -- An Overview of Dino 2
CU-CS-579-92
Query Processing Techniques for Large Databases
CU-CS-580-92
A Tower of Babel: Providing Flexible and Extensible Environment Services or The Art of Construction Services: Part I
CU-CS-581-92
Using Programming Walkthroughs to Design a Visual Language
CU-CS-582-92
Preliminary Experience in Developing a Parallel Thin-Layer Navier Stokes Code and Implications for Parallel Language Design
CU-CS-583-92
Constraints Provide Domain Behavior in a Construction Kit
CU-CS-584-92
Automatic Mapping and Load Balancing of Pointer-Based Dynamic Data Structures on Distributed Memory Machine
CU-CS-585-92
The Expression of Local Rhetorical Relations in Instructional Text
CU-CS-586-92
A Characterization Framework for Visual Languages
CU-CS-587-92
SchemePaint: a Programmable Application for Graphics
CU-CS-588-92
Simulating the Gries/Dijkstra Design Process
CU-CS-589-92
Toward a Theory of Hermeneutic Software Design
CU-CS-590-92
Clustering Objects On-Line
CU-CS-591-92
Local Convergence Analysis of Tensor Methods for Nonlinear Equations
CU-CS-592-92
Supporting Knowledge-Base Evolution Using Multiple Degrees of Formality
CU-CS-593-92
A Model and Algorithm for Concurrent Access within Groupware
CU-CS-594-92
Towards Tools to Support the Gries/Dijkstra Design Process
CU-CS-595-92
End-User Modifiability in Knowledge-Based Design Environments
CU-CS-596-92
Euclid: Supporting Collaborative Argumentation with Hypertext
CU-CS-597-92
Simulation of Communications Protocols Through Graphical Transformation Rules
CU-CS-598-92
A Computational Medium for Supporting Interpretation in Design
CU-CS-599-92
A Relational Database Tool for Detailed Corpus Analysis
CU-CS-600-92
Principles for an Integrated Connectionist/Symbolic Theory of Higher Cognition
CU-CS-601-92
A Comparison of Internet Resource Discovery Approaches
CU-CS-602-92
CustoMalloc: Efficient Synthesized Memory Allocators
CU-CS-603-92
Evaluating Models of Memory Allocation
CU-CS-604-92
Empirical Measurements of Six Allocation-Intensive C Programs
CU-CS-605-92
Data Flow Equations for Explicitly Parallel Programs
CU-CS-606-92
Five Performance Enhancements for Hybrid Hash Join
CU-CS-607-92
CU/USW Research Collaboration Mid-Project Report: 1991-1992
CU-CS-608-92
Approximate Mean Value Analysis of Deflection-Routed Shuffle-Loop Networks
CU-CS-609-92
Portable, Efficient Futures
CU-CS-610-92
An Execution Model for Demonstration-Based Visual Languages
CU-CS-611-92
Software Synthesis via Domain-Specific Software Architectures
CU-CS-612-92
Representations of Quasi-Newton Matrices and Their Use in Limited Memory Methods
CU-CS-613-92
Modularity and Reusability in Attribute Grammars
CU-CS-614-92
A Monotone Data Flow System for Analyzing Explicitly Parallel Programs
CU-CS-615-92
The Connection Machine (CM-2): An Introduction
CU-CS-616-92
A Model and Algorithm for Concurrent Access within Groupware
CU-CS-617-92
Optimal Eigenvalue Computation on Distributed-Memory MIMD Multiprocessors
CU-CS-618-92
A Second Simulation of the Gries/Dijkstra Design Process
CU-CS-619-92
Epistemic Extension of Propositional Preference Logics Extended Version
CU-CS-620-92
Programmable Design Environments
CU-CS-621-92
Curriculum in High-Performance Scientific Computing
CU-CS-622-92
A Case Study in Astrophysical Data Visualization
CU-CS-623-92
A Parallel Algorithm for Computing the Singular Value Decomposition of a Matrix:A Revision of Argonne National Laboratory Tech. Report ANL/MCS-TM-102
CU-CS-624-92
Evolving an Understanding of the Gries/Dijkstra Design Process
CU-CS-625-92
Dynamic Scheduling Strategies for an Adaptive, Asynchronous Parallel Global Optimization Algorithm
CU-CS-626-92
Discovering Predictable Classifications
CU-CS-627-92
Steps Towards 'Self-Referential' Neural Learning: A Thought Experiment
CU-CS-628-92
Integrating Connectionist and Symbolic Computation for the Theory of Language
CU-CS-629-92
From Programming Tasks to Solutions -- Bridging the Gap Through the Explanation of Examples
CU-CS-630-92
A New Large-Scale Global Optimization Method and Its Application to Lennard-Jones Problems
CU-CS-631-92
Evolving Tools to Support the Gries/Dijkstra Design Process
CU-CS-632-92
An Evolving Simulation of the Gries/Dijkstra Design Process
CU-CS-633-92
Globally Convergent Parallel Algorithms for Solving Block Bordered Systems of Nonlinear Equations
CU-CS-634-92
Performance of the Shallow Water Equations on the CM-200 and CM-5 Parallel Supercomputers
CU-CS-635-92
Parallel Computers: Current Systems and Capabilities
CU-CS-636-92
The PSMG Multiscale Method for an Anisotropic Problem
CU-CS-637-92
Scaling Performance of the Shallow Water Equations on the Suprenum-1 Supercomputer
CU-CS-638-93
A Complete Specification of a Simple Compiler
CU-CS-639-93
The Modelling and Analysis of Coordination Systems
CU-CS-640-93
Knowledge-Based Assistance for Accessing Large, Poorly Structured Information Spaces
CU-CS-641-93
A Comparison of Object-Oriented Programming in Four Modern Languages
CU-CS-642-93
A Case for Caching File Objects Inside Internetworks
CU-CS-643-93
Research Problems for Scalable Internet Resource Discovery
CU-CS-644-93
Extending Object Interfaces for Debugging
CU-CS-645-93
Multiple Representation Perspectives for Supporting Explanation in Context
CU-CS-646-93
An Example of Process Verification: the Gries/Dijkstra Design Method
CU-CS-647-93
The Design of a Simulation System for Persistent Object Storage Management
CU-CS-648-93
Formality Considered Harmful: Experiences, Emerging Themes, and Directions
CU-CS-649-93
A Measurement Study of Changes in Service-Level Reachability in the Global Internet
CU-CS-650-93
Scalable Internet Resource Discovery Among Diverse Information
CU-CS-651-93
Increasing Shared Understanding of a Design Task Between Designers and Design Environments: The Role of a Specification Component
CU-CS-652-93
A New Stochastic/Perturbation Method for Large-Scale Global Optimization and Its Application to Water Cluster Problems
CU-CS-653-93
The Performance of Partitioned Garbage Collection in Object Databases
CU-CS-654-93
Speaking of Actions: Choosing Rhetorical Status and Grammatical Form in Instructional Text Generation
CU-CS-655-93
Using Escalante to Build Visual Language Applications
CU-CS-656-93
Applying an Information Gathering Architecture to netfind: A White Pages Tool for a Changing and Growing Internet
CU-CS-657-93
Analysis of a Symmetric Rank-One Trust Region Method
CU-CS-658-93
Supporting Knowledge-Base Evolution with Incremental Formalization
CU-CS-659-93
Garbage Collection Using a Dynamic Threatening Boundary
CU-CS-660-93
Centroids, Representations and Submodular Flows
CU-CS-661-93
A Framework for Cost-Scaling Algorithms for Submodular Flow Problems
CU-CS-663-93
Using Workflow in Contemporary IS Applications
CU-CS-664-93
A Parallel Tuning Environment
CU-CS-665-93
Memory Allocation Costs in Large C and C++ Programs
CU-CS-667-93
Dynamic Change within Workflow Systems
CU-CS-668-93
Goal Based Models of Groupware
CU-CS-669-93
Using Chaos to Broaden the Capture Range
CU-CS-670-93
The Future of Time Series
CU-CS-671-93
Optimization of Dynamic Query Evaluation Plans
CU-CS-672-93
Control Constructs in a Completely Visual Imperative Programming Language
CU-CS-673-93
A Formal Definition of Control Semantics in a Completely Visual Language
CU-CS-674-93
On Overfitting and the Effective Number of Hidden Units
CU-CS-675-93
Language Interoperability Issues in the Integration of Heterogeneous Systems
CU-CS-676-93
Generativity and Systematicity in Neural Network Combinatorial Learning
CU-CS-677-93
Execution Monitoring for Reusable Software Components
CU-CS-678-93
The Learnability of Optimality Theory: An Algorithm and Some Basic Complexity Results
CU-CS-679-93
Scalable Internet Resource Discovery: Research Problems and Approaches
CU-CS-680-93
Machine Translation of Metaphor
CU-CS-681-93
Comparison of Evaluation Processes in Design Activities and Critiquing Systems: A Way to Improve Design Support Systems
CU-CS-682-93
Memory-Contention Responsive Hash Joins
CU-CS-683-93
Visualizing the Performance of Parallel Programs: Interface Design Using Task-Centered Walkthroughs
CU-CS-684-93
Array Section Analysis for Control Parallel Programs
CU-CS-685-93
New Approaches for Critiquing Systems: Pluralistic Critiquing, Consistency Critiquing, and Multiple Intervention Strategies
CU-CS-686-93
Understanding the Role of Structure in Information Filtering in the Context of Group Memories: Some Application and User Requirements
CU-CS-687-93
Porting the Quasi-Nonhydrostatic Meteorological Model to the Kendall Square Research KSR1
CU-CS-688-93
Interpretation in Design: The Problem of Tacit and Explicit Understanding in Computer Support of Cooperative Design
CU-CS-689-93
Computer Support for Situated, Perspectival, Linguistic Interpretation in Non-Routine Design
CU-CS-690-93
Branch Prediction Architectures
CU-CS-691-93
Autonomous Exploration and Control of Chaotic Systems
CU-CS-692-93
Experiences with Escalante: An Environment for the Rapid Construction of Visual Language Applications
CU-CS-693-93
Agentsheets: A Tool for Building Domain-Oriented Dynamic, Visual Environments
CU-CS-694-93
Supporting Collaborative Design by Embedding Communication and History in Design Artifacts
CU-CS-695-93
A Sensorimotor Model of Early Childhood Phonological Development
CU-CS-696-93
Optimality Theory: Constraint Interaction in Generative Grammar
CU-CS-697-94
Efficient Compile-Time/Run Contraction of Fine Grain Data Parallel Codes
CU-CS-698-94
Quantifying Behavioral Differences Between C and C++ Programs
CU-CS-699-94
Agentsheets: The Manual
CU-CS-700-94
Analog Solution of NP-Complete Problems
CU-CS-701-94
Parallel Factorization on the iPSC/860 of Structured Matrices Arising in Stochastic Programming
CU-CS-702-94
Computer Science Aspects of Grand Challenge Computing
CU-CS-703-94
Efficient Barriers for Distributed Shared Memory Computers
CU-CS-704-94
Experiences with a Survey Tool for Discovering Network Time Protocol
CU-CS-705-94
A Non-Nested Coarse Space for Schwarz Type Domain Decomposition Methods
CU-CS-706-94
Style-Based Cut-and-Paste in Graphical Editors
CU-CS-707-94
Customized Information Extraction as a Basis for Resource Discovery
CU-CS-708-94
A Framework for Execution Order Distortion in Shared Memory Multiprocessor Event Traces
CU-CS-709-94
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
CU-CS-710-94
Toward Metrics for Process Validation
CU-CS-711-94
Semantic Synchronization in a Persistent Object System Library
CU-CS-712-94
Survey on Exceptions in Office Information Systems
CU-CS-713-94
Effects of Branch Alignment on Instruction Cache and Branch Preduction Architectures
CU-CS-714-94
Parsing in Optimality Theory: A Dynamic Programming Approach
CU-CS-715-94
Parallel Nonlinear Optimization: Limitations, Opportunities, and Challenges
CU-CS-716-94
Computer Science Aspects of Grand Challenge Computing
CU-CS-717-94
An Overview of Message Passing Environments
CU-CS-718-94
SUPRENUM: Perspectives and Performance
CU-CS-719-94
The GENESIS and SUPRENUM Projects
CU-CS-720-94
GENVL and WWWW: Tools for Taming the Web
CU-CS-721-94
Automatic Construction of Accurate Models of Physical Systems
CU-CS-722-94
Self-Organizing Automatic Translation : A Prototype
CU-CS-723-94
Learning Strategies and Exploratory Behavior of Interactive Computer Users
CU-CS-724-94
Predictions with Confidence Intervals (Local Error Bars)
CU-CS-725-94
Evaluating Neural Network Predictors by Bootstrapping
CU-CS-726-94
Sequence Comparison for Parallel Executions
CU-CS-727-94
APPL/A: A Language for Software-Process Programming
CU-CS-729-94
Tensor Methods for Equality Constrained Optimization
CU-CS-730-94
Locating Trace Change Points in Parallel Programs
CU-CS-731-94
EQ: Overview of a New Language Approach for Prototyping Scientific Computation
CU-CS-732-94
Harvest: A Scalable, Customizable Discovery and Access System
CU-CS-733-94
Datasheets: Designing an End-User Programming Environment to Support a Specific Domain
CU-CS-734-94
A Users Guide to the Optimality Interpreter: A Software Tool for Optimality Theoretic Analysis
... Software by Apollo Hogan.
CU-CS-735-94
TENSOLVE: A Software Package for Solving Systems at Nonlinear Equations and Nonlinear Least Squares Problems Using Tensor Methods
CU-CS-736-94
Algorithms for Graphic Polymatroids and Parametric s-Sets
CU-CS-737-94
HyperGami: the Printer as Toyshop
CU-CS-738-94
A Corpus-Based Analysis of Context Effects on Metaphor Comprehension
CU-CS-739-94
Knowledge-Based Modeling of Northern Hemispheric Climate Change
CU-CS-741-94
Automating Process Discovery Through Event-Data Analysis
CU-CS-742-94
Carla: A Rule Language for Specifying Communications Architectures
CU-CS-743-94
Harvest User's Manual
CU-CS-744-94
Time Series Analysis and Prediction
CU-CS-745-94
Results from Programming Walkthroughs Are Wildly Inconsistent, But...
CU-CS-746-94
Mathematica as a Performance Analysis Tool
CU-CS-747-94
ToolBox: A Living Directory for UNIX Tools Owned by the Community
CU-CS-748-94
How First and Second Grade Children Add Whole Numbers with Calculators
CU-CS-749-94
Do Children Require Drill in Order to Acquire Skill in Using Calculators?
CU-CS-750-94
Heaps o' Stacks: Time and Space Efficient Threads Without Operating System Support
CU-CS-751-94
The Role of Calculators in Developing Children's Problem Solving Skills
CU-CS-752-94
The Sensorimotor Foundations of Phonology: A Computational Model of Early Childhood Articulatory and Phonetic Development
CU-CS-753-94
Practical Update Criteria for Reduced Hessian SQP, Part I: Global Analysis
CU-CS-754-94
Component-Object Interoperability in a Heterogeneous Distributed Environment
CU-CS-756-95
Corpus-Based Acquisition of Grammars and Transfer Functions for Machine Translation
CU-CS-757-95
A Visual Lambda Calculus
CU-CS-758-94
Effectively Controlling Garbage Collection Rates in Object Databases
CU-CS-759-94
Corpus-Based Static Branch Prediction
CU-CS-760-94
Software Engineering Process Model Case Study
CU-CS-761-95
Supporting the End-User Programmer as a Lifelong Learner
CU-CS-762-95
Locating Nearby Copies of Replicated Internet Servers
CU-CS-763-95
Computing Optimal Forms in Optimality Theory: Basic Syllabification
CU-CS-765-95
Maptool -- Mapping Between Concrete and Abstract Syntaxes
CU-CS-766-95
A Hierarchical Internet Object Cache
CU-CS-767-95
Learning to Translate: A Psycholinguistic Approach to the Induction of Grammars and Transfer Functions
CU-CS-768-95
Addressing the Scalability Problem in Visual Programming
CU-CS-769-95
Incorporating Active and Multi-Database-State Services into an OSA-Compliant Interoperability Toolkit
CU-CS-770-95
Introducing Designers to Programming Through Self-Disclosing Tools
CU-CS-771-95
Implementation and Performance of a Grand Challenge 3d Quasi-Geostrophic Multi-Grid Code on the Cray T3D and IBM SP2
CU-CS-772-95
Clearning
CU-CS-773-95
Packing Algorithms for Arborescences (and Spanning Trees) in Capacitated Graphs
CU-CS-774-95
Global Optimization Methods for Protein Folding Problems
CU-CS-775-95
Subtraction Strategies of Second and Fourth Grade Children on Problems Containing Whole Numbers, Decimals, and Negative Numbers
CU-CS-776-95
Property Definition Language Manual
CU-CS-777-95
Arithmetic in Schools, Past, Present, and Future
CU-CS-778-95
Visual Programming with Temporal Constraints in a Subsumption-Like Architecture
CU-CS-779-95
The DUDE Runtime System: An Object-Oriented Macro-Dataflow Approach to Integrated Task and Object Parallelism
CU-CS-780-95
Application of an Object-Oriented Parallel Run-Time System to a Grand Challenge 3d Multi-Grid Code
CU-CS-781-95
Hardware and Software Mechanisms for Instruction Fetch Prediction
CU-CS-782-95
Multilanguage Interoperability in Distributed Systems: Experience Report
CU-CS-783-95
A Generic, Peer-to-Peer Repository for Distributed Configuration Management
CU-CS-784-95
Improving the Performance of Conservative Generational Garbage Collection
CU-CS-785-95
A Facilitator Method for Upstream Design Activities with Diverse Stakeholders
CU-CS-786-95
A General Property Storage Module
CU-CS-787-95
A Programming Paradigm and Library for Distributed-Memory Computers
CU-CS-788-95
Supporting Personalizable Learning
CU-CS-789-95
Portable, Efficient, Parallelization of a 3d Quasi-Geostrophic Multi-Grid Code
CU-CS-790-95
Perfect Arborescence Packing in Preflow Minicut Graphs
CU-CS-791-95
Examining the Difficulty with Thinking of Functions as Data Objects: Misconceptions of Higher Order Functions
CU-CS-792-95
SmartMedia Tools: Bridging the Gap Between Generic Applications and Domain-Oriented Systems
CU-CS-793-95
Squirrel Phase 1: Generating Data Integration Mediators that Use Materialization
CU-CS-794-95
Threaded Runtime Support for the Execution of Fine Grain Code on Coarse Grain Multiprocessors
CU-CS-795-95
Improving Time Series Segmentation With Gated Experts Through Annealing
CU-CS-796-95
A New Approach to Using Time in Time Series Modeling
CU-CS-797-95
Measuring Predictability Using Multi-Scale Embedding
CU-CS-798-95
Nonlinear Gated Experts for Time Series: Discovering Regimes and Avoiding Overfitting
CU-CS-799-95
Model-Based Virtual Environments for Collaboration
CU-CS-800-95
System Support for a Virtual Planning Room
CU-CS-801-96
Designers and Their Tools: Computer Support for Domain Construction
CU-CS-802-96
Visual AgenTalk: Anatomy of a Low Threshold, High Ceiling End User Programming Environment
CU-CS-803-96
A Browsing System Based on Multimedia Cohesion
CU-CS-804-96
Trace Extrapolation for Parallel Programs on Shared Memory Multiprocessors
CU-CS-805-96
Software Process Modeling and Execution Within Virtual Environments
CU-CS-806-96
Software Release Management
CU-CS-807-96
Foundations for Feature Engineering of Software Systems
CU-CS-808-96
Building Curricula to Shape Cognitive Models: A Case Study of Higher Order Procedures
CU-CS-809-96
Dependence-Driven Runtime System
CU-CS-810-96
Content and Teaching Methods in Elementary School Mathematics
CU-CS-811-96
On Accurate Generalized Singular Value Computation in Floating-Point Arithmetic
CU-CS-812-96
Nonparametric Selection of Input Variables for Connectionist Learning
CU-CS-813-96
Hemingway, A Distributed Shared Memory System
CU-CS-814-96
The PMESC Programming Library for Distributed-Memory MIMD Computers
CU-CS-815-96
A Tangent Algorithm for Generalized Eigenvalue and Singular Value Computation
CU-CS-816-96
Accurate Computation of the Product Induced Singular Value
CU-CS-817-96
Process Discovery and Validation Through Event-Data Analysis
CU-CS-818-96
A Programming Paradigm for Distributed-Memory Computers
CU-CS-819-96
Discovering Models of Software Processes from Event-Based Data
CU-CS-820-96
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model Using Event-Based Data
... This report has been superseded by CU-CS-840-97.
CU-CS-821-96
Software Process Modeling and Execution with Virtual Environments
CU-CS-822-96
Self-Disclosing Design Tools: An Incremental Approach Toward End-User Programming
CU-CS-823-96
The Keys to the Animal Kingdom
CU-CS-824-96
Ubiquitous Telepresence
CU-CS-825-97
A Methodology for Cost-Effective Analysis of In-Place Software Processes
CU-CS-826-97
Predicting References to Dynamically Allocated Objects
CU-CS-827-97
Choosing Program Collections for Performance Evaluation Experiments
CU-CS-828-97
Uncovering Architectural Mismatch in Component Behavior
CU-CS-829-97
Checking Assumptions in Component Dynamics at the Architectural Level
CU-CS-830-97
Toward Feature Engineering of Software Systems
CU-CS-831-97
Static Methods in Hybrid Branch Prediction
CU-CS-832-97
The Software Dock: A Distributed, Agent-Based Software Deployment System
CU-CS-833-97
New Accurate Algorithms for Singular Value Decomposition of Matrix Triplets
CU-CS-834-97
Low Power TLB Design for High Performance Microprocessors
CU-CS-835-97
Software for Small, Communicating Computers
CU-CS-836-97
Personalizing the Web
CU-CS-837-97
A Performance Evaluation of the Hemingway DSM System on a Network of SMPs
CU-CS-838-97
On Principal Angles Between Subspaces of Euclidean Space
CU-CS-839-97
Villon: A Visual Language Logic Notation for Diagram Specification, Transformation and Animation
CU-CS-840-97
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model
CU-CS-841-97
Spoken-Language Help for High-Functionality Applications
CU-CS-842-97
Overlapping Non-Matching Grid Mortar Element Methods for Elliptic Problems
CU-CS-843-97
A Restricted Additive Schwarz Preconditioner for General Sparse Linear Systems
CU-CS-844-97
Using Chaos to Generate Variations On Movement Sequences
CU-CS-845-97
Chaining: A Software Architecture Dependence Analysis Technique
CU-CS-846-98
A Posteriori Computation of the Singular Vectors in a Preconditioned Jacobi SVD Algorithm
CU-CS-847-97
A Framework for Workflow Architectures
CU-CS-848-97
Actor Oriented Workflow: A Concept and Its Formalization
CU-CS-849-98
Software Architecture, Configuration Management, and Configurable Distributed Systems: A Ménage a Trois
CU-CS-850-98
Soft Real-Time Application Execution with Dynamic Quality of Service Assurance
CU-CS-851-98
Balboa: A Framework for Event-Based Process Data Analysis
CU-CS-852-98
Learning the Grammar of Dance
CU-CS-853-98
Prof Builder: A Package for Rapidly Building Java Execution Profilers
CU-CS-854-98
Confidence Estimation for Speculation Control
CU-CS-855-98
Faster Evaluation of Protein Energies and Energy Gradients
CU-CS-856-98
Putting Declarative Meta Control to Work
CU-CS-857-98
A Characterization Framework for Software Deployment Technologies
CU-CS-858-98
Aladdin: A Tool for Architecture-Level Dependence Analysis of Software Systems
CU-CS-859-98
PLUM: Parallel Load Balancing for Unstructured Adaptive Meshes
CU-CS-860-98
Event-Based Detection of Concurrency
CU-CS-861-98
Behavioral Type Checking of Architectural Components Based on Assumptions
CU-CS-862-98
Investigating the Applicability of Architecture Description in Configuration Management and Software Deployment
CU-CS-863-98
Design of a Scalable Event Notification Service: Interface and Architecture
CU-CS-864-98
A Reusable, Distributed Repository for Configuration Management Policy Programming
CU-CS-865-98
Some Observations on the L2 Convergence of the Additive Schwartz Preconditioned GMRES Method
CU-CS-866-98
Maximum Norm Analysis of Overlapping Non-Matching Grid Discretizations of Elliptic Equations
CU-CS-867-98
Nonlinear Time-Series Analysis
CU-CS-868-98
A Comparison of the Benefits of Dependence Prediction and Value Prediction
CU-CS-869-98
Modeling and Analyzing Timed Changes within Workflow Systems
CU-CS-870-98
ML-DEWS: A Workflow Change Specification Model and Language
CU-CS-871-98
A Cooperative Approach to Support Software Deployment Using the Software Dock
CU-CS-872-98
Profile-Supported Confidence Estimation for Load Value Prediction
CU-CS-873-98
Load Value Prediction Using Prediction Outcome Histories
CU-CS-874-99
A Type System for Languages with Dynamic Arrays
CU-CS-876-98
Performance Metrics for Soft Real-Time Systems
CU-CS-877-98
Computation and Social Systems (Report of the NSF ITO Granteesé Workshop, April 19-20, 1997)
CU-CS-878-99
Generalized Physical Networks for Automated Model Building
CU-CS-879-99
A Feasibility Study of Bandwidth Smoothing on the World-Wide Web Using Machine Learning
CU-CS-880-99
Windows NT in the OS Curriculum
CU-CS-881-99
Developing a Multimedia Browsing System Based on Cohesion
CU-CS-882-99
Branch Prediction Using Selective Branch Inversion
CU-CS-883-99
An Infrastructure for Generating and Sharing Experimental Workloads for Persistent Object Systems
CU-CS-884-99
Simplifying the Construction of Interactive Programs in a Functional Programming Environment
CU-CS-885-99
Exploring Last n Value Prediction
CU-CS-886-99
Geometry-Specific Languages and Their Interfaces
CU-CS-887-99
WIT: A Tool for Integrating Web-Accessible Data
CU-CS-888-99
Interfaces and Algorithms for a Wide-Area Event Notification Service
CU-CS-889-99
Incrementing Bipartite Digraph Edge-Connectivity
CU-CS-890-99
Path-Based Depth-First Search for Strong and Biconnected Components
CU-CS-891-99
Architecture-Based Software Engineering
CU-CS-892-99
Component-Based Software Architectures: A Framework Based on Inheritance of Behavior
CU-CS-893-99
Implementing Heap-Object Behavior Prediction Efficiently and Effectively
... This report is available in Software-Practice and Experience, volume 31, number 9, pages 869-892, 2001.
CU-CS-894-99
Reasoning about Nonlinear System Identification
CU-CS-895-99
Capturing Architectural Configurability: Variants, Options, and Evolution
CU-CS-896-99
Annotating Components to Support Component-Based Static Analysis of Software Systems
CU-CS-897-00
POSSE Trace Format Version 1.0
CU-CS-898-99
Meta-Domains for Automated Model Building
CU-CS-899-00
Inheritance of Interorganizational Workflows: How to Agree to Disagree without Loosing Control?
CU-CS-900-00
Workflow Modeling Using Proclets
CU-CS-901-00
An Evaluation Framework for Collaborative Systems
... This report is currently unavailable. Contact Clarence (Skip) Ellis for further information.
CU-CS-902-00
Content-Based Addressing and Routing: A General Model and Its Application
CU-CS-903-00
Hybridizing and Coalescing Load Value Predictors
CU-CS-904-00
Automated Modeling of Nonlinear Physical Systems
CU-CS-905-00
Information Granulation in Automated Modeling
CU-CS-906-00
An Infrastructure to Generate Experimental Workloads for Persistent Object Systems
CU-CS-907-00
A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis
CU-CS-908-00
Using Expander Graphs to Find Vertex Connectivity
CU-CS-909-00
Adapting a Publish/Subscribe Middleware to Achieve Gnutella-Like Functionality
CU-CS-910-00
4-Edge-Coloring Graphs of Maximum Degree 3 in Linear Time
CU-CS-911-00
Enabling Project Awareness and Intersubjectivity via Hypermedia-Enabled Event Trails
CU-CS-912-00
Micro-Active Control of a Planar Jet
CU-CS-913-00
Architecture-Level Dependence Analysis for Software Systems
CU-CS-914-01
Linear-Time Recognition of Circular-Arc Graphs
CU-CS-915-01
An Efficient Parallel Termination Detection Algorithm
CU-CS-916-01
Marcy's Dots: A Problem on a National Test Revisited
CU-CS-917-01
Partnership Mathematics Content Courses for Prospective and Practicing Elementary and Middle School Teachers
CU-CS-918-01
On the Consistency and Correctness of School Mathematics
CU-CS-919-01
Recurrence Plots and Unstable Periodic Orbits
CU-CS-920-01
A Restricted Additive Schwarz Preconditioner with Harmonic Overlap for Symmetric Positive Definite Linear Systems
CU-CS-921-01
Coulomb Classifiers: Reinterpreting SVMs as Electrostatic Systems
CU-CS-922-01
Fast Forwarding for Content-Based Networking
CU-CS-923-01
Understanding the Connectivity of Heap Objects
CU-CS-924-01
Exploiting Physical Layer Power Control Mechanisms in IEEE 802.11b Network Interfaces
CU-CS-925-01
Reconfiguration in the Enterprise JavaBean Component Model
CU-CS-926-01
The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications
CU-CS-927-02
A Benchmark Suite for Distributed Publish-Subscribe Systems
CU-CS-928-02
The Dynamic Vertex Minimum Problem and Its Application to Clustering-Type Approximation Algorithms
CU-CS-929-02
Intrusion Management Using Configurable Architecture Models
CU-CS-930-02
Energy Consumption and Garbage Collection in Low-Powered Computing
CU-CS-931-02
A Tamper-Resistant Programming Language
CU-CS-933-02
On Relating Functional Specifications to Architectural Specifications: A Case Study
CU-CS-934-02
An Implementation of Transmit Power Control in 802.11b Wireless Networks
CU-CS-935-02
Ensemble-Based Human Communication Recognition
CU-CS-936-02
The Neem Platform: an Evolvable Framework for Perceptual Collaborative Applications
CU-CS-937-02
NEEM: An Agent Based Meeting Augmentation System
CU-CS-938-02
VLM2: A Very Lightweight Mobile Multicast System for Wireless Sensor Networks
CU-CS-939-02
INSENS: Intrusion-Tolerant Routing in Wireless Sensor Networks
CU-CS-941-02
Topology-Based Signal Separation
... Ross went by the name Rooney at the time this report was written.
CU-CS-943-02
A Lightweight Infrastructure for Reconfiguring Applications
CU-CS-944-03
Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications
CU-CS-945-03
A Technique for Accelerating the Convergence of Restarted GMRES
CU-CS-946-03
Extending the Siena Publish/Subscribe Type System
CU-CS-947-03
Using Event-Based Parsing to Support Dynamic Protocol Evolution
CU-CS-948-03
An Efficient Implementation of Query/Advertise
CU-CS-949-03
A Case for Test-Code Generation in Model-Driven Systems
CU-CS-950-03
MANTIS: System Support for MultimodAl NeTworks of In-Situ Sensors
CU-CS-951-03
Enhancing Base Station Security in Wireless Sensor Networks
CU-CS-952-03
Robust Minimax Probability Machine Regression
CU-CS-953-03
A Routing Scheme for Content-Based Networking
CU-CS-954-03
Probabilistic Random Forests: Predicting Data Point Specific Misclassification Probabilities
CU-CS-955-03
Nonparametric Classification with Polynomial MPMC Cascades
CU-CS-956-03
Sparse Greedy Minimax Probability Machine Classification
CU-CS-957-03
An Efficient Block Variant of GMRES
CU-CS-958-03
Choosing a Set of Partitions to Collect in a Connectivity-Based Garbage Collector
CU-CS-959-03
Nsclick User Manual
CU-CS-960-03
Benefits of Packet Aggregation in Ad-Hoc Wireless Network
CU-CS-962-03
Support for Mobility and Fault Tolerance in Mykil
CU-CS-964-03
Aide de Camp: Asymmetric Dual Core Design for Power and Energy Reduction
CU-CS-965-03
Thermal Management with Asymmetric Dual Core Designs
CU-CS-966-03
Pointer Analysis in the Presence of Dynamic Class Loading
CU-CS-967-04
Flexible Intrusion Tolerant Group Membership Protocol
CU-CS-968-04
Event-Based Document Sensing for Insider Threats
CU-CS-970-04
Case Study: Debugging a Discovered Specification for java.util.ArrayList by Using Algebraic Interpretation
CU-CS-971-04
Deafness and Virtual Carrier Sensing with Directional Antennas in 802.11 Networks
CU-CS-973-04
Clustering with Local and Global Consistency
CU-CS-974-04
Predicting the Probability of Correct Classification
CU-CS-975-04
Probabilistic Regression Using Basis Function Models
CU-CS-976-04
Unsupervised Outlier Detection and Semi-Supervised Learning
CU-CS-977-04
Linear Time Nonparametric Classification and Feature Selection with Polynomial MPMC Cascades for Large Datasets
CU-CS-978-04
Design, Implementation, and Evaluation of a Compilation Server
CU-CS-980-04
Weevil: a Tool to Automate Experimentation With Distributed Systems
CU-CS-981-04
The Tools We Live By: A Description of Personal Support Media in Work Life
CU-CS-982-04
A Preconditioned L-BFGS Algorithm with Application to Molecular Energy Minimization
CU-CS-983-04
Phases in Branch Targets of Java Programs
CU-CS-984-04
Developing and Debugging Algebraic Specifications for Java Classes
CU-CS-985-04
Discovering Algebraic Specifications for Java Classes
CU-CS-986-04
SHUSH: A MAC Protocol for Transmit Power Controlled Wireless Networks
CU-CS-987-04
Countermeasures Against Traffic Analysis Attacks in Wireless Sensor Networks
CU-CS-989-04
A Distributed and Parallel Component Architecture for Stream-Oriented Applications
CU-CS-990-05
Node Compromise in Sensor Networks: The Need for Secure Systems
CU-CS-991-05
On the L∞-Norm of Extreme Points for Crossing Supermodular Directed Network LPs
CU-CS-994-05
Distributed-System Failures: Observations and Implications for Testing
CU-CS-995-05
A Comparison of Planning Based Models for Component Reconfiguration
CU-CS-996-05
Virtual Spring Mesh Algorithms for Control of Distributed Robotic Macrosensors
CU-CS-997-05
Building the Memex Sixty Years Later: Trends and Directions in Personal Knowledge Bases
CU-CS-998-05
Tools Designed Specifically for Information Space Organization
CU-CS-999-05
FireWxNet: A Multi-Tiered Portable Wireless System for Monitoring Weather Conditions in Wildland Fire Environments
CU-CS-1000-05
Secure Code Distribution in Dynamically Programmable Wireless Sensor Networks
CU-CS-1001-05
A Note on Scaling Wireless Sensor Networks
CU-CS-1002-06
UNIX Memory Allocations Are Not Poisson
CU-CS-1003-06
Fault-Tolerant and Scalable TCP Splice and Web Server Architecture
CU-CS-1004-06
Simulation-Based Testing of Distributed Systems
CU-CS-1005-06
Jamming and Sensing of Encrypted Wireless Ad Hoc Networks
CU-CS-1006-06
AIR: Advancement through Interactive Radio
... Revised September 2007.
CU-CS-1007-06
Dynamics-Informed Data Assimilation in a Point-Vortex Model
CU-CS-1008-06
X-MAC: A Short Preamble MAC Protocol for Duty-Cycled Wireless Sensor Networks
CU-CS-1009-06
Dealing with Failures During Failure Recovery of Distributed Systems
CU-CS-1010-06
A Tamper-Resistant Programming Language System
CU-CS-1011-06
A Wireless Flit-Based OpNET Model
CU-CS-1012-06
Applying Automated Memory Analysis to Improve Iterative Algorithms
CU-CS-1013-06
Recording Real Worlds for Playback in a Virtual Exercise Environment
CU-CS-1015-06
FShm: High-Rate Frame Manipulation in Kernel and User-Space
CU-CS-1016-06
Fine Grain Spam Suppression Using Reachback
CU-CS-1017-06
NodeMD: Diagnosing Node-Level Faults in Remote Wireless Systems
CU-CS-1018-06
SensorFlock: A Mobile System of Networked Micro-Air Vehicles
CU-CS-1019-06
WeebleVideo -- Wide Angle Field-of-View Video Sensor Networks
CU-CS-1020-06
Revitalizing the Computer Science Curriculum
CU-CS-1021-06
Gradual Typing for Objects: Isabelle Formalization
CU-CS-1022-06
Building on the BACKSLASH Algorithm
CU-CS-1023-07
FastForward for Concurrent Threaded Pipelines
CU-CS-1024-07
Harnessing Chip-Multiprocessors with Concurrent Threaded Pipelines
CU-CS-1025-07
Low-Resource Routing Attacks Against Anonymous Systems
CU-CS-1026-07
Arguing About Radioisotope Dating
CU-CS-1027-07
Using Binary Classifiers to Augment Stereo Vision for Enhanced Autonomous Robot Navigation
CU-CS-1028-07
FastForward for Efficient Pipeline Parallelism
CU-CS-1029-07
Generating Novel, Stylistically Consonant Variations on Human Movement Sequences
CU-CS-1030-07
Local Path Planning in Image Space for Autonomous Robot Navigation in Unstructured Environments
CU-CS-1031-07
Experimental Evidence of Chaotic Dynamics in Computer Hardware
CU-CS-1032-07
Shining Light in Dark Places: A Study of Anonymous Network Usage
CU-CS-1033-07
Towards Physically Rendered Environments
CU-CS-1034-07
An HMM Applied to Semi-Online Program Phase Analysis
CU-CS-1035-07
Building a Prototype Analog Computer for Exact-1-in-3-SAT
CU-CS-1036-07
Program Metamorphosis
CU-CS-1037-08
Enhanced Server Fault Tolerance for Improved User Experience
CU-CS-1039-08
Gradual Typing with Unification-Based Inference
CU-CS-1040-08
Calvin: A System for Automating Cosmogenic Isotope Dating
CU-CS-1041-08
Avalon: Facilitating the Use of the Internet for Older Adults
CU-CS-1042-08
Observer Effect and Measurement Bias in Performance Analysis
CU-CS-1043-08
PIV Analysis of Forcing a Planar Jet Using a Loudspeaker
CU-CS-1044-08
Modeling Environmental Effects on Directionality in Wireless Networks
CU-CS-1045-08
SenSearch: GPS and Witness Assisted Tracking System for Delay Tolerant Sensor Networks
... This report is currently unavailable. Contact Shivakant Mishra for further information.
CU-CS-1046-08
A Concurrent Acknowledgement Scheme for Broadcast Messages in Wireless Networks
CU-CS-1047-08
Exploring the Design Space of Higher-Order Casts
CU-CS-1048-08
An Intentional Library Approach to Lock-Aware Transactional Memory
CU-CS-1049-08
A Consistency Checking Optimization Algorithm for Memory-Intensive Transactions
CU-CS-1050-08
A Non-negative Matrix Factorization Framework for Combining Multiple Image Segmentations
CU-CS-1051-08
X-Layer: An Experimental Implementation of a Cross-Layer Network Protocol Stack for Wireless Sensor Networks
CU-CS-1052-09
New Techniques for Path Planning in Image Space
CU-CS-1053-09
Impact of Non-stationary Workload on Resource Reservation Based Slack Reclamation
CU-CS-1054-09
Secure SocialAware: A Security Framework for Mobile Social Networking Applications
CU-CS-1055-09
Preliminary Investigations on Stochastic Information Control Nets
CU-CS-1056-09
Efficient Social Website Crawling Using Cluster Graph
CU-CS-1057-09
Strange Beta: Chaotic Variations for Indoor Rock Climbing Route Setting
CU-CS-1058-09
Challenges in Deploying Steerable Wireless Testbeds
CU-CS-1059-09
SocialFusion: Context-Aware Inference and Recommendation By Fusing Mobile, Sensor, and Social Data
CU-CS-1060-10
A Confidence System for Solving Real-World Problems with Argumentation
CU-CS-1061-10
Battery System Modeling and User Study for Emerging Green-Energy Transportation
CU-CS-1062-10
The Internet Ecosystem - The Potential for Discrimination
CU-CS-1063-10
CAwbWeb: Towards a Standardized Programming Framework to Enable a Context-Aware Web
CU-CS-1064-10
Don't They Do That? Interdisciplinary Iterative Design of a Personal Health Application for Older Adults
CU-CS-1065-10
Rethinking Anonymity for Social Networks
CU-CS-1066-10
Projects in Chaotic Dynamics: Spring 2010
CU-CS-1067-10
Recurrence Plots in Analysis of Computer Systems
CU-CS-1068-10
Intrusions into Privacy in Video Chat Environments: Attacks and Countermeasures
CU-CS-1069-10
Multiple Object 3D-Mapping using a Physics Simulator
CU-CS-1070-10
Wireless Networking Optimizations for Studying Algorithm Interactions
CU-CS-1071-10
Detecting Phases in Cache-miss Traces with Wavelets
CU-CS-1072-10
The Design, Implementation and Performance Evaluation of Xylophone: A Scalable QoS-enabled WiFi Locator Service
CU-CS-1073-10
Integrating Wikipedia and Facebook Context into Collaborative E-Brainstorming
CU-CS-1074-10
GPS Assisted Broadcasting in Mobile Ad-Hoc Networks
CU-CS-1075-10
GRATIS: Free Bits In The Network
CU-CS-1076-10
Access Nets: Modeling Access to Physical Spaces
CU-CS-1077-11
SafeVchat: Detecting Obscene Content and Misbehaving Users in Online Video Chat Services
CU-CS-1078-11
Irregular Spot Detection and Tracking: Automatically Geo-Temporal Tracking of Supra-Glacial Lakes on the Greenland Ice Sheet
CU-CS-1079-11
Path Planning with Forests of Random Trees: Parallelization with Super Linear Speedup
CU-CS-1080-11
Assembly by Intelligent Scaffolding
CU-CS-1081-11
Projects in Chaotic Dynamics: Spring 2011
CU-CS-1082-11
MPIEcho: A Framework for Transparent MPI Task Replication
CU-CS-1083-11
The Flow-Insensitive Precision of Andersen's Analysis in Practice
CU-CS-1084-11
SocialNews: Enhancing Online News Recommendations by Leveraging Social Network Information
CU-CS-1085-11
Food Redistribution as Optimization
CU-CS-1086-11
The Stability of the Longley-Rice Irregular Terrain Model for Typical Problems
CU-CS-1087-11
Iterated Function System Models in Data Analysis: Detection and Separation
CU-CS-1088-11
Strange Beta: An Assistance System for Indoor Rock Climbing Route Setting Using Chaotic Variations and Machine Learning
CU-CS-1089-11
MyZone: A Next-Generation Online Social Network
CU-CS-1090-12
Description of the Reachability Set Adaptive Mesh Algorithm
CU-CS-1091-12
MyShield: Protecting Mobile Device Data via Security Circles
CU-CS-1092-12
A Bayesian Treatment of Social Links in Recommender Systems
  
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA 		Questions/Comments?
Send email to

 Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks 		May 5, 2012 (13:54)
 
.