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, Wonnacott D.  1992.  Eliminating false data dependences using the Omega test. Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation. :140-151.
Pugh W, Kelly W.  1995.  Finding Legal Reordering Transformations using Mappings. Languages and compilers for parallel computing: 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994: proceedings. 7:107-107.
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.
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.
Pruzzo C, Vezzulli L, Colwell RR.  2008.  Global impact of Vibrio cholerae interactions with chitin. Environmental Microbiology. 10(6):1400-1410.
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 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.
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.
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.
Preece J, Shneiderman B.  1995.  Survival of the fittest: the evolution of multimedia user interfaces. ACM Computing Surveys. 27(4):557-559.
Pratt TW, Zelkowitz MV.  1984.  Programming languages: design and implementation.
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.
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.
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