Technical Reports 


Allan, J. PhD Thesis. Automatic Hypertext Construction. TR95-1484. February 1995. 

Alur, R., C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TR94-1451. October 1994. 

Alur, R., T. Feder, and T.A. Henzinger. The Benefits of Relaxing Punctuality. TR94-1450. September 1994. 

Alur, R., T.A. Henzinger, and P-H. Ho. Automatic Symbolic Verification of Embedded Systems. TR95-1513. May 1995. 

Alur, R., L. Fix, and T.A. Henzinger. A Determinizable Class of Timed Automata. TR95-1492. March 1995. 

Alvisi, L., and K. Marzullo. Optimal Message Logging Protocols (Preliminary Version). TR94-1457. October 1994. 

Bau, ., I. Kodukula, V. Kotlyar, K. Pingali, and P. Stodghill. Solving Alignment using Elementary Linear Algebra. TR95-1478. January 1995. 

Birman, K.P., and T. Clark. Performance of the ISIS Distributed Computing Toolkit. TR94-1432. June 1994. 

Bressoud, T.C., and F.B. Schneider. Hypervisor-based Fault-tolerance. TR95-1495. March 1995. 

Briggs, A. PhD Thesis. Efficient Geometric Algorithms for Robot Sensing and Control. TR95-1480. February 1995. 

Brown, R. PhD Thesis. Localization, Mapmaking, and Distributed Manipulation with Flexible, Robust Mobile Robots. TR95-1485. February 1995. 

Bruck, J., D. Dolev, C-T. Ho, M-C. Rosu, and R. Strong. Efficient Message Passing Interface (MPI) for Parallel Computing on Clusters of Workstations. TR95-1474. February 1995. 

Chandra, T.D., and S. Toueg. Unreliable Failure Detectors for Reliable Distributed Systems. TR94-1458. October 1994. 

Chari, S. PhD Thesis. Randomness as a Computational Resource: Issues in Efficient Computation. TR94-1449. August 1994. 

Chen, Z-W. PhD Thesis. Efficient Access to Knowledge via Forward Chaining Tactics. TR95-1504. April 1995. 

Cheng, A, and D. Kozen. A Complete Gentzen-style Axiomatization for Set Constraints. TR95-1518. May 1995. 

Coleman, T.F., and W. Yuan. A New Trust Region Algorithm for Equality Constrained Optimization. TR95-1477. March 1995. 

Coleman, T.F., and W. Yuan. A Quasi-Newton L2-Penalty Method for Minimization Subject to Nonlinear Equality Constraints. TR95-1481. March 1995. 

Cooper, D.A., and K.P. Birman. Preserving Privacy in a Network of Mobile Computers. TR95-1490. March 1995. 

Cooper, D.A., and K.P. Birman. Preserving Privacy in a Network of Mobile Computers. TR94-1461. October 1994. 

Efremidis, S.G. PhD Thesis. On Program Transformations. TR94-1434. June 1994. 

Ergun, Funda. Testing Multivariate Linear Functions: Overcoming the Generator Bottleneck. TR94-1453. October 1994. 

Fix, L., and F.B. Schneider. Hybrid Verification by Exploiting the Environment. TR94-1436. July 1994. 

Friedman, R., and R. van Renesse. Strong and Weak Virtual Synchrony in Horus. TR95-1491. March 1995. 

Friedman, Roy. Using Virtual Synchrony to Develop Efficient Fault Tolerant Distributed Shared Memories. TR95-1506. March 1995. 

Greenbaum, A. Estimating the Attainable Accuracy of Recursively Computed Residual Methods. TR95-1515. May 1995. 

Gries, D., and F.B. Schneider. Equational Propositional Logic. TR94-1455. September 1994. 

Gries, D. On Presenting Monotonicity and On EA=>AE. TR95-1512. April 1995. Gries, D., and F.B. Schneider. Avoiding the Undefined by Underspecification. TR95-1520. May 1995. 

Gupta, S., and K. Pingali. Fast Compiled Logic Simulation Using Linear BDDs. TR95-1522. June 1995. 

Harel, D., and M. Sardas. Randomized Graph Drawing with Heavy-Duty Preprocessing. TR95-1503. March 1995. 

Harel, D., and M. Sardas. An Incremental Drawing Algorithm for Planar Graphs. TR95-1508. April 1995. 

Hayden, M., and K.P. Birman. Achieving Critical Reliability with Unreliable Components and Unreliable Glue. TR95-1493. March 1995. 

Henzinger, M.R., and M.L. Fredman. Lower Bounds for Fully Dynamic Connectivity Problems in Graphs. TR95-1523. June 1995. 

Henzinger, M.R., and D. Williamson. On the Number of Small Cuts in a Graph. TR95-1486. February 1995. 

Henzinger, T.A., and P.W. Kopke. Hybrid Automata with Finite Mutual Simulations. TR95-1497. March 1995. 

Henzinger, T.A., and P.W. Kopke. Verification Methods for the Divergent Runs of Clock Systems. TR95-1482. February 1995. 

Henzinger, T.A., and P.W. Kopke. Undecidability Results for Hybrid Systems. TR95-1483. February 1995. 

Henzinger, T.A., P.W. Kopke, and H. Wong-Toi. The Expressive Power of Clocks. TR95-1496. April 1995. 

Henzinger, T.A., and P-H. Ho. Model Checking Strategies for Linear Hybrid Systems. TR94-1437. July 1994. 

Henzinger, T.A., and P-H. Ho. HyTech: The Cornell HYbrid TECHnology Tool. TR95-1521. June 1995. 

Hickey, T.M., and R. van Renesse. Incorporating System Resource Information into Flow Control. TR95-1489. February 1995. 

