University of Utah Tech Reports for 1991

				 TECH REPORTS

	       UNIVERSITY OF UTAH - COMPUTER SCIENCE DEPARTMENT
			 SALT LAKE CITY, UTAH  84112

				 September 2, 1993

			 Technical Reports Secretary
			 Computer Science - 3190 MEB
			      University of Utah
			   Salt Lake City, UT 84112
			   techreports@cs.utah.edu
				 801-581-8224

			     * = Thesis (Masters)
 			    ** = Dissertation (PhD)
			    NA = Not Available


UUCS-91-001     Gershon, Elber and Elaine Cohen.  "Error Bounded Variable
                Distance Offset Operator for Free From Curves and Surfaces."
                Xeroxing Cost: $.80 (16 pgs)

UUCS-91-002     Starkey, Mike. "A Lisp-based OCCAM Interpreter." Xeroxing
                Cost: $.65 (13 pgs)

UUCS-91-003     Starkey, Mike and T.M. Carter.  "Transforming Disfigured
                And Disoriented Areas Into Routable Switchboxes."  Xeroxing
                Cost: $.35 (7 pgs)

UUCS-91-004     Starkey, Mike and T.M. Carter.  "Switchbox Routing By 
                Pattern Matching."  Xeroxing Cost: $.60 (12 pgs)

CSTD-91-001     Ming, John Charles.  "A Multistrategy Machine Learning
*               Approach To Object Recognition." Xeroxing Cost: $13.05
		(261 pgs)

CSTD-91-002	Sohrt, Wolfgang. "Interaction With Constraints In 
*		Three-Dimensional Modeling." Xeroxing Cost: $5.80 (116 pgs)

UUCS-91-008	Soller, Jerome B. and Neil E. Cotter.  "Generality Vs.
		Speed Of Convergence In The Cart-Pole Balancer." 
		Xeroxing Cost: $.80 (16 pgs)

UUCS-91-009     Soller, Jerome B. and Neil E. Cotter.  "Prejudicial
                Search and Backprop."  Xeroxing Cost: $.20 (4 pgs)

UUCS-91-010	Susswein, Steven Y., Henderson, Thomas C., Zachary, 
		Joseph L., Hansen, Chuck, Hinker, Paul  and Gary C. Marsden.
		"Parallel Path Consistency."  Xeroxing Cost: $1.00 (20 pgs)

CSTD-91-003	Starkey, Michael.  "An Automated Wire Routing Kernel."
*		Xeroxing Cost: $4.10 (72 pgs.)

UUCS-91-012	Akella, Venkatesh and Ganesh Gopalakrishnan. "Hierarchical 
		Action Refinement: A Methodology For Compiling Asynchronous
		Circuits from a Concurrent HDL."  Xeroxing Cost: $1.05
		(21 pgs)

UUCS-91-013     Brunvand, Erik.  "A Cell Set for Self-Timed Design using
                Actel FPGAs."  Xeroxing Cost: $1.70 (34 pgs)

CSTD-91-010     Smith, Jeffrey Kent.  "SEQWARP: A Low-Cost Linear Systolic
*		Array for Biological Sequence Comparison."  Xeroxing Cost:
		$3.90 (78 pgs)

UUCS-91-015	Gopalakrishnan, Ganesh and Richard Fujimoto.  "Design and 
		Verification of the Rollback Ship using HOP:  A Case Study
		of Formal Methods Applied to Hardware Design."  Xeroxing 
		Cost: $2.30 (46 pgs)

UUCS-91-016	Akella, Venkatesh and Ganesh Gopalakrishnan.  "From 
		Process-Oriented Functional Specifications to Efficient
		Asynchronous Circuits."  Xeroxing Cost: $.40 (8 pgs)

UUCS-91-017	Bracha, Gilad and Gary Lindstrom.  "Modularity Meets 
		Inheritance."  Xeroxing Cost: $.90 (18 pgs)

UUCS-91-018	Akella, Venkatesh and Ganesh Gopalakrishnan.  "Static 
		Analysis Techniques for the Synthesis of Efficient
		Asynchronous Circuits."  Xeroxing Cost: $1.20 (24 pgs) 

CSTD-91-004	Lee, Hyo Jong.  "Numerical Weather Prediction Model
**		for Distributed Computing Systems.  Xeroxing Cost: $4.05
		(81 pgs) 

UUCS-91-020	George, Lal and Gary Lindstrom.  "Using a Functional Language
		And Graph Reduction To Program Multiprocessor Machines.
		Xeroxing Cost: $

UUCS-91-021	Akella, Venkatesh and Ganesh Gopalakrishnan.  "hopCP: A 
		Concurrent Hardware Description Language."  Xeroxing Cost:
		$1.70 (34 pgs)

UUCS-91-022	Jain, Prabhat, Ganesh Gopalakrishnan and Prabhakar Kudva.
		"Verification of Regular Arrays by Symbolic Simulation."
		Xeroxing Cost: $.80 (16 pgs)

UUCS-91-023	Jain, Prabhat and Ganesh Gopalakrishnan. "Efficient Symbolic
		Simulation Based Verification Using The Parametric Form of
		Boolean Expressions."  Xeroxing Cost: $1.25 (25 pgs)

UUCS-91-025	Hoogenboom, Peter J.. "System Performance Advisor User 
		Guide."  Xeroxing Cost: $2.20 (44 pgs)
		
UUCS-91-026	Hoogenboom, Peter. J.. "Semantic Definition of a Subset 
		of the Structured Query Language (SQL)."  Xeroxing
		Cost: $1.05 (21 pgs)

CSTD-91-005	Mecklenburg, Robert William.  "Towards A Language
**		Independent Object System."  Xeroxing Cost: $9.00
		(180 pgs)

CSTD-91-006	Swanson, Mark R..  "Concurrent Scheme, A Language for
**		Concurrent Symbolic Computing."  Xeroxing Cost: $5.70
		(114 pgs)

CSTD-91-007	Susswein, Steven Y..  "Parallel Path Consistency."
*		Xeroxing Cost: $3.45 (69 pgs)

CSTD-91-008	Paik, Karen Lynn.  "Trivariate B-Splines."  Xeroxing
*		Cost: $3.00 (60 pgs)

CSTD-91-009	McCullough, William Thomas Jr.  " Trimmed Surfaces."
*		Xeroxing Cost: $2.10 (42 pgs)

CSTD-91-011	George, Lal.  "Using a Functional Language and Graph Reduction
** Bound	to Program Multiprocessors."  Xeroxing Cost: $8.95 (179 pages)

CSTD-91-012	Boyd, Cary J.  "ELA: An Event Log Analysis for Logs of 
*		Execution Events." Xeroxing Cost: $5.30 (106 pages)
_______________________________________________________________________________