共 50 条
- [1] Introducing computer systems from a programmer's perspective PROCEEDINGS OF THE THIRTY-SECOND SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2001, 33 (01): : 90 - 94
- [3] Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation (Invited Talk) VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 19 - 22
- [4] Computer arithmetic - An algorithm engineer's perspective 16TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2003, : 2 - 2
- [5] Computer arithmetic - A processor architect's perspective ARITH-15 2001: 15TH SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2001, : 3 - 4
- [8] Invited talk: Taking a knowledge perspective - The future of knowledge KNOWLEDGE MANAGEMENT IN ACTION, 2008, 270 : 1 - 2
- [9] Parallelism in Computer Arithmetic: A Historical Perspective 2018 IEEE 61ST INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2018, : 165 - 169
- [10] Quantum Computation: From a Programmer’s Perspective New Generation Computing, 2013, 31 : 1 - 26