Publications

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.  1992.  Definitions of dependence distance. ACM Letters on Programming Languages and SystemsACM Lett. Program. Lang. Syst.. 1(3):261-265.
Pugh W.  1999.  Compressing Java class files. ACM SIGPLAN Notices. 34:247-258.
Pugh W.  2000.  The Java memory model is fatally flawed. Concurrency - Practice and Experience. 12(6):445-455.
Pugh W.  1990.  Skip lists: a probabilistic alternative to balanced trees. Communications of the ACMCommun. ACM. 33(6):668-676.
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.
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.
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.  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.  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.
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.
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