Publication The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions Yuri Gurevich, James K. Huggins Computer Science Logics, Selected papers from CSL’95, Springer Lecture Notes in Computer Science | February 1997
Publication Coign: Efficient Instrumentation for Inter-Component Communication Analysis Galen Hunt, Michael L. Scott MSR-TR-1997-1 | February 1997
Publication New Image Compression Artifact Measure Using Wavelets Yung-Kai Lai, C.-C. Jay Kuo, Jin Li SPIE: Visual Communication and Image Processing, San Jose, CA | February 1997
Publication Hybrid Wavelet-Fractal Image Compression Based on A Rate-Distortion Criterion Jin Li, C.-C. Jay Kuo SPIE: Visual Communication and Image Processing, San Jose, CA | February 1997
Publication Formally-Based Profiling for Higher-Order Functional Languages Patrick M. Sansom, Simon Peyton Jones ACM Transactions on Programming Languages and Systems (TOPLAS) | February 1997, Vol 19(2)
Publication Declarative Systems Architecture: A Quantitative Approach (AQUA) Simon Peyton Jones January 1997
Publication Rate-Distortion Optimized Bit Rate Control Scheme for A Wavelet Video Coder Po-Yuen Cheng, Jin Li, C.-C. Jay Kuo Proceedings SPIE: Visual Communications and Image Processing ’97, San Jose, CA | January 1997
Publication Windows NT Clusters for Availability and Scalability Rob Short, Rod Gamache, John Vert, Mike Massa January 1997
Publication Type classes: an exploration of the design space Simon Peyton Jones, Mark Jones, Erik Meijer Haskell workshop | January 1997
