Publication The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs Andreas Blass, Yuri Gurevich Springer J. of Universal Computer Science | April 1997, pp. 247-278
Publication Layered DCT Still Image Compression Jiankun Li, Jin Li, C.-C. Jay Kuo IEEE Transactions on Circuit and System for Video Technology | April 1997
Publication Progressive Compression of 3D Graphic Models Jiankun Li, Jin Li, C.-C. Jay Kuo 1997 IEEE International Conference on Multimedia Computing and Systems | April 1997
Publication Computing Kernels Implemented With A Wormhole RTR CCM Ray Bittner, Peter Athanas 5th IEEE Symposium on FPGA-Based Custom Computing Machines (FCCM ’97) | April 1997
Publication Green Card: a foreign-language interface for Haskell T Nordin, SL Peyton Jones, Alastair Reid, Simon Peyton Jones Haskell workshop | February 1997
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 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 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