Technical Reports

1998

TR-98-01
Singularity-Robust Trajectory Generation for Robotic Manipulators
John E. Lloyd
TR-98-02
Entropy and Enumeration
Nicholas Pippenger
TR-98-03
Assessing Aspect-Oriented Programming and Design: Preliminary Results
Robert J. Walker, Elisa L. A. Baniassad and Gail C. Murphy
TR-98-04
Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region
M.R. Donat
TR-98-05
Automatically Generated Test Frames from a Q Specification of ICAO Flight Plan Form Instructions
M.R. Donat
TR-98-06
Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System
Ken Wong, Jeff Joyce, and Jim Ronback
TR-98-07
The Computational Complexity of Knot and Link Problems
Joel Hass, Jeffrey C. Lagarias and Nicholas Pippenger
TR-98-08
Galois Theory for Minors of Finite Functions
Nicholas Pippenger
TR-98-09
Extending Applications to the Network
David Marwood
TR-98-10
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-oriented Programming
Gail C. Murphy, Robert J. Walker and Elisa L.A. Baniassad
TR-98-11
Trajectory Generation Implemented as a Non-linear Filter
John E. Lloyd
TR-98-12
An Initial Assessment of Aspect-Oriented Programming
Robert J. Walker, Elisa L. A. Baniassad and Gail C. Murphy
TR-98-13
Using MMX Technology in Digital Image Processing
Vladimir Kravtchenko
TR-98-14
Verifying a Self-Timed Divider
Tarik Ono-Tesfaye, Christoph Kern and Mark Greenstreet
TR-98-15
Trajectory Generation Implemented as a Non-linear Filter
John E. Lloyd

<< Back to year index