公開日 Lessons on Converting Batch Systems to Support Interaction Robert DeLIne, Gregory Zelesnik, Mary Shaw ICSE ’97 Proceedings of the 19th international conference on Software engineering | May 1997 ISBN: 0-89791-914-9
公開日 May 1997 Draft of the ASM Guide Yuri Gurevich Tech Report CSE-TR-336-97, EECS Dept, University of Michigan, 1997 | May 1997
公開日 Recursive Abstract State Machines Yuri Gurevich, Marc Spielmann Springer J. of Universal Computer Science | April 1997, 巻3(4): pp. 233-246
公開日 Lapped Biorthogonal Transforms for the Transform Coding with Reduced Blocking and Ringing Artifacts Henrique S. Malvar International Conference on Acoustics, Speech and Signal Processing | April 1997
公開日 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
公開日 Layered DCT Still Image Compression Jiankun Li, Jin Li, C.-C. Jay Kuo IEEE Transactions on Circuit and System for Video Technology | April 1997
公開日 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
公開日 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
公開日 Green Card: a foreign-language interface for Haskell T Nordin, SL Peyton Jones, Alastair Reid, Simon Peyton Jones Haskell workshop | February 1997
公開日 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