Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
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
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, 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.  2011.  LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
Pratt TW, Zelkowitz MV.  1984.  Programming languages: design and implementation.
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.
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 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, 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.
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.
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, 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, 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, Vezzulli L, Colwell RR.  2008.  Global impact of Vibrio cholerae interactions with chitin. Environmental Microbiology. 10(6):1400-1410.
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, Weddell G.  1990.  Two-directional record layout for multiple inheritance. Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation. :85-91.
Pugh W.  1990.  Skip lists: a probabilistic alternative to balanced trees. Communications of the ACMCommun. ACM. 33(6):668-676.
Pugh W.  2000.  The Java memory model is fatally flawed. Concurrency - Practice and Experience. 12(6):445-455.
Pugh W, Rosser E.  1997.  Iteration space slicing and its application to communication optimization. Proceedings of the 11th international conference on Supercomputing. :221-228.
Pugh W.  1992.  Definitions of dependence distance. ACM Letters on Programming Languages and SystemsACM Lett. Program. Lang. Syst.. 1(3):261-265.
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.

Pages