( en | de | ru )

 

Disambiguation of "Pugh, William"

Author of the publication

copydeleteadd this publication to your clipboard
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism

, and . ACM Trans. Program. Lang. Syst., 16 (4): 1248--1278 (July 1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Matthew Pugh

Keith Pugh

Anette Kugelmüller-Pugh

William Masselink

William Jórasz

 

Other publications of authors with the same name

Static Analysis of Upper and Lower Bounds on Dependences and Parallelism, and . ACM Trans. Program. Lang. Syst., 16 (4): 1248--1278 (July 1994)Concurrent Maintenance of Skip Lists. Technical Report, UMIACS-TR-90-80. University of Maryland at College Park, (1998)Skip lists: a probabilistic alternative to balanced trees. Communications of the ACM, 33 (6): 668--676 (1990)Incremental Computation and the Incremental Evaluation of Functional Programs.. Cornell University, USA, (1988)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 400-411. Springer, (1997)Experiences with Constraint-based Array Dependence Analysis., and . PPCP, volume 874 of Lecture Notes in Computer Science, page 312-325. Springer, (1994)An Exact Method for Analysis of Value-based Array Data Dependences., and . LCPC, volume 768 of Lecture Notes in Computer Science, page 546-566. Springer, (1993)A CAD system for the capture of combat casualty care information., and . ACM Conference on Computer Science, page 131-135. ACM, (1988)Helping students appreciate test-driven development (TDD)., and . OOPSLA Companion, page 907-913. ACM, (2006)The Omega test: a fast and practical integer programming algorithm for dependence analysis.. SC, page 4-13. ACM, (1991)