Technical Reports

To submit a technical report, follow these instructions.

Number Title Authors Abstract Report

2022 Technical Reports

UUCS 22-001 C Split Globally: High Performance Convolution Kernels for CNNs Erik Barton pdf
UUCS 22-002 Algebraic Reconstruction Optimization through Precomputation of Weights Matrix Jared Green pdf
UUCS 22-003 An Interval Arithmetic for Robust Error Estimation Oliver Flatt pdf
UUCS 22-004 Semiblind Calibration of Gain and Drift in a Sensor Network Using Gaussian Processes Zachary Bastiani pdf
UUCS 22-005 Multi-Modal Air Trajectory Traffic Management Thomas Henderson,David Sacharny and Vista Marston pdf

2021 Technical Reports

UUCS 21-001 Enhancing Automated Testing Capabilities on Non Platform-Dependent Mobile Applications Hannah M. Palma abstract pdf ps
UUCS 21-002 BOTM: Basestation-on-the-Move, A Radio Access Network Management Primitive Aashish Gottopati abstract pdf ps
UUCS 21-003 Compiler and Runtime Support for HAMTS Sona Torosyan abstract pdf ps
UUCS 21-004 Neural Network Application in Hyperspectral and Multilevel Diffractive Lens Imaging Alexander Hamrick abstract pdf ps
UUCS 21-005 Inference over Knowledge Representations Automatically Generated from Medical Texts with Applications in Healthcare Robotics Laura Brannan abstract pdf ps
UUCS 21-006 Formal Verification of Dynamic Web Pages Skyler Griffith abstract pdf ps
UUCS 21-007 Performance Prediction for Learning to Rank Systems Aaron Goh abstract pdf ps
UUCS 21-008 Modeling Expressive Musical Performance with Transformers: An Empirical Error Study Richard W Timpson abstract pdf ps
UUCS 21-009 Adaptive Covers of the Mapper Graph using Information Theory Nithin Chalapathi abstract pdf ps
UUCS 21-010 Structural Rounding on a Parameterized Graph Class using Heuristics Cole Perschon abstract pdf ps
UUCS 21-011 MULTIAGR: A Technique for Aggregating Multivariate Networks Pranav Rajan abstract pdf ps
UUCS 21-012 On-Demand Virtual Highways for Dense UAS Operations David Sacharny, Thomas C. Henderson and Vista Marston abstract pdf ps
UUCS 21-013 Definitional Templating: A Novel Approach to Modeling the Compositional Semantics of Noun Compounds Adam Davies abstract pdf ps
UUCS 21-014 Augmenting Code Pattern Detection with Software Verification and Examining How Teaching Assistants Interact with Student Code Structure Matthew Hooper abstract pdf ps
UUCS 21-015 On Developing Efficient and Robust Neural Networks for Healthcare using Condensa Model Compression System Keaton Rowley abstract pdf ps
UUCS 21-016 Some Explorations in SAT Thomas C. Henderson, Amar Mitiche, Xiuyi Fan, and David Sacharny abstract pdf ps
UUCS 21-017 Asynchronous Distributed IOT-Enabled Customer Characterization in Distribution Networks: Theory and Hardware Implementation Andrew Campbell abstract pdf ps

2020 Technical Reports

UUCS 20-001 DynaJET: Dynamic Java Efficiency
Tuning
Karl Taht, Ivan Mitic, Adam Barth, Emilio
Vecchio, Sameer Agarwal, Rajeev Balasubramonian, Ryan Stutsman
abstract pdf ps
UUCS 20-002 Addressing Novice Coding Patterns: Evaluating and Improving a Tool for Code Analysis and Feedback Jacqulyn MacHardy Anderson abstract pdf ps
UUCS 20-003 Optimized Code Generation for Deep Learning Networks using LATTE and SWIRL Janaan Lake abstract pdf ps
UUCS 20-004 Partial-Order Ambiguous Observations of Fluents and Actions for Goal Recognition as Planning Jennifer Nelson abstract pdf ps
UUCS 20-005 Learning Physical Commonsense Knowledge Carlos E. Jimenez abstract pdf ps
UUCS 20-006 Using Domain Compilation to add
Belief to Narrative Planners
Matthew Christensen abstract pdf ps
UUCS 20-007 Practical and Configurable Network
Traffic Classification using Probabilistic Machine Learning
Jiahui Chen abstract pdf ps
UUCS 20-008 Using Existential Theory of the
Reals to Bound VC-Dimension
Austin Watkins abstract pdf ps
UUCS 20-009 Robotic Grasp Control using Tactile
Feedback
August John Bull abstract pdf ps
UUCS 20-010 An Efficient Strategic Deconfliction
Algorithm for Large-Scale UAS Traffic Management
David Sacharny, Thomas C. Henderson and Michael Cline abstract pdf ps
UUCS 20-011 Transformer-Based Observers in Psychotherapy Tarun Sunkaraneni abstract pdf ps
UUCS 20-012 Applying Neural Network Compression to the Transformer Abhi Mayur Dubal abstract pdf ps
UUCS 20-013 Reinforcement Learning at the Cognitive Level in a Belief, Desire, Intention UAS Agent David Sacharny, Thomas C. Henderson, Michael Cline and Ben Russon abstract pdf ps
UUCS 20-014 Analysis of Transparency within the Utah Criminal Justice System Jess Campbell abstract pdf ps
UUCS 20-015 An Application of the Randomized Singular Value Decomposition (SVD) to Polynomial and Radial Basis Function (RBF) Approximations Hannah Bruns abstract pdf ps

2019 Technical Reports

UUCS 19-001 Creating Hybrid B-Reps and Hybrid
Volume Completions from Trimmed
B-Spline B-Reps
Yang Song and Elaine Cohen abstract pdf ps
UUCS 19-002 Leager Programming Anthony Chyr abstract pdf ps
UUCS 19-003 Computing and Visualizing the Generalized Singular Value Decomposition in Python Rui Luo abstract pdf ps
UUCS 19-004 A Topological Framework for Semi-Automoatic Neuron Tracing in Virtual Realityn Torin McDonald abstract pdf ps
UUCS 19-005 An Efficient Strategic Deconfliction Algorithm for Lane-Based Large-Scale UAV Flight Planning Thomas C. Henderson, David Sacharny and Michael Cline abstract pdf ps
UUCS 19-007 Probabilistic Streaming Tensor Decomposition with Side Information Yimin Zheng abstract pdf ps
UUCS 19-008 Improving Authentication and Authorization on SynBioHub Zachary M. Zundel abstract pdf ps
UUCS 19-009 Extended Numeric Representations in Web Assembly Scott Butler abstract pdf ps
UUCS 19-010 Common Sub-Expression Elimination using Subtree Isomorphisms Robert King abstract pdf ps

