Publications

Search
Export 326 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
Pugh W.  1994.  Counting solutions to Presburger formulas: how and why. ACM SIGPLAN Notices. 29(6):121-134.
Pugh W, Shpeisman T.  1999.  SIPR: A new framework for generating efficient code for sparse matrix computations. Languages and Compilers for Parallel Computing. :213-229.
Pugh W, Wonnacott D.  1994.  Static analysis of upper and lower bounds on dependences and parallelism. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 16(4):1248-1278.
Pugh W.  1990.  Probabilistic analysis of set operations with constant-time set equality test. Advances in Computing and Information—ICCI'90. :62-71.
Pruzzo C, Vezzulli L, Colwell RR.  2008.  Global impact of Vibrio cholerae interactions with chitin. Environmental Microbiology. 10(6):1400-1410.
Pruzzo C, Tarsi R, Lleò MM, Signoretto C, Zampini M, Colwell RR, Canepari P.  2002.  In vitro adhesion to human cells by viable but nonculturable Enterococcus faecalis. Current microbiology. 45(2):105-110.
Pruzzo C, Tarsi R, Del Mar Lleò M, Signoretto C, Zampini M, Pane L, Colwell RR, Canepari P.  2003.  Persistence of adhesive properties in Vibrio cholerae after long‐term exposure to sea water. Environmental Microbiology. 5(10):850-858.
Pruzzo C, Huq A, Colwell RR, Donelli G.  2005.  Pathogenic Vibrio species in the marine and estuarine environment. Oceans and health: pathogens in the marine environment. :217-252.
Pruessner A, O'Leary DP.  2003.  Blind Deconvolution Using a Regularized Structured Total Least Norm Approach. SIAM J. on Matrix Analysis and Applications. 24:1018-1037.
Priyadarshi A, Gupta SK, Gouker R, Krebs F, Shroeder M, Warth S.  2007.  Manufacturing multi-material articulated plastic products using in-mold assembly. The International Journal of Advanced Manufacturing Technology. 32(3):350-365.
Priyadarshi AK, Gupta SK.  2004.  Geometric algorithms for automated design of multi-piece permanent molds. Computer-Aided Design. 36(3):241-260.
Priyadarshi AK, Gupta SK.  2007.  Generating Multi-Stage Molding Plans for Articulated Assemblies. :56-63.
Priyadarshi A, Gupta SK.  2006.  Finding Mold-Piece Regions Using Computer Graphics Hardware. Geometric Modeling and Processing - GMP 2006. 4077:655-662.
Priyadarshi AK, Gupta SK.  2009.  Algorithms for generating multi-stage molding plans for articulated assemblies. Robotics and Computer-Integrated Manufacturing. 25(1):91-106.
Preece J, Shneiderman B.  1995.  Survival of the fittest: the evolution of multimedia user interfaces. ACM Computing Surveys. 27(4):557-559.
Preece J, Shneiderman B.  2009.  The reader-to-leader framework: Motivating technology-mediated social participation. AIS Transactions on Human-Computer Interaction. 1(1):13-32.
Pratt TW, Zelkowitz MV.  1984.  Programming languages: design and implementation.
Pratikakis P, Foster JS, Hicks MW.  2006.  LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
Pratikakis P, Spacco J, Hicks MW.  2004.  Transparent proxies for java futures. Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :206-223.
Pratikakis P, Foster JS, Hicks MW, Neamtiu I.  2008.  Formalizing Soundness of Contextual Effects. Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics. 5170:262-277.
Pratikakis P, Foster JS, Hicks MW.  2006.  Existential Label Flow Inference Via CFL Reachability. Static AnalysisStatic Analysis. 4134:88-106.
Pratikakis P, Foster JS, Hicks MW.  2006.  Context-sensitive correlation analysis for detecting races. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI). :320-331.
Pratikakis P, Foster JS, Hicks MW.  2011.  LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
Prasad V, Kellokumpu V, Davis LS.  2006.  Ballistic hand movements. Articulated Motion and Deformable Objects. :153-164.
Prasad VSN, Davis LS, Tran S D, Elgammal A.  2006.  Edge affinity for pose-contour matching. Computer Vision and Image Understanding. 104(1):36-47.

Pages