Browse

ftp://ftp.cs.utah.edu (97)

	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-009.ps.Z, 19920618 Our LIPS Are Sealed: Interfacing Logic and Functional Programming Systems Gary Lindstrom1 Jan Ma luszy nski2 Takeshi Ogi3 UUCS-92-009 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA March 23, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-034.ps.Z, 19921008 UUCS-92-034 September, 1992 To appear in identical form in Proc. 26th Hawaii International Conference on System Sciences, January 1993. Dynamic Program Monitoring and Transformation Using the OMOS Object Server Douglas B. Orr, Robert W. Mecklenburg, Peter J. Hoogenboom, and Jay Lepreau Department of
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-033.ps.Z, 19921008 UUCS-92-033 July, 1992 Appears in identical form in Proc. 2nd International Workshop on Object Orientation in Operating Systems, Paris, France, September 1992. OMOS \| An Object Server for Program Execution Douglas B. Orr Robert W. Mecklenburg Department of Computer Science, University of Utah Salt Lake
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-035.ps.Z, 19921016 A Dynamic Framework for Intelligent Inspection Tarek M. Sobh, Chris Jaynes, and Thomas C.Henderson1 UUCS-92-035 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA October 15, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-036.ps.Z, 19921026 A Dynamic Recursive Structure for Intelligent Inspection Tarek M. Sobh, Mohamed Dekhil, Chris Jaynes, and Thomas C. Henderson1 UUCS-92-036 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA October 26, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-032.6.ps.Z, 19921114 101 z component. Then, the tangent of the slope angle S is equal to: tan(S) = q 1 n2z nz : (6:5) When nz = +1 the surface orientation is horizontal. If nz = the surface is vertical, and finally if nz = 1 that surface is horizontal again, but this time facing down. Inspection of the surface unit normal
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-032.5.ps.Z, 19921114 81 (a) (b) (c) Figure 5.9. The speed of S's isocurve in the ruled direction is emulated by the ruled surface ^R approximating it. In (a), the jth column of S mesh, Pfflj , is projected in (b) onto the line connecting P0j and Pmj . The spacing of the projected points is used to construct the mesh of ^R's
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-032.3.ps.Z, 19921114 41 Algorithm 3.3 Input: o, tolerance for subdivision control. S(u; v), an offset surface, possibly self-intersecting. Output: L, a piecewise linear representation of the self intersection curves. Algorithm: Q ( S(u; v), a priority queue holding sorted data in z according to minimum z of elements. P ( ;,
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-032.1.ps.Z, 19921114 FREE FORM SURFACE ANALYSIS USING A HYBRID OF SYMBOLIC AND NUMERIC COMPUTATION by Gershon Elber A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science The University of Utah
	ftp://ftp.cs.utah.edu/techreports/1991/UUCS-91-001.ps.Z, 19921114 Error Bounded Variable Distance Offset Operator for Free Form Curves and Surfaces Gershon Elbery and Elaine Cohen UUCS-91-001 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA Feb 1991 This work was supported in part by DARPA (N00014-88-K-0689). All opinions, findings,
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-017.ps.Z, 19921114 Second Order Surface Analysis Using Hybrid Symbolic and Numeric Operators Gershon Elbery and Elaine Cohen Computer Science Department, University of Utah November 5, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-032.4.ps.Z, 19921114 CHAPTER 5 MACHINING APPLICATIONS Computing and numerical control (NC) has made great progress at that time, and it was certain that only numbers, transmitted from drawing office to tool drawing office, manufacture, patternshop, and inspection, could provide an answer; of course, drawings would remain
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-023.ps.Z, 19921114 Hybrid Symbolic and Numeric Operators as Tools for Analysis of Freeform Surfaces Gershon Elbery and Elaine Cohen Computer Science Department, University of Utah November 5, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-032.2.ps.Z, 19921114 21 Both approaches do not bound the offset error globally. To bound the error introduced by the piecewise arcs and lines approximation, a curve-line and a curve-arc maximum global distance computation is required. Such computation is traditionally performed using a finite set of samples. A bound on the
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-038.ps.Z, 19921123 Constraint Objects { Integrating Constraint Definition and Graphical Interaction Ching-yao Hsu Beat Bruderlin UUCS-92-038 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA November 23, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-040.ps.Z, 19921203 Adaptive Isocurves Based Rendering for Freeform Surfaces Gershon Elber and Elaine Cohen UUCS-92-040 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA December 2, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-026.ps.Z, 19921216 A Communication-Ordered Task Graph Allocation Algorithm John D. Evans Robert R. Kessler UUCS-92-026 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA April 21,1992
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-005.ps.Z, 19921216 Modules as Values in a Persistent Object Store1 Gilad Bracha Horizon Technologies of New York, Inc. gilad@cs.utah.edu Charles F. Clark, Gary Lindstrom2 and Douglas B. Orr University of Utah fclark,lindstrom,dbog@cs.utah.edu
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-037.ps.Z, 19921216 Using Utilization Profiles in Allocation and Partitioning for Multiprocessor Systems John D. Evans Robert R. Kessler UUCS-92-037 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA October 29,1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-041.ps.Z, 19921223 Autonomous Observation Tarek M. Sobh1 UUCS-92-041 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA December 23, 1992
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-029.ps.Z, 19930119 Asynchronous Systems Research Group University of Utah, Department of Computer Science The NSR Processor Prototype WILLIAM F. RICHARDSON (willrich@cs.utah.edu) ERIK L. BRUNVAND (brunvand@cs.utah.edu) Computer Science Department 3190 Merrill Engineering Building University of Utah Salt Lake City, Utah
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-003.ps.Z, 19930304 An Extended Cell Set for Self-Timed Designs Ajay Khoche UUCS-93-003 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA February 26, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-002.ps.Z, 19930315 Radioptimization \| Goal Based Rendering John K. Kawai James S. Painter Michael F. Cohen UUCS-93-002 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA February 24, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-007.ps.Z, 19930315 Active Inspection and Reverse Engineering Tarek M. Sobh, Jonathan Owen, Chris Jaynes, Mohamed Dekhil, and Thomas C. Henderson1 UUCS-93-007 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA March 11, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-009.ps.Z, 19930413 STORY: A HIERARCHICAL ANIMATION AND STORYBOARDING SYSTEM FOR ALPHA 11 Michael S. Blum, Robert Mecklenburg C.S. Department UUCS-93-009 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA April 7, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-010.ps.Z, 19930424 Reconstruction of Sculptured Surface Using Coordinate Measuring Machines1 Yuan C. Hsieh UUCS-93-010 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA April 22, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-012.ps.Z, 19930518 Notes on Thread Models in Mach 3.0 Bryan Ford Mike Hibler Jay Lepreau UUCS-93-012 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA April, 1993
	ftp://ftp.cs.utah.edu/pub/ReverseEngineering/techreports/postScript/UUCS-93-014.ps.Z, 19930602 Intermediate Results in Active Inspection and Reverse Engineering Tarek M. Sobh, Jonathan Owen, Chris Jaynes, Mohamed Dekhil, and Thomas C. Henderson1 UUCS-93-014 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA June 2, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-013.ps.Z, 19930706 Prototyping a Robotic Manipulator and Controller Tarek M. Sobh, Mohamed Dekhil, and Thomas C. Henderson1 UUCS-93-013 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA July 6, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-017.ps.Z, 19930722 A TRANSFORMATIONAL APPROACH TO ASYNCHRONOUS HIGH-LEVEL SYNTHESIS Ganesh Gopalakrishnan 1 Venkatesh Akella 2 ganesh@cs.utah.edu, akella@eecs.ucdavis.edu, University of Utah, University of California, Dept. of Computer Science, Dept. of EE and Computer Engg., Salt Lake City, UT 84112, USA Davis, CA 95616,
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-020.ps.Z, 19930922 Peephole Optimization of Asynchronous Networks Through Process Composition and Burst-mode Machine Generation 1 Ganesh Gopalakrishnan Prabhakar Kudva UUCS-93-020 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA September 22, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-023.ps.Z, 19930928 Concurrent Engineering and Robot Prototyping Mohamed Dekhil, Tarek M. Sobh, Thomas C. Henderson, and Robert Mecklenburg 1 UUSC-93-023 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA October 1, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-021.ps.Z, 19930928 Prototyping Environment for Robot Manipulators Mohamed Dekhil, Tarek M. Sobh, and Thomas C. Henderson 1 UUSC-93-021 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA September 30, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-025.ps.Z, 19931004 Analysis of Tolerance for Manufacturing Geometric Objects from Sense Data Tarek M. Sobh, Xiao Hong Zhu, and Beat Br uderlin Department of Computer Science University of Utah Salt Lake City, Utah 84112
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-006.ps.Z, 19931021 A Framework For Module-Based Language Processors Guruduth Banavar Gary Lindstrom UUCS-93-006 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA March 5, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-026.ps.Z, 19931022 Modular Language Processors As Framework Completions Guruduth Banavar Gary Lindstrom UUCS-93-026 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA October 21, 1993
	ftp://ftp.cs.utah.edu/techreports/1993/UUCS-93-015.ps.Z, 19931211 Some Unusual Micropipeline Circuits1 Ganesh Gopalakrishnan UUCS-93-015 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA Last Updated : December 11th, 1993.
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-002.ps.Z, 19940110 A Dossier Driven Persistent Objects Facility Robert Mecklenburg Charles Clark Gary Lindstrom Benny Yih UUCS-94-002 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA January 10, 1994
	ftp://ftp.cs.utah.edu/techreports/1991/UUCS-91-017.ps.Z, 19940202 Modularity Meets Inheritance Gilad Bracha Gary Lindstrom UUCS-91-017 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA October 13, 1991
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-011.ps.Z, 19940307 A Distributed Garbage Collection Algorithm Terence Critchlow UUCS-92-11 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA July 30, 1992
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-009.ps.Z, 19940315 Case Studies in Symbolic Model Checking Ganesh Gopalakrishnan, Dilip Khandekar, Ravi Kuramkote and Ratan Nalumasu UUCS-94-009 Department of Computer Science University of Utah Salt Lake City, UT 84112 March 15, 1994
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-021.ps.Z, 19940711 The Stability of Geometric Inference in Location Determination Karen T. Sutherland A revised version of the thesis submitted to the faculty of the Graduate School of the University of Minnesota in partial fulfillment of the requirements for the degree of Doctor of Philosophy UUCS-94-021 Department of
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-022.ps.Z, 19940826 Automatic Rapid Prototyping of Semi-Custom VLSI Circuits using FPGAs Jae-tack Yoo, Kent F. Smith, Erik Brunvand UUCS-94-022 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA August 24, 1994
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-016.ps.Z, 19941030 Map3d: Scientific visualization program for multichannel time series data on unstructured, three-dimensional meshes. Program User's Guide Robert S. MacLeod (macleod@vissgi.cvrti.utah.edu), Phil R. Ershler (ershler@cvrti.utah.edu), Christopher R. Johnson y (crj@cs.utah.edu), and Michael A. Matheson z
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-017.ps.Z, 19941030 Construction of a human torso model from magnetic resonance images for problems in computational electrocardiography. Robert S. MacLeod (macleod@cvrti.utah.edu), Christopher R. Johnson y (crj@cs.utah.edu), Phil R. Ershler (ershler@cvrti.utah.edu) UUCS-94-017 Nora Eccles Harrison Cardiovascular Research
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-001.ps.Z, 19941207 International Conference on Computer Systems and Education, IISc, Bangalore, 1994 Type-safe Composition of Object Modules Guruduth Banavar, Gary Lindstrom, Douglas Orr Department of Computer Science, University of Utah Salt Lake City, Utah 84112 USA
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-005.ps.Z, 19950203 Formal Aspects of VLSI Research Group University of Utah, Department of Computer Science Dynamic Reordering of High Latency Transactions in Time-Warp Simulation Using a Modified Micropipeline ARMIN LIEBCHEN GANESH GOPALAKRISHNAN University of Utah Dept. of Computer Science Salt Lake City, Utah 84112
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-005.ps.Z, 19950424 Explicit-enumeration based Verification made Memory-efficient Ratan Nalumasu, Ganesh Gopalakrishnan , Department of Computer Science, University of Utah, Salt Lake City, UT 84112 fratan,ganeshg@cs.utah.edu February 24, 1995
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-008.ps.Z, 19950523 Fred: An Architecture for a Self-Timed Decoupled Computer William F. Richardson and Erik Brunvand UUCS-95-008 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA May 8, 1995
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-007.ps.Z, 19950627 Layered, Server-based Support for Object-Oriented Application Development Guruduth Banavar Douglas Orr Gary Lindstrom Department of Computer Science University of Utah, Salt Lake City, UT 84112 USA fbanavar,dbo,lindstromg@cs.utah.edu
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-002.ps.Z, 19950627 Object-Oriented Programming in Scheme with First-Class Modules and Operator-Based Inheritance Guruduth Banavar Gary Lindstrom Department of Computer Science University of Utah, Salt Lake City, UT 84112
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-009a.ps.Z, 19950628 Formal Aspects of VLSI Research Group University of Utah, Department of Computer Science HOP: A Formal Model for Synchronous Circuits using Communicating Fundamental Mode Symbolic Automata GANESH GOPALAKRISHNAN (ganesh@cs.utah.edu) University of Utah Dept. of Computer Science Salt Lake City, Utah 84112
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-003.ps.Z, 19950628 Persistence is Hard, Then You Die! or Compiler and Runtime Support for a Persistent Common Lisp J. H. Jacobs M. R. Swanson R. R. Kessler UUCS-94-003 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA January 26, 1994
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-004.ps.Z, 19950628 A Correctness Criterion for Asynchronous Circuit Validation and Optimization GANESH GOPALAKRISHNAN (ganesh@cs.utah.edu) ERIK BRUNVANDy (brunvand@cs.utah.edu) NICK MICHELL (michell@cs.utah.edu) University of Utah Dept. of Computer Science Salt Lake City, Utah 84112 STEVEN M. NOWICKz
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-035.ps.Z, 19950628 Etyma: A Framework for Modular Systems Guruduth Banavary Gary Lindstrom Douglas Orr Department of Computer Science University of Utah, Salt Lake City, UT 84112 USA fbanavar,lindstrom,dbog@cs.utah.edu
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-033.ps.Z, 19950628 The Design of Object-Oriented Meta-Architectures For Programming Languages Guruduth Banavar and Gary Lindstrom Department of Computer Science University of Utah, Salt Lake City
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-001.ps.Z, 19950629 Specification and Validation of Control Intensive ICs in hopCP VENKATESH AKELLA (akella@cs.utah.edu) GANESH GOPALAKRISHNAN (ganesh@bliss.utah.edu) Dept. of Computer Science University of Utah Salt Lake City, Utah 84112 Keywords: asynchrony, behavioral simulation, formal methods, hardware description
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-008.ps.Z, 19950629 Asynchronous Circuit Verification Using Trace Theory and CCS Ganesh Gopalakrishnan University of Utah Dept. of Computer Science Salt Lake City, Utah 84112 ganesh@bliss.utah.edu June 29, 1995
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-012.ps.Z, 19950703 Towards A Verification Technique for Large Synchronous Circuits Prabhat Jain, Prabhakar Kudva, and Ganesh Gopalakrishnan Department of Computer Science, University of Utah, Salt Lake City, UT 84112
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-019a.ps.Z, 19950703 HIGH LEVEL OPTIMIZATIONS IN COMPILING PROCESS DESCRIPTIONS TO ASYNCHRONOUS CIRCUITS GANESH GOPALAKRISHNAN (ganesh@cs.utah.edu) University of Utah Dept. of Computer Science Salt Lake City, Utah 84112 VENKATESH AKELLAy (akella@ece.ucdavis.edu) Department of Electrical and Computer Engineering, University
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-011.ps.Z, 19950804 A Fast Parallel Squarer Based on Divide-and-Conquer Jae-tack Yoo, Kent F. Smith, Ganesh Gopalakrishnan UUCS-95-011 Department of Computer Science MEB 3190, University of Utah Salt Lake City, UT. 84112 August 4, 1995
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-012.ps.Z, 19950821 Hierarchical Data Structures for Interactive Volume Visualization David M. Weinstein Christopher R. Johnson Email: dweinste@cs.utah.edu and crj@cs.utah.edu UUCS-95-012 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA August 17, 1995
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-018.ps.Z, 19950822 Techniques for Visualizing 3D Unstructured Meshes Carole S. Gitlin Christopher R. Johnson Email: cgitlin@cs.utah.edu and crj@cs.utah.edu UUCS-94-018 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA January 24, 1995
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-006.ps.Z, 19951005 Explicit-enumeration based Verification made Memory-efficient Ratan Nalumasu, Ganesh Gopalakrishnan 1 fratan,ganeshg@cs.utah.edu University of Utah, Dept. of Computer Science, Salt Lake City, UT 84112, USA UUCS-95-005 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-019.ps.Z, 19951030 Timing Constraints for High Speed Counterflow-Clocked Pipelining Jae-tack Yoo, Ganesh Gopalakrishnan and Kent F. Smith UUCS-95-019 Department of Computer Science MEB 3190, University of Utah Salt Lake City, UT. 84112 October 30, 1995
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-015.ps.Z, 19951031 Exploiting Discontinuities in Optical Flow William B. Thompson Department of Computer Science University of Utah Salt Lake City, UT 84112 University of Utah Dept. of Computer Science Tech. Report UUCS-95-015, October 19, 1995.
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-020.ps.Z, 19951114 Compositionally Modular Scheme Guruduth Banavar Gary Lindstrom Department of Computer Science University of Utah, Salt Lake City, UT 84112
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-010.ps.Z, 19951115 Feature-Based Reverse Engineering of Mechanical Parts William B. Thompson, Jonathan C. Owen, and H. James de St. Germain Department of Computer Science University of Utah Salt Lake City, UT 84112 University of Utah Department of Computer Science Techical Report UUCS-95-010 (revised), November 6, 1995.
	ftp://ftp.cs.utah.edu/techreports/1992/UUCS-92-007.ps.Z, 19951127 THE PROGRAMMING LANGUAGE JIGSAW: MIXINS, MODULARITY AND MULTIPLE INHERITANCE by Gilad Bracha A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science The University of Utah March
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-001.ps.Z, 19960124 Low Latency Workstation Cluster Communications Using Sender-Based Protocols 1 Mark R. Swanson Leigh B. Stoller E-mail: fswanson,stollerg@cs.utah.edu UUCS-96-001 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA January 24, 1996
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-003.ps, 19960124 Direct Deposit: A Basic User-Level Protocol for Carpet Clusters 1 Mark R. Swanson Leigh B. Stoller E-mail: {swanson,stoller}@cs.utah.edu UUCS-95-003 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA January 23, 1996
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-013.ps, 19960124 PPE Interface and Functional Specification 1 Mark R. Swanson L. Brad Stoller Terry T. Tateyama UUCS-95-013 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA August 8, 1995
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-021.ps.Z, 19960124 The Fred VHDL Model William F. Richardson UUCS-95-021 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA November 21, 1995
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-002.ps.Z, 19960311 Message Passing Support in the Avalanche Widget 1 Mark R. Swanson Ravindra Kuramkote Leigh B. Stoller Terry Tateyama E-mail: fswanson,kuramkot,stoller,ttateyamg@cs.utah.edu WWW: http://www.cs.utah.edu/projects/avalanche UUCS-96-002 Department of Computer Science University of Utah Salt Lake City, UT
	ftp://ftp.cs.utah.edu/techreports/1996/CSTD-96-001.ps.Z, 19960312 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA
	ftp://ftp.cs.utah.edu/techreports/1995/CSTD-95-011.ps.Z, 19960403 AN APPLICATION FRAMEWORK FOR COMPOSITIONAL MODULARITY by Guruduth S. Banavar A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science The University of Utah December 1995 Copyright c
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-005.ps.Z, 19960718 D R A F T UUCS-96-005 Flexible Multi-Policy Scheduling based on CPU Inheritance Bryan A. Ford Sai R. Susarla Department of Computer Science University of Utah Salt Lake City, UT 84112 flux@cs.utah.edu http://www.cs.utah.edu/projects/flux/ May 10, 1996
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-006.ps.Z, 19960827 Partial Order Reduction Without the Proviso Ratan Nalumasu Ganesh Gopalakrishnan UUCS-96-008 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA August 6, 1996
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-004.ps.Z, 19960829 D R A F T UUCS-96-004 Microkernels Meet Recursive Virtual Machines Bryan Ford Mike Hibler Jay Lepreau Patrick Tullmann Godmar Back Shantanu Goel Steven Clawson Department of Computer Science University of Utah Salt Lake City, UT 84112 flux@cs.utah.edu http://www.cs.utah.edu/projects/flux/ May 10, 1996
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-009.ps, 19960911 Paint: PA Instruction Set Interpreter 1 Leigh B. Stoller Mark R. Swanson Ravindra Kuramkote E-mail: fstoller,swanson,kuramkotg@cs.utah.edu WWW: http://www.cs.utah.edu/projects/avalanche UUCS-96-009 Department of Computer Science University of Utah Salt Lake City, UT 84112, USA September 11, 1996
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-023.ps.Z, 19960920 Reducing Consistency Traffic and Cache Misses in the Avalanche Multiprocessor John B. Carter, Ravindra Kuramkote, Chen-Chi Kuo UUCS-95-023 Computer Systems Laboratory University of Utah
	ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-022.ps.Z, 19960920 Avalanche: A Communication and Memory Architecture for Scalable Parallel Computing John B. Carter, Al Davis, Ravindra Kuramkote, Chen-Chi Kuo, Leigh B. Stoller, Mark Swanson UUCS-95-022 Computer Systems Laboratory University of Utah
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-040.ps.Z, 19960920 Evaluating the Potential of Programmable Multiprocessor Cache Controllers John B. Carter Mike Hibler Ravindra R. Kuramkote UUCS-94-040 Department of Computer Science University of Utah
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-011.ps.Z, 19960924 A Comparison of Software and Hardware Synchronization Mechanisms for Distributed Shared Memory Multiprocessors John B. Carter, Chen-Chi Kuo, Ravindra Kuramkote fretrac, chenchi, kuramkotg@cs.utah.edu WWW: http://www.cs.utah.edu/projects/avalanche UUCS-96-011 Department of Computer Science University of
	ftp://ftp.cs.utah.edu/techreports/1996/UUCS-96-010.ps.Z, 19960924 The Avalanche Myrinet Simulation Package \| User Manual for V2.0 \| Chen-Chi Kuo, John B. Carter fchenchi, retracg@cs.utah.edu WWW: http://www.cs.utah.edu/projects/avalanche UUCS-96-010 Department of Computer Science University of Utah, Salt Lake City, UT 84112 September 24, 1996
	ftp://ftp.cs.utah.edu/techreports/1997/UUCS-97-009.ps.Z, 19970729 Deriving Efficient Cache Coherence Protocols through Refinement Ratan Nalumasu Ganesh Gopalakrishnan UUCS-97-009 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA Jul 29, 1997
	ftp://ftp.cs.utah.edu/techreports/1997/UUCS-97-003.ps.Z, 19971231 Minimum Distance Queries For Polygonal And Parametric Models David E. Johnson and Elaine Cohen UUCS-97-003 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA February 26, 1997
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-014.ps.Z, 19980102 A Morphing Algorithm for Generating Near Optimal Grids: Applications in Computational Medicine Steven G. Parker Department of Computer Science, University of Utah Salt Lake City, UT 84112, USA sparker@cs.utah.edu David M. Weinstein Department of Computer Science, University of Utah Salt Lake City, UT
	ftp://ftp.cs.utah.edu/techreports/1994/UUCS-94-019.ps.Z, 19980102 Semi-Automatic Image Segmentation: A Bimodal Thresholding Approach Hanwei Shen Christopher R. Johnson E-mail: hwshen@cs.utah.edu and crj@cs.utah.edu UUCS-94-019 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA January 3, 1995
	ftp://ftp.cs.utah.edu/techreports/1997/CSTD-97-003.ps.Z, 19980102 SCHEMACOERCION: USING DATABASE META-INFORMATION TO FACILITATE DATATRANSFER by Terence Critchlow A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science The University of Utah June
	ftp://ftp.cs.utah.edu/techreports/1997/UUCS-97-014.ps.Z, 19980112 Instrumented Sensor System Practice Mohamed Dekhil and Thomas C. Henderson UUSC-97-014 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA March 1997
	ftp://ftp.cs.utah.edu/techreports/1997/CSTD-97-004.ps.Z, 19980112 REPRESENTATION OF AND MODELING WITH ARBITRARY DISCONTINUITY CURVES IN SCULPTURED SURFACES by Marc S. Ellens A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science The University of
	ftp://ftp.cs.utah.edu/techreports/1997/UUCS-97-011.ps.Z, 19980112 Instrumented Sensor System Architecture Mohamed Dekhil and Thomas C. Henderson UUSC-97-011 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA November 1997
	ftp://ftp.cs.utah.edu/techreports/1997/UUCS-97-008.ps.Z, 19980115 Analysis of Avalanche's Shared Memory Architecture Ravindra Kuramkote, John Carter, Alan Davis, Chen-Chi Kuo, Leigh Stoller, Mark Swanson UUCS-97-008 Computer Systems Laboratory University of Utah
	ftp://ftp.cs.utah.edu/techreports/1997/CSTD-97-005.ps.Z, 19980121 FEATURE-BASED PROCESS PLANNING AND AUTOMATIC NUMERICAL CONTROL PART PROGRAMMING by Chih-Cheng Ho A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science The University of Utah
	ftp://ftp.cs.utah.edu/techreports/1998/UUCS-98-002.ps.Z, 19980209 Decomposing the Proof of Correctness of Pipelined Microprocessors Ravi Hosabettu1, Mandayam Srivas2, Ganesh Gopalakrishnan1 1Department of Computer Science 2Computer Science Laboratory University of Utah SRI International Salt Lake City, UT 84112 Menlo Park, CA 94025 Contact email: hosabett@cs.utah.edu
	ftp://ftp.cs.utah.edu/techreports/1998/UUCS-98-003.ps.Z, 19980209 Smart Sensor Snow Thomas C. Henderson, Mohamed Dekhil, Scott Morris, and William B. Thompson UUSC-98-003 Department of Computer Science University of Utah Salt Lake City, UT 84112 USA February 1998