2018 Technical Reports
UUCS 18-001 SimTRaX: Simulation Infrastructure for Exploring Thousands of Cores Konstantin Shkurko, Tim Grant, Erik Brunvand, Daniel Kopta, Josef Spjut, Elena Vasiou, Ian Mallett, Cem Yuksel abstract pdf ps
UUCS 18-002 Effects of Postprocessing on Topology of FMRI Connectivity in Spatial and Temporal Domains Keri Anderson abstract pdf ps
UUCS 18-003 Analyzing Simultaneous Iterations Benwei Shi abstract pdf ps
UUCS 18-004 Data-Driven Secret Santa Giorgi Kvernadze abstract pdf ps
UUCS 18-005 Monitoring the Update Time of Virtual Firewalls in the Cloud Hyunwook Baek, Eric Eide, Robert Ricci and Jacobus Van der Merwe abstract pdf ps
UUCS 18-006 Using NILS to Solve Probabilistic Satisfiability for CNF Knowledge Bases Thomas C. Henderson and Michael Cline abstract pdf ps
UUCS 18-007 Automated Database Workload Characterization, Mapping, and Tuning through Machine Learning Madeline MacDonald abstract pdf ps
UUCS 18-008 Fairness Learning in Semi-Supervised Setting Jie Zhang abstract pdf ps

2017 Technical Reports
UUCS 17-001 A Preliminary Study of Probabilistic Argumentation Thomas C. Henderson, Amar Mitiche, Robert Simmons, and Xiuyi Fan abstract pdf ps
UUCS 17-002 Consistency-Aware Scheduling for Weakly Consistent Programs Maryam Dabahchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu. Serdar Tasiran abstract pdf ps
UUCS 17-003 Evaluating Relationships between Vector Spaces of Word Embeddings Safia Hassan abstract pdf ps

2016 Technical Reports
UUCS 16-001 Laying a Foundation for the Graphical Course Map Linda DuHadway and Thomas C. Henderson abstract pdf ps

2015 Technical Reports
UUCS 15-001 Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan abstract pdf ps
UUCS 15-002 Informing Change: Course Content Analysis and Organization Linda DuHadway and Thomas C. Henderson abstract pdf ps
UUCS 15-003 Android Malware Detection Based on System Calls Marko Dimjasevic, Simone Atzeni,Ivo Ugrina, Zvonimir Rakamaric abstract pdf ps

2014 Technical Reports
UUCS 14-001 SLAMBOT: Structural Health Monitoring Robot using Lamb Waves Wenyi Wang, Thomas C. Henderson, Anshul Joshi and Edward Grant abstract pdf ps
UUCS 14-002 A Similarity-Based Machine Learning Approach for Detecting Adversarial Android Malware Doaa Hassan, Matthew Might, Vivek Srikumar abstract pdf ps

2013 Technical Reports
UUCS 13-001 Predicting Visibility in Designs of Public Spaces Daniel Kersten, Robert Shakespeare, and William Thompson abstract pdf ps
UUCS 13-003 Model Accuracy Assessment in Reaction-Diffusion Pattern Formation in Wireless Sensor Networks Thomas Henderson, Anshul Joshi, Kirril Rashkeev, and Narong Boonsirisumpun (University of Utah) Kyle Luthy and Edward Grant (North Carolina State University) abstract pdf ps
UUCS 13-004 The Cognitive Symmetry Engine Thomas Henderson, Anshul Joshi, Wenyi Wang abstract pdf ps
UUCS 13-005 Robot Cognition using Bayesian Symmetry Networks Anshul Joshi, Thomas Henderson, Wenyi Wang abstract pdf ps

2012 Technical Reports
UUCS 12-001 Efficient Nonlinear Optimization via Multiscale Gradient Filtering Tobias Martin, Pushkar Joshi, Miklos Bergou, Nathan Carr abstract pdf ps
UUCS 12-002 Kinodynamic RRT*: Optimal Motion Planning forSystems with Linear Differential Constraints Dustin Webb and Jur van den Berg abstract pdf ps
UUCS 12-005 From Sensorimotor Data to Concepts: The Role of Symmetry Thomas C. Henderson and Anshul Joshi, University of Utah & Edward Grant,North Carolina State University abstract pdf ps

2011 Technical Reports
UUCS 11-001 Symmetry: A Basis for Sensorimotor Reconstruction Thomas Henderson, Hongchang Peng, Chistopher Sikoski, Nikhil Deshpande, Eddie Grant abstract pdf ps
UUCS 11-002 Fast, Effective BVH Updates for Dynamic Ray-Traced Scenes Using Tree Rotations Daniel Kopta, Andrew Kensler, Thiago Ize,Josef Spjut, Erik Brunvand, Al Davis abstract pdf ps

2010 Technical Reports
UUCS 10-004 A Study of Pierce’s Group Generator Thomas Henderson, Hongchang Peng abstract pdf ps

2009 Technical Reports
UUCS 09-001 Source Characterization of Atmospheric Releases using Quasi-Random Sampling and Gradient Optimization Bhagirath Addepalli (Dept. of Mechanical Engineering), Christopher Sikorski (School of Computing) and Eric R. Pardyjak (Dept. of Mechanical Engineering) abstract pdf ps
UUCS 09-002 Interference Aware Cache Designs for Operating System Execution D. Nellans, R. Balasubramonian, E. Brunvand abstract pdf ps
UUCS 09-003 Formal Specification of MPI 2.0: Case Study in Specifying a Practical Concurrent Programming API Guodong Li, Robert Palmer, Michael DeLisi, Ganesh Gopalakrishnan, Robert M. Kirby abstract pdf ps
UUCS 09-004 Innate Theories as a Basis for Autonomous Mental Development Thomas Henderson, Xiuyi Fan, Aniesha Alford, Edward Grant, Elaine Cohen abstract pdf ps
UUCS 09-005 Symmetry as an Organizational Principle in Cognitive Sensor Networks Thomas Henderson, Xiuyi Fan, Sanjai Devnani, Sidharth Kumar, Elaine Cohen, Edward Grant abstract pdf ps
UUCS 09-006 A Note on Optimal Algorithms for Fixed Points S.Shellman, K. Sikorski abstract pdf ps
UUCS 09-007 GEM: Graphical Explorer for MPI Programs Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan and Beth Tibbits abstract pdf ps

2008 Technical Reports
UUCS 08-001 Scalable, Reliable, Power-Efficient Communication for Hardware Transactional Memory Seth H. Pugsley, Manu Awasthi, Niti Madan, Naveen Muralimanohar, Rajeev Balasubramonian abstract pdf ps
UUCS 08-002 Automating the Design of Embedded Domain Specific Accelerators Karthik Ramani, Al Davis abstract pdf ps
UUCS 08-004 Inspect”: A Runtime Model Checker for Multithreaded C Programs Yu Yang, Xiafang Chen, Ganesh Gopalakrishnan abstract pdf ps
UUCS 08-005 An Interface Aware Guided Research Method for Error-trace Jusitification in Large Protocols Xiafang Chen, Yu Yang, Ganesh Gopalakrishnan abstract pdf ps
UUCS 08-007 Method of Generated Solutions as a Numerical Verification Tool for Ice Code Polina Milyavskaya, Christopher Sikorski, Todd Harman abstract pdf ps
UUCS 08-008 Pattern Formation inWireless Sensor Networks Thomas C. Henderson, Kyle Luthy, Edward Grant abstract pdf ps
UUCS 08-009 A Collective Approach to Harness Idle Resources Sachin Goyal and John Carter abstract pdf ps
UUCS 08-0010 Ensuring Prolonged Participation and Deterring Cheating Behaviors in a Collective Sachin Goyal and John Carter abstract pdf ps
UUCS 08-0011 VISPACK Ross Whitaker abstract pdf ps

