K. Mani Chandy
-
Gartner Event Processing Summit, Stamford, Connecticut, September 15-16, 2008
-
TPHOLS 2008, 21st International Conference on Theorem Proving in Higher Order Logics, Montreal, 18-21 August, 2008
-
Fifth International IEEE Conference on Networked Sensing Systems (INSS 2008), June 17 - 19, 2008, Kanazawa, Japan
-
Matt Wu, Annie Liu, K. Mani Chandy, ISCRAM 2008
-
PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.
-
eBizQ 04/24/2008
-
Rice University, April 2, 2008
-
Center for the Mathematics of Information, April 24, 2008
-
Systems Workshop, Harvey Mudd, March 2008
-
eBizQ