\ University of Utah Tech Reports for 1994 TECH REPORTS UNIVERSITY OF UTAH - COMPUTER SCIENCE DEPARTMENT SALT LAKE CITY, UTAH 84112 February 3, 1995 Technical Reports Secretary Computer Science - 3190 MEB University of Utah Salt Lake City, UT 84112 techreports@cs.utah.edu 801-581-8224 801-581-5843 fax * = Thesis (Masters) ** = Dissertation (PhD) NA = Not Available UUCS-94-001 Guruduth Banavar, Gary Lindstrom, & Douglas Orr. "Type-safe Composition of Object Modules." UUCS-94-002 Robert Mecklenburg, Charles Clark, Gary Lindstrom & Benny Yih. "A Dossier Driven Persistent Objects Facility." UUCS-94-003 J. H. Jacobs, M. R. Swanson and R. R. Kessler. "Persistence is Hard, Then You Die!, or, Compiler and Runtime Support for a Persistent Common Lisp." UUCS-94-004 Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; and Robert Mecklenburg. "Robotic Prototyping Environment (Progress Report)." Xeroxing Cost: $3.95 (79 pages) UUCS-94-005 Sobh, Tarek M.; Mohamed Dekhil; and Jonathan C. Owen. "Discrete Event Control for Inspection and Reverse Engineering" Xeroxing Cost: $ .40 (8 pages) UUCS-94-006 Dekhil, Mohamed; Tarek M. Sobh; and Thomas C. Henderson. "URK: Utah Robot Kit- A 3-link Robot Manipulator Prototype." Xeroxing Cost: $ .40 (8 pages) UUCS-94-007 Sobh, Tarek M.; J. Owen; C. Jaynes; M. Dekhil; and T. C. Henderson. "Industrial Inspection and Reverse Engineering." Xeroxing Cost: $ .50 (10 pages) UUCS-94-008 Carr, Harold; Robert R. Kessler; and Mark Swanson. "Compiling Distributed C++." Xeroxing Cost: $ .40 (8 pgs) UUCS-94-009 Gopalakrishnan, Ganesh; Dilip Khandekar; Ravi Kuramkote; and Ratan Nalumasu. "Case Studies in Symbolic Model Checking." Xeroxing Cost: $ .75 (15 pages) UUCS-94-010 Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; Anil Sabbavarapu; and Robert Mecklenburg. "Robot Manipulator Prototyping (Complete Design Review)" Xeroxing Cost: $7.85 (157 pages) UUCS-94-011 Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; and Robert Mecklenburg. "Prototyping Environment for Robot Manipulators." Xeroxing Cost: $1.55 (31 pages) UUCS-94-012 Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; and Anil Sabbavarapu. "URK: Utah Robot Kit- A Three-link Robot Prototype." Xeroxing Cost: $1.30 (26 pages) UUCS-94-013 Swanson, Mark; and Leigh Stoller. "PPE-level Protocols for Carpet Clusters" Xeroxing Cost: $ .95 (19 pages) UUCS-94-014 Parker, Steven G.; David M. Weinstein; and Christopher R. Johnson. "A Morphing Algorithm for Generating Near Optimal Grids: Applications in Computational Medicine." Xeroxing Cost: $ .45 (9 pages) UUCS-94-015 Kudva Prabhakar, Ganesh Gopalakrishnan; and Erik Brunvand. "Performance Analysis and Optimization of Asynchronous Circuits." Xeroxing Costs: $1.15 (23 pages) UUCS-94-016 MacLeod, R.S.; P.R. Ershler; C.R. Johnson; and M.A. Matheson. "Map3d: Scientific Visualization Program for Multichannel Time Series Data on Unstructured, Three Dimensional Meshes." Xeroxing Cost: $2.25 (45 pages) UUCS-94-017 MacLeod, R.S.; C.R. Johnson; and P.R. Ershler. "Construction of a Human Torso Model from Magnetic Resonance Images for Problems in Computational Electrocardiography." Xeroxing Cost: $1.60 (32 pages) UUCS-94-018 Gitlin, Carole; and Christopher Johnson. "Techniques for Visualizing 3D Unstructured Meshes." Xeroxing Cost: $ .55 (11 pages) UUCS-94-019 Shen, Han-Wei; and Christopher Johnson. "Semi-Automatic Image Segmentation: A Bimodel Thresholding Approach." Xeroxing Cost: $ .75 (15 pages) UUCS-94-020 Parker, Stephen; and Christopher Johnson. "Interactive Manipulation of Contour Data Using the Layers Program." Xeroxing Cost: $ .25 (5 pages) UUCS-94-021 Sutherland, Karen T. "The Stability of Geometric Inference In Location Determination." Xeroxing Cost: $5.20 (104 pages) UUCS-94-022 Yoo, Jae-tack; Kent F. Smith; and Erik Brunvand. "Automatic Rapid Prototyping of Semi-Custom VLSI Circuits Using FPGA's" Xeroxing Cost: $ .95 (19 pages) UUCS-94-023 Henderson, Thomas; Tarek M. Sobh; Frederic Zana; Beat Bruderlin; and Ching-Yao Hsu. "Sensing Strategies Based on Manufacturing Knowledge." Xeroxing Cost: $ .40 (8 pages) UUCS-94-024 Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; and Robert Mecklenburg. "UPE: Utah Prototyping Environment for Robot Manipulators." Xeroxing Cost: $ .40 (8 pages) UUCS-94-025 Sobh, Tarek M. "Modeling and Recovering Uncertainties in Sense Data." Xeroxing Cost: $ .50 (10 pages) UUCS-94-026 Sobh, Tarek M.; Thomas C. Henderson; and Frederic Zana. "A Unifying Framework for Tolerance Analysis." Xeroxing Cost: $ .45 (9 pages) UUCS-94-027 Hsu, Ching-yao; Beat Bruderlin. "Moving into Higher Dimensions of Geometric Constraint Solving." Xeroxing Cost: $2.55 (51 pages). UUCS-94-028 Hsu, Ching-yao; and Beat Bruderlin. "A New Approach to Tolerance Analysis." Xeroxing Cost: $1.10 (22 pages) UUCS-94-029 Eggli, Lynn; Beat Bruderlin; and Gershon Elber. "Sketching as a Solid Modeling Tool." Xeroxing Cost: $ .80 (16 pages) UUCS-94-030 Sobh, Tarek M.; Peter-Pike Sloan; and Mohamed Dekhil. "A Graphical Environmental and Applications for Discrete Event and Hybrid Systems in Robotics and Automation." Xeroxing Cost: $1.70 (34 pages) UUCS-94-031 Sobh, Tarek M.; Mohamed Dekhil; Peter-Pike Sloan; and Jonathan Owen. "A General Review, Graphical Environment, and Applications for Discrete Event and Hybrid Systems in Robotics and Automation." Xeroxing Cost: $5.70 (114 pages) UUCS-94-032 Ford, Bryan; Mike Hibler; and Jay Lepreau. "Extending the in progress RPC Abstractions: Separating Presentation from Interface." UUCS-94-033 Banavar, Guruduth; and Gary Lindstrom. "The Design of Object- Oriented Meta-Architectures for Programming Languages." Xeroxing Cost: $ .65 (13 pages) UUCS-94-034 Schenkat, L.; L. Veigel; and T. Henderson. "EGOR: Design, Development, Implementation." Xeroxing Cost: $2.35 (47 pages) UUCS-94-035 Banavar, Guruduth; Gary Lindstrom; and Douglas Orr. "ETYMA: A Framework for Modular Systems." Xeroxing Cost: $1.10 (22 pages) UUCS-94-036 Hsu, Ching-yao; Beat Bruderlin. "An Interactive N-Dimensional Constraint System." Xeroxing Cost: $ .75 (15 pages) UUCS-94-037 Brunvand, Erik. "Reduced Latency Self-timed FIFO Circuits." Xeroxing Cost: $2.20 (44 pages) UUCS-94-038 Rose, James. in progress UUCS-94-039 Neff, Rick. "Versatile Interaction Specification of Tools and Agents." Xeroxing Cost: $14.05 (281 pages) UUCS-94-040 Carter, John B; Mike Hibler, Ravindra R. Kuramkote. "Evaluating the Potential of Programmable Multiprocessor Cache Controllers" Xeroxing Cost: $1.20 (24 pages) _____________________________________________________________________________ CSTD-94-001 Tsay, Chey-Woei. "Fixed Point Computation and Parallel ** Algorithms for Solving Wave Equations." Xeroxing Cost: $6.35 (127 pages) CSTD-94-002 Dekhil, Mohamed E. "Prototyping Environment for Robot * Manipulators." Xeroxing Cost: $6.10 (122 pages) CSTD-94-003 Johns, Kyle. "A Pipelined Architecture for Ray Tracing." * Xeroxing Cost: $12.10 (242 pages) CSTD-94-004 Eggli, D. Lynn. "Skething with Constraints." Xeroxing Cost: * $3.55 (71 pages) CSTD-94-005 Carr, Harold. "Distributed C++." Xeroxing Cost: $8.85 ** (177 pages) CSTD-94-006 Jacobs, James H. "UCL+P - A Persistent Common Lisp." Xeroxing ** Cost: $a6.25 (125 pages) CSTD-94-007 Yih, Benny C. "Persistent Immutable Shared Abstractions for * Concurrent Scheme." Xeroxing Cost: $4.60 (92 pages) CSTD-94-008 Chandramouli, V. "Design of a Self-timed, Pipelined, Floating * Point Multiplier in Gallium Arsenide." Xeroxing Cost: $6.80 (136 pages) CSTD-94-009 Tolman, Kenneth. "Adaptive Teaching and Automated Program * bound Evaluation for an Electric Classroom." CSTD-94-010 Ahmed, Zakaria Ahmed. "Parallel Distributed Simulation of * bound Elastic Waves." CSTD-94-011 Soller, Jerome Barry. "Automated Detection of Delirium." ** Xeroxing Cost: $10.20 (204 pages) CSTD-94-012 Ramesh, Nanda K. "Design and Implementation of Portable Shared * Memory Server." Xeroxing Cost: $4.05 (81 pages) CSTD-94-013 Novak, Joseph Herschel. "An Asynchronous Floating Point Unit." * bound CSTD-94-014 Dick, Lisa Birgit. "Feature Extraction From Digital Evelation * bound Maps for Vision-Based Localization." Xeroxing Cost: $5.20 (104 pages) CSTD-94-015 Owen, Jonathan C. "Feature-based Reverse Engineering." * Xeroxing Cost: $5.05 (101 pages) CSTD-94-016 Dalton, Patrick John. "Z~: A Framework for Reactive Autonomous * Agent Specification and Analysis." Xeroxing Cost: $3.75 (75 pages) CSTD-94-017 Herschaft, Jason. "E-MO: A System for Automatically Generating * Emotive-Motions." Xeroxing Cost: $3.60 (72 pages)