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 · 
 

Technical Reports 100 - 199
 
by Author by Year by Number All Reports
<
000-099 100-199 200-299 300-399 400-499
500-599 600-699 700-799 800-899 900-999
1000-1099
>
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.
  
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:53)
 
.