Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication A Convolutional Neural Network Hand Tracker John Platt, Steve Nowlan Neural Information Processing Systems Foundation | January 1995
Publication MOS device reliability studies under LabVIEW environment Ron Paulsen 1994 International Electron Devices Meeting | December 1994
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
