Technical Reports
1993
Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study
Ying Zhang and Alan K. Mackworth
On Finite Covering of Infinite Spaces for Protocol Test Selection
Masaaki Mori and Son T. Vuong
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Carl-Johan H. Seger, Randal E. Bryant
A Framework for Interoperability Testing of Network Protocols
Jadranka Alilovic-Curgus and Son T. Vuong
Symplectic Integration of Constrained Hamiltonian Systems by Runge-Kutta Methods
Sebastian Reich
Implicit-Explicit Methods for Time-Dependent PDE's
Uri M. Ascher, Steven J. Ruuth and Brian Wetton
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving
Jeffrey J. Joyce and Carl-Johan H. Seger
Performance Measures for Robot Manipulators: A Unified Approach
Kees van den Doel and Dinesh K. Pai
Sequential Regularization Methods for higher index DAEs with constraint singularities: I. Linear Index-2 Case
Uri Ascher and Ping Lin
TESTGEN+: An Environment for Protocol Test Suite Generation, Selection and Validation
Son T. Vuong and Sangho Lee
A Compact Piecewise-Linear Voronoi Diagram for Convex sites in the Plane
Mike McAllister, D. Kirkpatrick and J. Snoeyink
Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation
D. Kirkpatrick and J. Snoeyink
Analysis of a Recurrence Arising from a construction for Non-Blocking Networks
Nicholas Pippenger
Detection and Estimation of Multiple Disparities by Multi-evidential correlation
Esfandiar Bandari and James J. Little
Tridiagonalization Costs of the Bandwidth contraction and Rutishauser-Schwarz Algorithms
Ian Cavers
Automatic Verification of Asynchronous Circuits
Trevor W. S. Lee, Mark R. Greenstreet and Carl-Johan H. Seger
A Simple Theorem Prover Based on symbolic Trajectory Evaluation and OBDDs
Scott Hazelhurst and Carl-Johan H. Seger
We Have Never-Forgetful Flowers In Our Garden: Girls' Responses to Electronic Games
Kori Inkpen, Rena Upitis, Maria Klawe, Joan Lawry, Ann Anderson, Mutindi Ndunda, Kamran Sedighian, Steve Leroux and David Hsu
High-Speed Visual Estimation Using Preattentive Processing
Christopher G. Healey, Kellogg S. Booth and James T. Enns
A Model for Coordinating Interacting Agents
Paul Lalonde, Robert Walker, Jason Harrison and David Forsey