2007 Technical Reports
UUCS-07-001 Expressive Rendering of Mountainous Terrain Margarita Bratkova, Peter Shirley, William B. Thompson abstract pdf ps
UUCS-07-002 Precision On Demand: An Improvement in Probabilistic Igor Mellatti, Robert Palmer, Ganesh Gopalakrishnan abstract pdf ps
UUCS-07-003 Computational Sensor Networks Thomas C. Henderson, Christopher Sikorski, Edward Grant, Kyle Luthy abstract pdf ps
UUCS-07-004 Visual Summary Statistics Kristin Potter, Joe Kniss, and Richard Riesenfeld abstract pdf ps
UUCS-07-005 3D Line Textures and the Visualization of Confidence in Architecture Kristin Potter, Amy Gooch, Bruce Gooch, Peter Willemsen, Joe Kniss, Richard Riesenfeld and Peter Shirley abstract pdf ps
UUCS-07-006 The Method of Generated Solutions for Numerical Verification of ICE Code Amjidanutpan Ramanujam, Christopher Sikorski, Todd Harman abstract pdf ps
UUCS-07-007 Selected Fixed Point Problems and Algorithms Ch. Booniasirivat, K. Sikorski, and Ch. Xiong abstract pdf ps
UUCS-07-008 Runtime Model Checking of Multithread C/C++ Programs Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby abstract pdf ps
UUCS-07-009 RobotShare : a Framework for Robot Knowledge Sharing Xiuyi Fan and Thomas C. Henderson abstract pdf ps
UUCS-07-010 A Fast IterativeMethod for a Class of Hamilton-Jacobi Equations on Parallel Systems Won-Ki Jeong and Ross T. Whitaker abstract pdf ps
UUCS-07-013 Linguisitic Support for Unit Testing Kathy Gray and Matthias Felleisen abstract pdf ps
UUCS-07-015 A Survey of MPI Related Debuggers and Tools Subdh Sharma, Ganesh Gopalakrishnan and Robert M. Kirby abstract pdf ps
UUCS-07-016 Commit Algorithms for Scalable Hardware Transactional Memory Seth H. Pugsley and Rajeev Balasubramonian abstract pdf ps

2006 Technical Reports
UUCS-06-001 Refactoring SPIN for Safety Robert Palmer and Ganesh Gopalakrishnan abstract pdf ps
UUCS-06-002 Predicate Abstraction for Murphi Xiaofang Chen and Ganesh Gopalakrishnan abstract pdf ps
UUCS-06-003 Bounded Transaction Model Checking Xiaofang Chen and Ganesh Gopalakrishnan abstract pdf ps
UUCS-06-006 Video Based Animal Behavior Analysis Xinwei Xue and Thomas C. Henderson abstract pdf ps
UUCS-06-007 Memory Safety and Untrusted Extensions for TinyOS John Regehr, Nathan Cooprider, Will Archer and Eric Eide abstract pdf ps
UUCS-06-010 Geometric and Arithmetic Culling Methods for Entire Ray Packets Solomon Boulos, Ingo Wald, and Pete Shirley abstract pdf ps
UUCS-06-012 The Communication Semantics of the Message Passing Interface Robert Palmer, Ganesh Gopalakrishnan, Mike Kirby abstract pdf ps
UUCS-06-013 Packet-based Whitted and Distribution Ray Tracing Solomon Boulos, Dave Edwards, J. Dylan Lacewell, Jan Kautz, Ingo Wald, and Pete Shirley abstract pdf ps
UUCS-06-014 A General Compositional Approach to Verifying Hierarchial Cache Coherence Protocols Xiaofang Chen and Ganesh Gopalakrishnan abstract pdf ps

2005 Technical Reports
UUCS-05-001 Monte Carlo Sensor Networks Thomas C. Henderson, Brandt Erickson, Travis Longoria, Eddie Grant, Kyle Luthy, Leonardo Mattos, and Matt Craver abstract pdf ps
UUCS-05-002 An Interactive Parallel Multiprocessor Level-Set Solver with Dynamic Load Balancing Suyash P. Awate and Ross T. Whitaker abstract pdf ps
UUCS-05-003 Effects of Stereo Viewing Conditions on Distance Perception in Virtual Environments Peter Willemsen, Amy A. Gooch, William B. Thompson, and Sarah H. Creem-Regehr abstract pdf ps
UUCS-05-004 Emerging Trends: Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics TPHOLs 2004 abstract pdf ps
UUCS-05-005 Higher-Order Image Statistics for Unsupervised, Information-Theoretic, Adaptive, Image Filtering Suyash P. Awate and Ross T. Whitaker abstract pdf ps
UUCS-05-007 Nonparametric Neighborhood Statistics for MRI Denoising Suyash P. Awate and Ross T. Whitaker abstract pdf ps
UUCS-05-008 Nonparametric Statistics of Image Neighborhoods for Unsupervised Texture Segmentation Suyash P. Awate, Tolga Tasdizen, and Ross T. Whitaker abstract pdf ps
UUCS-05-009 On the Decidability of Shared Memory Consistency Verification Ali Sezgin and Ganesh Gopalakrishnan abstract pdf ps
UUCS-05-010 Power-Efficient Approaches to Reliability Niti Madan, Rajeev Balasubramonian abstract pdf ps

2004 Technical Reports
UUCS-04-001 A Comparison of Jiazzi and AspectJ for Feature-wise Decomposition Bin Xin, Sean McDirmid, Eric Eide, and Wilson C. Hsieh abstract pdf ps
UUCS-04-003 Interactive Volume Rendering of Large Datasets using the Silicon Graphics Onyx4 Visualization System Christiaan Gribble, Steven Parker, and Charles Hansen/td> abstract pdf ps
UUCS-04-004 Dynamic CPU Management for Real-Time, Middleware-Based Systems Eric Eide, Tim Stack, John Regehr, and Jay Lepreau abstract pdf ps
UUCS-04-006 Case Study: An Evaluation of User-Assisted Hierarchical Watershed Segmentation Joshua E. Cates, Ross T. Whitaker, Greg M. Jones abstract pdf ps
UUCS-04-007 GIST: An Interactive GPU-Based Level Set Segmentation Tool For 3D Medical Images Joshua E. Cates, Aaron E. Lefohn, Ross T. Whitaker abstract pdf ps
UUCS-04-008 Verification of MPI Programs Using Spin Steven Barrus, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer abstract pdf ps
UUCS-04-013 Image Denoising with Unsupervised, Information-Theoretic, Adaptive Filtering Suyash P. Awate and Ross T. Whitaker Scientific Computing and Imaging Institute, School of Computing, University of Utah abstract pdf ps
UUCS-04-014 Visualization and Analysis of Diffusion Tensor Fields Gordon Kindlmannn abstract pdf ps
UUCS-04-015 An Introduction to the Sundance and Autoslog Systems Ellen Riloff and William Phillips abstract pdf ps
UUCS-04-016 Flexible Consistency for Wide Area Peer Replication Sai Susarla and John Carter abstract pdf ps
UUCS-04-017 Middleware Support for Locality-aware Wide area Replication Sai Susarla and John Carter abstract pdf ps
UUCS-04-018 An O(1) Time Complexity Software Barrier Liqun Cheng and John B. Carter abstract pdf ps
UUCS-04-019 A Hole-Filling Algorithm for Triangular Meshes Lavanya Sita Tekumalla, Elaine Cohen abstract pdf ps
UUCS-04-020 Reverse Engineering of Pipe Layouts and 3D Point Set Damage Models David Gallup and Thomas Henderson abstract pdf ps