Hopcroft, M.J. PhD Thesis. A Geometrical Approach to Model-Based Vision. TR95-1510. July 1995. 

Hoppe, B.E. PhD Thesis. Efficient Dynamic Network Flow Algorithms. TR95-1524. June 1995. 

Hunt, G.D.H. PhD Thesis. Multicast Flow Control on Local Area Networks. TR95-1479. February 1995. 

Jackson, P.B. PhD Thesis. Enhancing the Nuprl Proof Development System and Applying It to Computational Abstract Algebra. TR95-1509. April 1995. 

Johansen, D., R. van Renesse, and F.B. Schneider. Operating System Support for Mobile Agents. TR94-1468. December 1994. 

Johnson, R.C. PhD Thesis. Efficient Program Analysis Using Dependence Flow Graphs. TR94-1464. November 1994. 

Kapur, A., T.A. Henzinger, Z. Manna, and A. Pnueli. Proving Safety Properties of Hybrid Systems. TR94-1459. October 1994. 

Kozen, D., Y. Minsky, and B. Smith. Efficient Algorithms for Optimal Video Transmission. TR95-1517. May 1995.

 Kozen, D. Rational Spaces and Set Constraints. TR95-1475. January 1995. 

Lagoze, C., E. Shaw, J.R. Davis, and D.B. Krafft. Dienst: Implementation Reference Manual. TR95-1514. May 1995. 

Lee, J-H. Analyzing the Effectiveness of Extended Boolean Models in Information Retrieval. TR95-1501. March 1995. 

Lee, J-H. Combining Multiple Evidence from Different Properties of Weighting Schemes. TR95-1502. March 1995. 

Li, W. PhD Thesis. Compiling for Numa Parallel Machines. TR94-1469. November 1994. 

Li, Y. A Trust Region and Affine Scaling Method for Nonlinearly Constrained Minimization. TR94-1463. November 1994. 

Li, Y., and F. Santosa. An Affine Scaling Algorithm for Minimizing Total Variation in Image Enhancement. TR94-1470. December 1994. 

Li, Y. On Global Convergence of a Trust Region and Affine Scaling Method for Nonlinearly Constrained Minimization. TR94-1462. November 1994. 

Lischinski, D. PhD Thesis. Accurate and Reliable Algorithms for Global Illumination. TR94-1448. October 1994. 

Liu, Y.A., and T. Teitelbaum. Incremental Computation for Transformational Software Development. TR95-1499. March 1995. 

Liu, Y.A., and T. Teitelbaum. Caching Intermediate Results for Program Improvement. TR95-1498. April 1995. 

Liu, Y.A., and T. Teitelbaum. Systematic Derivation of Incremental Programs. TR94-1444. September 1994. 

Mai, K., J. Miller, and R. Zabih. A Robust Method for Detecting Cuts and Dissolves in Video Sequences. TR95-1494. May 1995. 

Malki, D., K.P. Birman, A.M. Ricciardi, and A. Schiper. Uniform Actions in Asynchronous Distributed Systems. TR94-1447. September 1994. 

Moudgill, M. PhD Thesis. Implementing and Exploiting Static Speculation on Multiple Instruction Issue Processors. TR94-1440. August 1994. 

Olson, C.F. Improved Curve Detection through Decomposition of the Hough Transform. TR95-1516. May 1995. 

Pearson, D. A Polynomial-time Algorithm for the Change-Making Problem. TR94-1433. June 1994. 

Rubinfeld, Ronitt. Robust Functional Equations with Applications to Self-Testing/Correcting. TR94-1435. July 1994. 

Rucklidge, W.J. PhD Thesis. Efficient Computation of the Minimum Hausdorff Distance for Visual Recognition. TR94-1454. September 1994. 

Rucklidge, W.J. Lower bounds for the Complexity of the Hausdorff Distance. TR94-1441. August 1994. 

Rus, D., and K. Summers. Using White Space for Automated Document Structuring. TR94-1452. September 1994. 

Sabel, L.S., and K. Marzullo. Election Vs. Consensus in Asynchronous Systems. TR95-1488. February 1995. 

Salton, G., and A. Singhal. Automatic Text Theme Generation and the Analysis of Text Structure. TR94-1438. July 1994. 

Scharstein, D. A Gradient-Based Evidence Measure for Image Matching. TR94-1439. August 1994. 

Schneider, F.B. Notes on Proof Outline Logic. TR95-1476. January 1995. 

Shapiro, M., and P. Ferreira. Larchant-RDOSS: A Distributed Shared Persistent Memory and Its Garbage Collector. TR94-1466. December 1994. 

Singhal, A., G. Salton, and C. Buckley. Length Normalization in Degraded Text Collections. TR95-1507. April 1995. 

Smits, B.E. PhD Thesis. Efficient Hierarchical Radiosity in Complex Environments. TR94-1443. August 1994. 

Stefansson, K. PhD Thesis. Newtonian Graphs, Riemann Surfaces and Computation. TR95-1519. May 1995. 

Stoller, S.D., and F.B. Schneider. Faster Possibility Detection by Combining Two Approaches. TR95-1511. April 1995. 

Underwood, J. PhD Thesis. Aspects of the Computational Content of Proofs. TR94-1460. October 1994. 

van Renesse, R., and K.P. Birman. Protocol Composition in Horus. TR95-1505. March 1995. 

van Renesse, R., K.P. Birman, B.B. Glade, K. Guo, M. Hayden, T.M. Hickey, D. Malki, A. Vaysburd, and W. Vogels. Horus: A Flexible Group Communications System. TR95-1500. March 1995. 

van Renesse, R., T.M. Hickey, and K.P. Birman. Design and Performance of Horus: A Lightweight Group Communications System. TR94-1442. August 1994.