Technical Reports
1998
Singularity-Robust Trajectory Generation for Robotic Manipulators
Entropy and Enumeration
Assessing Aspect-Oriented Programming and Design: Preliminary Results
Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
Automatically Generated Test Frames from a Q Specification of ICAO Flight Plan Form Instructions
Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System
The Computational Complexity of Knot and Link Problems
Galois Theory for Minors of Finite Functions
Extending Applications to the Network
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-oriented Programming
Trajectory Generation Implemented as a Non-linear Filter
An Initial Assessment of Aspect-Oriented Programming
Using MMX Technology in Digital Image Processing
Verifying a Self-Timed Divider
Trajectory Generation Implemented as a Non-linear Filter