2010
SWIFT Technical Report
no. 00-026, 2010.
Performance Modeling and Access Methods for Temporal Database Management Systems Technical Report
no. 86-018, 2010.
The Display of Temporal Information Technical Report
no. 86-019, 2010.
No Silver Bullet Essence and Accidents of Software Engineering Technical Report
no. 86-020, 2010.
Report on the 10th IFIP Congress Technical Report
no. 86-021, 2010.
An Integrated Approach to General Software Monitoring Technical Report
no. 86-022, 2010.
A Family of Operating Systems in a Software Laboratory Technical Report
no. 86-023, 2010.
The Properties of Random Trees Technical Report
no. 86-024, 2010.
WE Technical Report
no. 86-025, 2010.
Hierarchical Figure-Based Shape Description For Medical Imaging Technical Report
no. 86-026, 2010.
Alternative Program Representations in the FFP Machine Technical Report
no. 86-027, 2010.
An Integrated Instrumentation Environment Technical Report
no. 86-028, 2010.
On a New Class of Independent Families of Linear Congruential Pseudo- Random Sequences Technical Report
no. 87-001, 2010.
An Evaluation of Factors Affecting Rotation Tasks in a Three-Dimensional Graphics System Technical Report
no. 87-002, 2010.
Scheme Evolution and the Relational Algebra Technical Report
no. 87-003, 2010.
Effect of Ambient Light on Electronically Displayed Medical Images as Measured by Luminance Discrimination Thresholds Technical Report
no. 87-004, 2010.
Parallel Image Generation with Anti- Aliasing and Texting Technical Report
no. 87-005, 2010.
Specification and Generation of Constraint Satisfication Systems Technical Report
no. 87-006, 2010.
Thirteenth Annual Report Interactive Graphics for Molecular Graphics System Technical Report
no. 87-007, 2010.
Supporting Valid Time Technical Report
no. 87-008, 2010.
Three Dimensional Image Presentation Techniques in Medical Imaging Technical Report
no. 87-009, 2010.
EqL's User's Guide Technical Report
no. 87-010, 2010.
Three Implementation Models for Scheme Technical Report
no. 87-011, 2010.
Image Segmentation via Multiresolution Extrema Following Technical Report
no. 87-012, 2010.
Docktool Technical Report
no. 87-013, 2010.
The FFP Machine Technical Report
no. 87-014, 2010.
On the Design and Performance of Pipeland Architectures Technical Report
no. 87-022, 2010.
On The Thickness of Graphs of Given Degree Technical Report
no. 87-025, 2010.
Effective Presentation of Medical Images Technical Report
no. 87-026, 2010.
Some Experimental Results on Dynamic Subgoal Reordering Technical Report
no. 87-027, 2010.
Unification and Set-Valued Functions for Functional and Logic Programming Technical Report
no. 87-039, 2010.
The Semantics of an FP Language with Infinite Objects Technical Report
no. 88-022, 2010.
The Penalty of Context-Switch Time in Distributed Computing Technical Report
no. 88-025, 2010.
A Parallel Architecture for k-d Trees Technical Report
no. 88-026, 2010.
FPC Technical Report
no. 88-027, 2010.
The Nanomanipulator Technical Report
no. 94-030, 2010.
Syntax Directed Symbolic Execution Technical Report
no. 79-024, 2010.
A Voronoi-Based Hybrid Motion Planner for Rigid Bodies Technical Report
no. 00-025, 2010.
Effective Occlusion Culling for the Interactive Display of Arbitrary Models Technical Report
no. 99-027, 2010.
Using Intertial Data for Locomotion in Virtual Environments Technical Report
no. 99-026, 2010.
Transformational Concurrency Control for Collaborative Design and Arrangement Technical Report
no. 99-025, 2010.
Segmentation, Registration, and Measurement of Shape Variation via Image Object Shape Technical Report
no. 99-010, 2010.
Forward Mapped Planar Mirror Reflections Technical Report
no. 98-026, 2010.
Efficient Rendering of Radiosity using Textures and Bicubic Reconstruction Technical Report
no. 96-025, 2010.
Load Balancing for Interactive Display of Surfaces Technical Report
no. 96-022, 2010.
OBB-Tree Technical Report
no. 96-013, 2010.
Calibrating See-Through Head-Mounted Displays Technical Report
no. 95-034, 2010.
Human vs. Vision Model Performance for Two Medical Image Estimation Tasks Technical Report
no. 95-027, 2010.
Frameless Antialiasing Technical Report
no. 95-026, 2010.
An Introduction to Proteus Version 0.9 Technical Report
no. 95-025, 2010.