University of Utah Tech Reports for 1990 TECH REPORTS UNIVERSITY OF UTAH - COMPUTER SCIENCE DEPARTMENT SALT LAKE CITY, UTAH 84112 September 2, 1992 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-90-002 George, Lal. "A Scheduling Strategy for Shared Memory Multi-processors." Xeroxing Costs: $.60 (12 pgs) UUCS-90-003 Bruderlin, Beat. "Detecting Ambiguities: An Optimistic Approach to Robustness Problems in Computational Geometry." Xeroxing Costs: $1.20 ( 24 pgs) UUCS-90-004 Bruderlin, Beat. "Robust Regularized Set Operations on Polyhedra." Xeroxing Cost: $1.45 (29 pgs) UUCS-90-005 Bruderlin, Beat. "DI-A Portable, Object Oriented User Interface Toolkit for Modlula-2 Applications." Xeroxing Cost: $2.10 (42 pgs) UUCS-90-010 Akella, Venkatesh. "hopCP: Language Definition, Semantics and Examples." Xeroxing Cost: $1.25 (25 pgs) CSTD-90-001 Elens, Bob. "Sequencing Computational Events in Heterogeneous ** Distributed Systems." Xeroxing Cost: $4.25 (85 pgs) UUCS-90-012 Starkey, Mike and Ali Farhang. "C-RISC: A C Language Reduced Instruction Set Computer." Xeroxing Cost: $.40 (8 pgs) UUCS-90-013 Henderson, Thomas C., John Evans, Lane Grayston, Allen Sanderson, Leigh Stoller, and Eliot Weitz. " CSCV: A CAD-Based Vision System." Xeroxing Cost: $2.25 (45 pgs) UUCS-90-014 Kessler, Robert R. and Mark R. Swanson. "Concurrent Schemes." Xeroxing Cost: $1.80 (36 pgs) UUCS-90-015 Ginosar, Ran, and Nick Michell. "On the Potential of Asynchronous Pipelined Processors." Xeroxing Cost: $.45 (9 pgs) UUCS-90-016 Gopalakrishnan, Ganesh, and Prabhat Jain. "Some Recent Asynchronous System Design Methodologies." Xeroxing Cost: $2.65 (53 pgs) UUCS-90-017 Evans, John. "A Distributed Object Oriented Graphical Programming System." Xeroxing Cost: $ 5.45 (109 pgs) UUCS-90-018 Henderson, Thomas and Patrick Dalton. "Z-infinity: A Framework for Autonomous Agent Behavior Specification and Analysis." Xeroxing Cost: $1.15 (23 pgs) UUCS-90-019 Kessler, Robert R. and John D. Evans. "DPOS: A Metalanguage and Programming Environment for Parallel Processors." Xeroxing Cost: $.55 (11 pgs) UUCS-90-020 Evans, John D. "DPOS Programming Manual." Xeroxing Cost: $1.05 (21 pgs) UUCS-90-021 Gopalakrishnan, Jain, Akella, Josephson, Kuo. "Combining Verification and Simulation." Xeroxing Cost: $.85 (17 pgs) CSTD-90-002 Thingvold,Jeffrey Allyn. "Elastic And Plastic Surfaces * For Modeling And Animation." Xeroxing Cost: $5.80 (116 pgs) UUCS-90-023 Bruderlin, Beat. "An Axiomatic Approach for Solving Geometric Problems Symbolically." Xeroxing Cost: $1.95 (29 pgs) UUCS-90-024 Bruderlin, Beat. "Interaction With Constraints in 3D Modeling." Xeroxing Cost: $1.00 (20 pgs) CSTD-90-003 Yeh, Dowming. "Static Analysis of Multiparadigm ** Languages." Xeroxing Cost: $7.90 (158 pgs) CSTD-90-004 Livingston, John Barry. "Intersurface Continuity of B-Spline * Based Solid Models." Xeroxing Cost: $4.90 (98 pgs) CSTD-90-005 Dooley, Debra Lynn. "Computer Illustration of Three * Dimensional Sculptured Surfaces." Xeroxing Cost: $4.20 (84 pgs) CSTD-90-006 Smith, Glenn Gordon. "Modeling The Motion of Human * Systems With Computer Graphics." Xeroxing Cost: $4.65 (93 pgs) CSTD-90-007 Igo, Takeshi. "Using Types to Interface Functional and Logic * Bound Programming." Xeroxing Cost: $3.55 (71 pages) CSTD-90-008 Evans, John Douglas. "A Distributed Object-Oriented Graphical * Bound Programming System." Xeroxing Cost: $5.65 (113 pages) CSTD-90-009 Dovey, Donald Joseph. "Integrating Geometric Modeling and * Bound Motion Simulation for Mechanical Systems." Xeroxing Cost: $7.70 (154 pages) _________________________________________________________________________