Publication A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm Miguel Castro, Barbara Liskov MIT/LCS/TM-590 | June 1999
Publication Universal Portfolios With and Without Transaction Costs Avrim Blum, Adam Tauman Kalai Proceedings of the 10th Annual Conference on Computational Learning Theory | June 1999
Publication Efficiently Rendering Large Volume Data Using Texture Mapping Hardware Xin Tong, Wenqiang Wang, Waiwan Tsang, Zesheng Tang Data Visualization ’99, Proceedings of the Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization in Vienna, Austria, May 26-28, 1999 | May 1999 ISBN: 978-3-211-83344-5
Publication Learning Mixture Models of Images and Inferring Spatial Transformations Using the EM algorithm Brendan Frey, Nebojsa Jojic IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1999. | May 1999
Publication Should Your Specification Language Be Typed? Leslie Lamport, Lawrence C. Paulson ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, Vol 31(3): pp. 502-526
Publication A Semantics for Imprecise Exceptions Simon Peyton Jones, Tony Hoare, Alastair Reid, Simon Marlow, Fergus Henderson Proceedings of the ACM SIGPLAN ’99 Conference on Programming Language Design and Implementation | May 1999
Publication A Modulated Complex Lapped Transform and its Application to Audio Processing Henrique S. Malvar MSR-TR-99-27 | May 1999
Publication Torpid Mixing of Some Monte Carlo Markov Chain Algorithms in Statistical Physics Christian Borgs, Jennifer Chayes, Alan Frieze, Jeong Han Kim, Prasad Tetali, Eric Vigoda, Van Ha Vu MSR-TR-99-40 | April 1999
Publication Specifying Concurrent Systems with TLA+ Leslie Lamport Calculational System Design | April 1999, pp. 183-247
Publication A Lazy Caching Proof in TLA Peter Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel Distributed Computing 12 | April 1999, Vol 2(3): pp. 151-174