2003 Technical Reports
UUCS-03-001 Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Hemanthkumar Sivaraj and Ganesh Gopalakrishnan abstract pdf ps
UUCS-03-002 A Gaussian Accelerator for Sphinx 3. Binu K. Mathew, Al Davis, Zhen Fang abstract pdf ps
UUCS-03-003 From Motes to Java Stamps: Smart Sensor Network Testbeds. Thomas C. Henderson, Jong-Chun Park, Nate Smith and Richard Wright abstract pdf ps
UUCS-03-004 Interactive, GPU-Based Level Sets for 3D Brain Tumor Segmentation. Aaron E. Lefohn, Joshua E. Cates, Ross T. Whitaker abstract pdf ps
UUCS-03-005 Interactive Deformation and Visualization of Level Set Surfaces using Graphics Hardware. Aaron E. Lefohn, Joe M. Kniss, Charles D. Hansen, Ross T. Whitaker abstract pdf ps
UUCS-03-006 Cramer-Rao Bounds for Nonparametric Surface Reconstruction from Range Data. Tolga Tasdizen and Ross Whitaker abstract pdf ps
UUCS-03-007 Anisotropic diffusion of surface normals for feature preserving surface reconstruction. Tolga Tasdizen and Ross Whitaker abstract pdf ps
UUCS-03-008 Penumbra Maps. Chris Wyman and Charles Hansen abstract pdf ps
UUCS-03-009 Interactive Raytraced Caustics. Chris Wyman, Charles Hansen, Peter Shirley abstract pdf ps
UUCS-03-010 Analyzing the Intel Itanium Memory Ordering Rules Using LogicProgramming and SAT. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind abstract pdf ps
UUCS-03-011 UVSIM User Manual (version 1.0) Lixin Zhang abstract pdf ps
UUCS-03-012 Perceiving Virtual Geographical Slant: Action Influences Perception. Sarah H. Creem-Regehr, Amy A. Gooch, Cynthia S. Sahm, and William B. Thompson abstract pdf ps
UUCS-03-013 Closed-Form Approximations to the Volume Rendering Integral with Gaussian Transfer Functions. Joe Kniss, Simon Premoze, Milan Ikits, Aaron Lefohn and Charles Hansen abstract pdf ps
UUCS-03-014 A Characterization of Visual Feature Recognition Binu K. Mathew, Al Davis, Robert Evans abstract pdf ps
UUCS-03-015 A Generic Operational Memory Model Specification Framework for Multithreaded Program Verification Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom abstract pdf ps
UUCS-03-016 The Influence of Restricted Viewing Conditions on Egocentric Distance Perception: Implications for Real and Virtual Environments. Sarah H. Creem-Regehr, Peter Willemsen, Amy A. Gooch, and William B. Thompson abstract pdf ps
UUCS-03-017 Cluster-Based Interactive Volume Rendering with Simian Christiaan Gribble, Xavier Cavin, Mark Hartner, and Charles Hansen abstract pdf ps
UUCS-03-018 Explicit and Persistent Knowledge in Engineering Drawing Analysis Thomas C. Henderson abstract pdf ps
UUCS-03-019 Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, and Konrad Slind abstract pdf ps
UUCS-03-020 Khazana: A Flexible Wide Area Data Store Sai Susarla and John Carter abstract pdf ps
UUCS-03-021 Fast and Accurate NN Approach for Multi-Event Annotation of Time Series Brijesh Garabadu, Cindi Thompson, Gary Lindstrom, Joe Klewicki abstract pdf ps
UUCS-03-022 Reaction-Diffusion Patterns in Smart Sensor Networks Thomas C. Henderson, Ramya Venkataraman and Gyounghwa Choikim abstract pdf ps
UUCS-03-023 Scheme 2003: Proceedings of the Fourth Workshop on Scheme and Functional Programming Matthew Flatt abstract pdf ps
UUCS-03-024 DataStations: Ubiquitous Transient Storage for Mobile Users Sai Susarla and John Carter abstract pdf ps
UUCS-03-025 Composable Consistency for Large-scale Peer Replication Sai Susarla and John Carter abstract pdf ps
UUCS-03-026 Rigorous Concurrency Analysis of Multithreaded Programs Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom abstract pdf ps
UUCS-03-027 A Path-Precise Analysis for Property Synthesis Sean McDirmid and Wilson C. Hsieh abstract pdf ps
UUCS-03-028 A Symbolic Partial Order Reduction Algorithm for Rule Based Transitions Systems Ritwik Bhattacharya, Steven German, and Ganesh Gopalakrishnan abstract pdf ps

2002 Technical Reports
UUCS-02-001 Photographic Tone Reproduction for Digital Images. Erik Reinhard, Michael Stark, Peter Shirley, Jim Ferwerda abstract pdf ps
UUCS-02-002 Perception-Driven Black-and-White Drawings and Caricatures. Bruce Gooch, Erik Reinhard, Amy Gooch abstract pdf ps
UUCS-02-003 Geometric Surface Processing via Normal Maps. Tolga Tasdizen, Ross Whitaker, Paul Burchard, Stanley Osher abstract pdf ps
UUCS-02-004 Verifying a Virtual Component Interface-based PCI Bus Wrapper Using an LSC-Based Specification. Annette Bunker and Ganesh Gopalakrishnan abstract pdf ps
UUCS-02-005 B-Splines for Physically-Based Rendering Michael M. Stark, William Martin, Elaine Cohen, Tom Lyche and Richard F. Riesenfeld abstract pdf ps
UUCS-02-006 Formal Aspects of Anonymity. Robert Morelli abstract pdf ps
UUCS-02-007 Visual Cues for Perceiving Distances from Objects to Surfaces Helen H. Hu, Sarah H. Creem, Amy A. Gooch, William B. Thompson abstract pdf ps
UUCS-02-008 Agent-based Engineering Drawing Analysis. Thomas C. Henderson and Lavanya Swaminathan abstract pdf ps
UUCS-02-009 An Experimental Comparison of Perceived Egocentric Distance in Real, Image-Based, and Traditional Virtual Environments using Direct Walking Tasks. Peter Willemsen, Amy Ashurst Gooch abstract pdf ps
UUCS-02-010 Isosurfaces and Level-set Surface Models. Ross Whitaker abstract pdf ps
UUCS-02-011 Formalizing the Java Memory Model for Multithreaded Program Correctness and Optimization. Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom abstract pdf ps
UUCS-02-012 Analytic Light Transport Approximations for Volumetric Materials Simon Premoze Contact Author
UUCS-02-013 A Personalized System for Conversational Recommendations. Cynthia A. Thompson, Mehmet H. Goker, and Pat Langley abstract pdf ps
UUCS-02-014 Expressive Modular Linking for Object-Oriented Languages. Sean McDirmid, Wilson C. Hsieh, Matthew Flatt abstract pdf ps
UUCS-02-015 Does the Quality of the Computer Graphics Matter When Judging Distances in Visually Immersive Environments? William B. Thompson, Peter Willemsen, and Amy A. Gooch abstract pdf ps
UUCS-02-016 Higher-order nonlinear priors for surface reconstruction. Tolga Tasdizen, Ross Whitaker abstract pdf ps
UUCS-02-017 A GPU-Based, Three-Dimensional Level Set Solver with Curvature Flow. Aaron Lefohn, Ross Whitaker abstract pdf ps

