| Number |
Title |
Authors |
Abstract |
Complete report |
| 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 |
| 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 Logic
Programming 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 Volume
Visualization |
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 Douglas
B. 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 Symbolic
Automata |
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 |
