Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Theory and application of charge pumping for the characterization of Si-SiO/sub 2/ interface and near-interface oxide traps Ron Paulsen IEEE Transactions on Electron Devices | June 1994, Vol 41(7): pp. 1213-1216
Publication A Three-Dimensional User Interface for Neurosurgical Visualization John C. Goble, Ken Hinckley, Neal F. Kassell, Randy Pausch April 1994
Publication A Robust HMM-Based Endpoint Detector for Telecommunication Applications Alex Acero Proc. of Eurospeech | September 1993
Publication RealityEngine graphics Kurt Akeley SIGGRAPH ’93: Proceedings of the 20th annual conference on Computer graphics and interactive techniques | January 1993 ISBN: 0-89791-601-8
Publication Observation of near-interface oxide traps with the charge-pumping technique Ron Paulsen IEEE Electron Device Letters | November 1992, Vol 13(12): pp. 627-629
Publication The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic Andy Gordon IEEE 1992 International Conference on Computer Design: VLSI in Computers and Processors | October 1992
Publication Experience with Embedding Hardware Description Languages in HOL Richard J. Boulton, Andy Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience | June 1992 ISBN: 0-444-89686-4
Publication A practical technique for designing asynchronous finite-state machines Simon Peyton Jones | April 1991
Publication An Intelligent Shell for the Toroidal Pinch C. M. Bishop, Christopher Bishop Plasma Physics | January 1989, Vol 31: pp. 1179
Publication Building User Interfaces by Direct Manipulation Luca Cardelli ACM Symposium on User Interface Software and Technology | January 1988