2001 Technical Reports
UUCS-01-001 Leadership Protocol for S-Nets. Thomas Henderson. abstract pdf ps
UUCS-01-002 Natural Image Statistics for Computer Graphics. Erik Reinhard, Peter Shirley and Tom Troscianko. abstract pdf ps
UUCS-01-003 Towards a Formal Model of Shared Memory Consistency for Intel Itanium. Prosenjit Chatterjee and Ganesh Gopalakrishnan. abstract pdf ps
UUCS-01-004 Performance Studies of PV: An On-the-fly Model-checker for LTL-X Featuring Selective Caching and Partial Order Reduction. Ganesh Gopalakrishnan, Ratan Nalumasu, Robert Palmer, Prosenjit Chatterjee and Ben Prather. abstract pdf ps
UUCS-01-005 Temporally Coherent Interactive Ray Tracing William Martin, Steven Parker, Erik Reinhard, Peter Shirley and William Thompson. abstract pdf ps
UUCS-01-006 Verifying a Virtual Component Interface-based PCI Bus Wrapper with FormalCheck. Annette Bunker and Ganesh Gopalakrishnan. abstract pdf ps
UUCS-01-007 Formal Specification of the Virtual Component of Interface Standard in the Unified Modeling Language. Annette Bunker and Ganesh Gopalakrishnan. abstract pdf ps
UUCS-01-008 Unified MRM Cache: A Low-power Cache Architecture Using a Local Word Line Gating Technique. Gi-Ho Park, Sally A. McKee and John B. Carter. n/a n/a n/a
UUCS-01-009 Description of Funtionality of the Impulse Memory Controller. Lixin Zhang. abstract pdf ps
UUCS-01-010 An Emulation Platform for Research in Distributed Systems and Networks Jay Lepreau n/a n/a n/a
UUCS-01-011 Volume Currents in Forward and Inverse MEG Simulations using Realistic Head Models. Robert Van Uitert, David Weinstein, and Chris Johnson abstract pdf ps
UUCS-01-012 Formally specifying memory consistency models and automatically generating executable specifications Prosenjit Chatterjee and Ganesh Gopalakrishnan abstract pdf ps
UUCS-01-013 Runtime Aspect Weaving Through Metaprogramming. Jason Baker and Wilson Hsieh abstract pdf ps
UUCS-01-014 Static and Dynamic Structure in Design Patterns. Eric Eide, Alastair Reid, John Regehr, Jay Lepreau abstract pdf ps
UUCS-01-015 Maya: Multiple-Dispatch Syntax Extension in Java. Jason Baker and Wilson C. Hsieh abstract pdf ps

