Publications
Export 151 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is E [Clear All Filters]
2009. Network-aware forward caching. Proceedings of the 18th international conference on World wide web. :291-300.
2001. Achieving Efficiency and Accuracy in Simulation for I/O-Intensive Applications. Journal of Parallel and Distributed Computing. 61(12):1732-1750.
2000. Speed vs. Accuracy in Simulation for I/O-Intensive Applications. Parallel and Distributed Processing Symposium, International. :315-315.
2001. A tool to help tune where computation is performed. IEEE Transactions on Software Engineering. 27(7):618-629.
1998. LBF: a performance metric for program reorganization. 18th International Conference on Distributed Computing Systems, 1998. Proceedings. :222-229.
2009. A phylogenetic mixture model for the evolution of gene expression. Molecular biology and evolution. 26(10):2363-2363.
1997. Modeling and verifying active structural control systems. Science of Computer Programming. 29:99-122.
1996. Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
2009. Pairwise Document Similarity in Large Collections with MapReduce. Relation. 10(1.91):8372-8372.
2008. Resolving personal names in email using context expansion. Association for Computational Linguistics (ACL).
2006. Modeling identity in archival collections of email: A preliminary study. Proceedings of the 2006 Conference on Email and Anti-Spam (CEAS 06). :95-103.
2010. Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. :240-246.
1989. Ordering techniques for the preconditioned conjugate gradient method on parallel computers. Computer Physics Communications. 53(1-3):253-269.
2003. A characterisation of oscillations in the discrete two-dimensional convection-diffusion equation. Mathematics of computation. 72(241):263-288.
2007. Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations. SIAM J. Sci. Comput. 30(1):290-311.
2005. Finite Elements and Fast Iterative Solvers : with Applications in Incompressible Fluid Dynamics. :416.
2003. An Analysis of Smoothing Effects of Upwinding Strategies for the Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 40(1):254-281.
2005. Preconditioning strategies for models of incompressible flow. Journal of Scientific Computing. 25(1):347-366.
1997. Perturbation of eigenvalues of preconditioned Navier-Stokes operators. SIAM Journal on Matrix Analysis and Applications. 18(3):733-751.
1997. Iterative methods for problems in computational fluid dynamics. Iterative Methods in Scientific Computing. :271-327.