| 1998 Technical Reports |
| CSTD-98-001 |
I don't know |
Guadalahonki |
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 |