2000 Technical Reports
UUCS-00-001 Transaction ordering verification of the PCI 2.1 Protocol using Trace Inclusion. Michael Jones and Ganesh Gopalakrishnan. n/a n/a n/a
UUCS-00-002 Design A DRAM Backend for The Impulse Memory System. Lixin Zhang. abstract pdf ps
UUCS-00-003 Statistical Analysis for FEM EEG Source Localization in Realistic Head Models. Leonid Zhukov, David Weinstein and Chris Johnson. abstract pdf ps
UUCS-00-004 Localization of Multiple Deep Epileptic Sources in a Realistic Head Model via Independent Component Analysis. David Weinstein, Leonid Zhukov and Geoffery Potts. abstract pdf ps
UUCS-00-005 Error Bounded Approximate Reparametrization of NURBS Curves. Mark Bloomenthal and Elaine Cohen n/a n/a n/a
UUCS-00-006 Automatic Image Creation via Artistic Composition Principles. Bruce Gooch, Chris Moulding, Donald Nelson, Richard Riesenfeld, Peter Shirley and Brian Smits abstract pdf ps
UUCS-00-008 Direct Ray of Smoothed and Displacement Mapped Triangles. Brian Smits, Peter Shirley and Michael M. Stark abstract pdf ps
UUCS-00-010 Processes KaffeOS: Isolation, Resource Management and Sharing Java. (Superceded by version published at OSDI 2000. Godmar Back, Wilson Hsieh and Jay Lepreau abstract pdf ps
UUCS-00-012 Vertex-Based Formulations of Irradiance From Polyganal Sources. Michael M. Stark abstract pdf ps
UUCS-00-013 Global Illumination Test Scenes. Brian Smits and Henrik Wann Jensen abstract pdf ps
UUCS-00-014 An Anisotropic Phong Light Reflection Model. Michael Ashikhmin and Peter Shirley abstract pdf ps
UUCS-00-015 URSIM Reference Manual. Lixin Zhang abstract pdf ps
UUCS-00-016 Night Rendering. Simon Premose, Henrik Wann Jensen, Peter Shirley, William B. Thompson, James A. Ferwerda and Michael M. Stark abstract pdf ps
UUCS-00-017 Artistic Vision: Painterly Rendering Using Computer Vision Techniques. Bruce Gooch, Greg Coombe and Peter Shirley abstract pdf ps
UUCS-00-018 Coregistration of Pose Measurement Devices Using Least Squares Parameter Estimation. Milan Ikits abstract pdf ps
UUCS-00-019 Reaction-Diffusion Processes as a Computational Paradigm. Thomas Henderson abstract pdf ps

1999 Technical Reports
UUCS-99-001 The Use of Subtle Illumination Cues for Human Judgement of Spatial Layout. Cindee Madison, Daniel J. Kersten, William B. Thompson, Peter Shirley and Brian Smits. abstract pdf ps
UUCS-99-002 Memory System Support for Image Processing. Lixin Zhang, John B. Carter, Wilson C. Hsieh and Sally A. McKee. abstract pdf ps
UUCS-99-003 Supporting Persistent C++ Objects in a Distributed Storage System. Yury Izrailevsky, Anand Raganathan, Sai Susarla, John Carter and Gary Lindstrom. n/a n/a n/a
UUCS-99-004 Using Reliable Multicast for Caching and Collaboration within the World Wide Web. Kristin Wright. n/a n/a n/a
UUCS-99-005 Stream Bundles – Cohesive Advection through Flow Fields. David Weinstein, Gordon Kindlmann, Eric Lundberg abstract pdf ps
UUCS-99-006 Design of a Parallel Vector Access Unit for SDRAM Memory Systems. Binu K. Mathew, Sally A. McKee, John B. Carter and Al Davis abstract pdf ps
UUCS-99-007 Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem: PVS Files. Abdel Mokkedem, Ravi M. Hosabettu, Michael D. Jones and Ganesh C. Gopalakrishnan n/a n/a n/a
UUCS-99-008 Using Khazana to Support Distributed Application Development. Yury Izrailevsky, Sai Susarla, Anand Ranganathan, John Carter. 18 pgs. abstract pdf ps
UUCS-99-012 Fast and Exact Logic Minimization for Extended Burst-Mode Controllers. Hans Jacobsen. n/a n/a n/a
UUCS-99-013 Design and Validation of a Simultaneous Multithreaded DLX Microprocessor. Hans Jacobsen abstract pdf ps
UUCS-99-014 Lead Field Basis for FEM Source Localization. Leonid Zhukov, David Weinstein and Chris Johnson abstract pdf ps
UUCS-99-015 Deciding Satisfiability for Presburger Formulae Using Automata, Rewriting and a Model Checker. Jones, Michael D., Ganesh Gopalakrishnan, Palaith Narendran n/a n/a n/a
UUCS-99-016 The I^3Stick: An Inexpensive, Immersive, Interaction Device. J. Dean Brederson abstract pdf ps
UUCS-99-017 ISIM: The Simulator for The Impulse Adaptable Memory System. Lixin Zhang abstract pdf ps
UUCS-99-018 Reference Manual of Impulse System Calls. Lixin Zhang and Leigh Stoller abstract pdf ps
UUCS-99-019 Formal Verification of a Superscaler Pipelined Processor with Speculative execution and Exceptions. Ravi Hosabettu. n/a n/a n/a
UUCS-99-020 Hardware-Only Stream Prediction + Cache Prefetching + Dynamic Access Ordering. Chienqiang Zhang and Sally A. McKee n/a n/a n/a
UUCS-99-021 A Comparison of Online Superage Promotion Mechanisms. Zhen Fang and Lixin Zhang abstract pdf ps
UUCS-99-022 Profiling I/O Interrupts in Modern Architectures. Lambert Schaelicke, Al Davis and Sally McKee abstract pdf ps
UUCS-99-023 A Painterly Approach to Human Skin. Peter-Pike Sloan, Bruce Gooch, William Martin, Amy Gooch abstract pdf ps
UUCS-99-024 Exploring the Value of Supporting Multiple DSM Protocols in Hardware DSM Controllers. Ravidra Kuramkote and John Carter n/a n/a n/a
UUCS-99-024 Shortest Paths in Sensor Snow. Thomas C. Henderson and Yu Chen n/a n/a n/a

1998 Technical Reports
CSTD-98-001 Fast Isosurface Extraction Using Quasi-Monte Carlo Methods Xu Ji abstract pdf ps
UUCS-98-001 Feature-Based Process Planning for CNC Machining Elaine Cohen, Samuel Drake, Russell Fish, and Richard F. Riesenfeld abstract pdf ps
UUCS-98-002 Decomposing the Proof of Correctness of Pipelined Microprocessors Ravi Hosabettu, Mandayam Srivas and Ganesh Gopalakrishnan abstract pdf ps
UUCS-98-003 Smart Sensor Snow Thomas C. Henderson, Mohamed Dekhil, Scott Morris and William B. Thompson abstract pdf ps
UUCS-98-004 Constraint Jacobians for Constant-Time Inverse Kinematics and Assembly Optimization Donald Nelson abstract pdf ps
UUCS-98-005 The analytic 3-D transform for the least-squared fit of three pairs of corresponding points David M. Weinstein abstract pdf ps
UUCS-98-006 An Interior Ellipsoid Algorithm for Fixed Points Zhijian Huang and Kris Sikorski abstract pdf ps
UUCS-98-007 Visual Glue William Thompson, Peter Shirley, Brian Smits, Daniel Kersten and Cindee Madison abstract pdf ps
UUCS-98-008 The `Test Model-checking’ Approach to the Verification of Formal Memory Models of Multiprocessors Ratan Nalumasu Rajnish Ghughal, Abdel Mokkedem and Ganesh Gopalakrishnan. abstract pdf ps
UUCS-98-009 Khazana: An Infrastructure for Building Distributed Services John Carter, Anand Ranganathan and Sai Susarla. abstract pdf ps
UUCS-98-010 AS-COMA: An Adaptive Hybrid Shared Memory Architecture Chen-Chi Kuo, John B. Carter, Ravindra Kuramkote and Mark Swanson abstract pdf ps
UUCS-98-011 Design Alternatives for Shared Memory Multiprocessors John B. Carter, Chen-Chi Kuo, Ravindra Kuramkote and Mark Swanson. abstract pdf ps
UUCS-98-012 SWIG User’s Manual David Beazley abstract pdf ps
UUCS-98-013 Interface and Execution Models in the Fluke Kernel Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath and Patrick Tullmann abstract pdf ps
UUCS-98-014 The Flask Security Architecture: System Support for Diverse Security Policies Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen and Jay Lepreau abstract pdf ps
UUCS-98-015 Java Operating Systems: Design and Implementation Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh and Jay Lepreau abstract pdf ps
UUCS-98-017 A Partial Order Reduction Algorithm without the Proviso RatanNalumasu and Ganesh Gopalakrishnan. abstract pdf ps

1997 Technical Reports
CSTD-97-002 TrISH – Transparent Integrated Storage Heirarchy: A Hierarchical Storage Management System for the 4.3BSD UNIX Operating System Sidney G. Bytheway abstract pdf ps
CSTD-97-003 Schema Coercion: Using Database Meta-Information to Facilitate Data Transfer Terence Critchlow abstract pdf ps
CSTD-97-004 Representation of and Modeling with Arbitrary Discontinuity Curves in Sculptured Surfaces Marc S. Ellens abstract pdf ps
CSTD-97-005 Feature-Based Process Planning and Automatic Numerical Control Part Programming Chih-Cheng Ho abstract pdf ps
UUCS-97-003 Minimum Distance Queries for Polygonal and Parametric Models David E. Johnson and Elaine Cohen abstract pdf ps
UUCS-97-007 Asynchronous Microengines for Efficient High-level Control Hans Jacobson and Ganesh Gopalakrishnan abstract pdf ps
UUCS-97-008 Analysis of Avalanche’s Shared Memory Architecture Ravindra Kuramkote, John Carter, Alan Davis, Chen-Chi Kuo, Leigh Stoller and Mark Swanson abstract pdf ps
UUCS-97-009 Deriving Efficient Protocols through Refinement RatanNalumasu and Ganesh Gopalakrishnan abstract pdf ps
UUCS-97-011 Instrumented Sensor System Architecture Thomas C. Henderson and Mohamed Dekhil abstract pdf ps
UUCS-97-014 Instrumented Sensor System – Practice Mohamed Dekhil and Thomas C. Henderson. abstract pdf ps
UUCS-97-016 Cache-Rings for Memory Efficient Isosurface Construction David M. Weinstein abstract pdf ps

1996 Technical Reports
CSTD-96-001 Architectural Considerations In a Self-Timed Processor Design Richardson, William abstract pdf ps
UUCS-96-001 Low Latency Workstation Cluster Communications Using Sender-Based Protocols Swanson, Mark R.; Leigh B. Stoller abstract pdf ps
UUCS-96-002 Message Passing Support in the Avalanche Widget Swanson, Mark R.; Ravindra Kuramkote; Leigh B. Stoller; Terry Tateyama abstract pdf ps
UUCS-96-003 Flat Surface Reconstruction Using Sonar Thomas C. Henderson, Mohamed Dekhil, Beat Bruderlin, Larry Schenkat, and Larkin Veige Contact Person
UUCS-96-004 Microkernels Meet Recursive Virtual Machines Ford, Bryan; Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Shantanu Goel, and Steven Clawson abstract pdf ps
UUCS-96-005 Flexible Multi-Policy Scheduling based on CPU Inheritance Ford, Bryan; Sai R. Susarla abstract pdf ps
UUCS-96-006 Partial Order Reduction Without the Proviso Ratan Nalumasu, Ganesh Gopalakrishnan abstract pdf ps
UUCS-96-009 Paint: PA Instruction Set Interpreter Leigh B. Stoller; Mark R. Swanson, and Ravindra Kuramkote abstract pdf ps
UUCS-96-010 The Avalanche Myrinet Simulation Package Chen-Chi Kuo, John B. Carter abstract pdf ps
UUCS-96-011 A Comparison of Software and Hardware Synchronization Mechanisms for Distributed Shared Memory Multiprocessors John B. Carter, Chen-Chi Kuo, and Ravindra Kuramkote abstract pdf ps

1995 Technical Reports
CSTD-95-011 An Application Framework for Compositional Modularity Gurduth S. Banavar abstract pdf ps
UUCS-95-002 Modular Scheme: Object Programming with First Class Modules and Operator-Based Inheritance Banavar, Guruduth; and Gary Lindstrom abstract pdf ps
UUCS-95-003 Direct Deposit: A Basic User-Level Protocol for Carpet Clusters Swanson, Mark R.; and Leigh B. Stoller abstract pdf ps
UUCS-95-004 Modeling and Verification of Distributed Control Scheme for Mobile Robots Mohamed Dekhil, Ganesh Gopalakrishnan, and Thomas C. Henderson Contact Person
UUCS-95-005 Sensor-based Distributed Control Scheme for Mobile Robots Dekhil, Mohamed; Tarek Sobh; Alyosha A. Efros abstract pdf ps
UUCS-95-006 Explicit-enumeration based Verification made Memory-efficient Nalumasu, Ratan; Ganesh Gopalakrishnan abstract pdf ps
UUCS-95-007 Layered, Server-based Support for Object-Oriented Application Development Banavar, Gruruduth; Douglas Orr; Gary Lindstrom abstract pdf ps
UUCS-95-008 Fred: An Architecture for a Self-Timed Decoupled Computer Richardson, William F.; and Erik Brunvand abstract pdf ps
UUCS-95-010 Feature-Based Reverse Engineering of Mechanical Parts Thompson, Willam B.; Jonathan Owen; and H. James de St.Germain abstract pdf ps
UUCS-95-011 A Fast Parallel Squarer Based on Divide-and-Conquer Yoo, Jae-Tack; Kent F. Smith; and Ganesh Gopalarkishnan abstract pdf ps
UUCS-95-012 Hierarchical Data Structures for Interactive VolumeVisualization Weinstein, David M.; and Christopher R. Johnson abstract pdf ps
UUCS-95-013 PPE Interface and Functional Specification Swanson, Mark R.; Brad L. Stoller; and Terry T. Tateyama abstract pdf ps
UUCS-95-015 Exploiting Discontinuities in Optical Flow Thompson, William B abstract pdf ps
UUCS-94-017 Evolutionary Teleomorphology Thomas C. Henderson and Alyosha Efros Contact Person
UUCS-95-019 Timing Constraints for High Speed Counterflow-Clocked Pipelining Jae-tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith abstract pdf ps
UUCS-95-020 Compositionally Modular Scheme Banavar, Guruduth; Gary Lindstrom abstract pdf ps
UUCS-95-021 The Fred VHDL Model Richardson, William abstract pdf ps
UUCS-95-022 Avalanche: A Communication and Memory Architecture for Scalable Parallel Computing Carter, John B; Al Davis; Ravindra Kuramkote; Chen-Chi Kuo;Leigh B. Stoller; Mark Swanson abstract pdf ps
UUCS-95-023 Reducing Consistency Traffic and Cache Misses in the Avalanche Multi-processor Carter, John B.; Ravindra Kuramkote; Chen-Chi Kuo abstract pdf ps
UUCS-95-025 A comparison of modular self-timed design styles Franklin Prosser, David Winkel, and Erik Brunvand abstract pdf ps

1994 Technical Reports
UUCS-94-001 Type-safe Composition of Object Modules Guruduth Banavar, Gary Lindstrom, and Douglas Orr abstract pdf ps
UUCS-94-002 A Dossier Driven Persistent Objects Facility Robert Mecklenburg, Charles Clark, Gary Lindstrom, and Benny Yih abstract pdf ps
UUCS-94-003 Persistence is Hard, Then you Die!, or, Complier and Runtime Support for a Persistent Common Lisp J. H. Jacobs, M. R. Swanson and R. R. Kessler abstract pdf ps
UUCS-94-004 Robotic Prototyping Environment(Progress Report) Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, and Robert Mecklenburg Contact Person
UUCS-94-006 URK: Utah Robot Kit-A 3-Link Robot Manipulator Prototype Mohamed Dekhil, Tarek Sobh, and Thomas C. Henderson Contact Person
UUCS-94-007 Industrial Inspection and Reverse Engineering Tarek Sobh, J. Owen, C. Jaynes, M. Dekhil, and Thomas Henderson Contact Person
UUCS-94-009 Case Studies in Symbolic Model Checking Gopalakrishnan, Ganesh; Dilip Khandekar; Ravi Kuramkote; and Ratan Nalumasu abstract pdf ps
UUCS-94-010 Robot Manipulator Prototyping (Complete Design Review) Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, Anil Sabbavarapu, and Robert Mecklenburg Contact Person
UUCS-94-012 URK: Utah Robot Kit-A Three Link Prototype Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, and Anil Sabbavarapu Contact Person
UUCS-94-014 A Morphing Algorithm for Generating Near Optimal Grids: Applications in Computational Medicine Parker, Steven G.; David M. Weinstein; and Christopher R.Johnson abstract pdf ps
UUCS-94-016 Map3d: Scientific Visualization Program for Multichannel Time Series Data on Unstructured, Three Dimensional Meshes MacLeod, R.S.; P.R. Ershler; C.R. Johnson; and M.A. Matheson abstract pdf ps
UUCS-94-017 Construction of a Human Torso Model from Magnetic Resonance Images for Problems in Computational Electrocardiography MacLeod, R.S.; C.R. Johnson; and P.R. Ershler abstract pdf ps
UUCS-94-018 Techniques for Visualizing 3D Unstructured Meshes Gitlin, Carole; and Christopher Johnson abstract pdf ps
UUCS-94-019 Semi-Automatic Image Segmentation: A Bimodel Thresholding Approach Shen, Han-Wei; and Christopher Johnson abstract pdf ps
UUCS-94-021 The Stability of Geometric Inference In Location Determination Sutherland, Karen T abstract pdf ps
UUCS-94-022 Automatic Rapid Prototyping of Semi-Custom VLSI Circuits Using FPGA’s Yoo, Jae-tack; Kent F. Smith; and Erik Brunvand abstract pdf ps
UUCS-94-023 Sensing Strategies BAsed on Manufacturing Knowledge Thomas C. henderson, Tarek Sobh, Frederic Zana, Beat Bruderlin, and Ching-Yao Hsu Contact Person
UUCS-94-024 UPE: Utah Prototyping Environment for Robot Manipulators Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, and Robert Mecklenburg Contact Person
UUCS-94-026 A Unifying Framework for Tolerance Analysis Tarek Sobh, Thomas C. Henderson, and Frederic Zana Contact Person
UUCS-94-033 The Design of Object-Oriented Meta-Architectures for Programming Languages Banavar, Guruduth; and Gary Lindstrom abstract pdf ps
UUCS-94-035 ETYMA:A Framework for Modular Systems Banavar, Guruduth; Gary Lindstrom; and Douglas Orr abstract pdf ps
UUCS-94-040 Evaluating the Potential of Programmable Multiprocessor Cache Controllers Carter, John B; Mike Hibler, Ravindra R. Kuramkote abstract pdf ps

1993 Technical Reports
UUCS-93-001 Radioptimization-Goal Based Rendering Kawai, John, James Painter & Michael Cohen abstract pdf ps
UUCS-93-005 Modules as Values In a Persistent Object Store Bracha, Gilad, Charles F. Clark, Gary Lindstrom, and DouglasB. Orr abstract pdf ps
UUCS-93-006 A Framework For Module-Based Language Processors Banavar, Guruduth & Gary Lindstrom abstract pdf ps
UUCS-93-007 Active Inspection and Reverse Engineering Sobh, Tarek M., Jonathan Owen, Chris Jaynes, Mohamed Dekhil,and Thomas C. Henderson abstract pdf ps
UUCS-93-009 Story: A Hierarchical Animation and Storyboarding System for Alpha_1 Blum, Michael S., Robert Mecklenburg abstract pdf ps
UUCS-93-010 Reconstruction of Sculptured Surface Using Coordinate Measuring Machines Yuan C. Hsieh abstract pdf ps
UUCS-93-012 Notes on Thread Models in Mach 3.0 Ford, Bryan; Mike Hibler; and Jay Lepreau abstract pdf ps
UUCS-93-013 Prototyping a Robotic Manipulator and Controller Sobh, Tarek; Mohamed Dekhil, Thomas C. Henderson abstract pdf ps
UUCS-93-014 Intermediate Results in Active Inspection and Reverse Engineering Sobh, Tarek; Jonathan Owen; Chris Jaynes; Mohamed Dekhil;Thomas C. Henderson abstract pdf ps
UUCS-93-017 A Transformational Approach to Asynchronous High-Level Synthesis Gopalakrishnan, Ganesh abstract pdf ps
UUCS-93-020 Peephole Optimization of Asynchronous Networks through Process Composition and Burst-mode Machine Generation Gopalakrishnan, Ganesh; and Prabhakar Kudva abstract pdf ps
UUCS-93-021 Prototyping Environment for Robot Manipulators Dekhil, Mohamed; Tarek M. Sobh; and Thomas C. Henderson abstract pdf ps
UUCS-93-023 Concurrent Engineering and Robot Prototyping Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; and Robert Mecklenburg abstract pdf ps

1992 Technical Reports
UUCS-92-001 Specification and Validation of Control-Intensive Integrated Circuits in hopCP Akella, Venkatesh & Ganesh Gopalakrishnan abstract pdf ps
UUCS-92-004 A Correctness Criterion For Asynchronous Circuit Validation And Optimization Gopalakrishnan, Ganesh, Erik Brunvand & Nick Michell abstract pdf ps
UUCS-92-005 Dynamic Reordering of High Latency Transactions in Time-Warp Simulation Using A Modified Micropipeline Liebchen, Armin & Ganesh Gopalakrishnan abstract pdf ps
UUCS-92-007 The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance Bracha, Gilad abstract pdf ps
UUCS-92-008 Asynchronous Circuit Verification Using Trace Theory and CCS Gopalakrishnan, Ganesh abstract pdf ps
UUCS-92-009 Our LIPS Are Sealed: Interfacing Logic and Functional Programming Systems Lindstrom, Gary, Jan Maluszynki & Takeshi Ogi abstract pdf ps
UUCS-92-009a HOP: A Formal Model For Synchronous Circuits Using Communicating Fundamental Mode SymbolicAutomata Gopalakrishnan, Ganesh abstract pdf ps
UUCS-92-011 Distributed Garbage Collection Algorithm Terence Critchlow abstract pdf ps
UUCS-92-012 Towards a verification Technique for Large Synchronous Circuits Jain, Prabhat, Prabhakar Kudva & Ganesh Gopalakrishnan abstract pdf ps
UUCS-92-017 Second Order Surface Analysis Using Hybrid Symbolic and Numeric Operators Elber, Gershon & Elaine Cohen abstract pdf ps
UUCS-92-019 High Level Optimizations in Compiling Process Descriptions To Asynchronous Circuits Gopalakrishnan, Ganesh & Venkatesh Akella abstract pdf ps
UUCS-92-023 Hybrid Symbolic and Numeric Operators as Tolls for Analysis of Freeform Surfaces Elber, Gershon & Elaine Cohen abstract pdf ps
UUCS-92-026 A Communication-Oriented Task Graph Allocation Algorithm Evans, John D. & Robert R. Kessler abstract pdf ps
UUCS-92-029 The NSR Processor Prototype Richardson, William F. & Erik Brunvand abstract pdf ps
UUCS-92-032 Free Form Surface Analysis Using A Hybrid of Symbolic and Numeric Computation Gershon Elber abstract pdf ps
UUCS-92-033 OMOS – an Object Server for Program Execution Orr, Douglas B. & Robert W. Mecklenburg abstract pdf ps
UUCS-92-034 Dynamic Program Monitoring and Transformation Using the OMOS Object Server Orr, Douglas B., Robert W. Mecklenburg, Peter J. Hoogenboom & Jay Lepreau abstract pdf ps
UUCS-92-035 A Dynamic Framework for Intelligent Inspection Sobh, Tarek M., Chris Jaynes & Thomas C. Henderson abstract pdf ps
UUCS-92-036 A Dynamic Recursive Structure for Intelligent Exploration Sobh, Tarek M., Mohamed Dekhil, Chris Jaynes, and Thomas C. Henderson abstract pdf ps
UUCS-92-037 Using Utilization Profiles in Allocation and Partitioning for Multiprocessor Systems Evans, John D. and Robert R. Kessler abstract pdf ps
UUCS-92-038 Constraint Objects- Integrating Constraint Definition and Graphical Interaction Hsu, Ching-yao and Beat Bruderlin abstract pdf ps
UUCS-92-040 Adaptive Isocurves Based Rendering for Freeform Surfaces Elber, Gershon abstract pdf ps
UUCS-92-041 Autonomous Observation Sobh, Tarek M abstract pdf ps

1991 Technical Reports
UUCS-91-001 Error Bounded Variable Distance Offset Operator for Free From Curves and Surfaces Gershon, Elber and Elaine Cohen abstract pdf ps
UUCS-91-017 Modularity Meets Inheritance Bracha, Gilad and Gary Lindstrom abstract pdf ps