Publication Practical Privacy: The SuLQ Framework Avrim Blum, Cynthia Dwork, Frank McSherry, Kobbi Nissim 24th ACM SIGMOD International Conference on Management of Data / Principles of Database Systems, Baltimore (PODS 2005) | June 2005 Project
Publication Polynomial time algorithms for network code construction Sidharth Jaggi, Peter Sanders, Philip A. Chou, Michelle Effros, Sebastian Egner, Kamal Jain, Ludo M. G. M. Tolhuizen IEEE Trans. Information Theory | June 2005
Publication Abstraction for Falsification Thomas Ball, Orna Kupferman, Greta Yorsh MSR-TR-2005-50 | June 2005
Publication How Fast Can Eventual Synchrony Lead to Consensus? Partha Dutta, Rachid Guerraoui, Leslie Lamport Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005
Publication An Effective Variable Block-Size Early Termination Algorithm for H.264 Video Coding Libo Yang, Keman Yu, Jiang Li, Shipeng Li June 2005
Publication A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani, George C. Necula Information and Computation – Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131 Project
Publication AMTP: a multipath multimedia streaming protocol for mobile ad hoc networks K. Rojviboonchai, Fan Yang, Q. Zhang, H. Aida, W. Zhu May 2005
Publication An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals Shuvendu Lahiri, Madan Musuvathi MSR-TR-2005-61 | May 2005
Publication Fast Scalable Robust Node Enumeration Richard Black, Austin Donnelly, Alexandru Gavrilescu, Dave Thaler Proceedings of 4th International IFIP-TC6 Networking Conference (NETWORKING 2005) | May 2005 To appear
Publication Redundant Bit Vectors for Quickly Searching High-Dimensional Regions Jonathan Goldstein, John Platt, Chris J.C. Burges May 2005
Research
Research