СТ |
MPJava: High-Performance Message Passing in Java Using Java.nio |
2004 |
Pugh W., Spacco J. |
|
|
|
Lecture Notes in Computer Science |
08.04.2004 |
СТ |
Atomic Instructions in Java |
2002 |
Hovemeyer D., Pugh W., Spacco J. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
СТ |
Iteration Space Slicing for Locality |
2000 |
Pugh W., Rosser E. |
|
|
|
Lecture Notes in Computer Science |
09.09.2000 |
СТ |
Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results |
1999 |
Bultan T., Gerber R., Pugh W. |
|
|
|
ACM Trans. on Programming Languages and Systems |
17.03.2000 |
СТ |
Compressing Java Class Files |
1999 |
Pugh W. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
СТ |
Constraint-Based Array Dependence Analysis |
1998 |
Pugh W., Wonnacott D. |
|
|
|
ACM Trans. on Programming Languages and Systems |
05.11.1998 |
СТ |
Finding Legal Reordering Transformations using Mappings |
1995 |
Kelly W., Pugh W. |
|
|
|
Lecture Notes in Computer Science |
28.03.1995 |
СТ |
Experiences with Constraint-based Array Dependence Analysis |
1994 |
Pugh W., Wonnacott D. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
Simplifying Polynomial Constraints Over Integers to Make Dependence Analysis More Precise |
1994 |
Maslov V., Pugh W. |
|
|
|
Lecture Notes in Computer Science |
22.11.1994 |
СТ |
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism |
1994 |
Pugh W., Wonnacott D. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
СТ |
Counting Solutions to Presburger Formulas: How and Why |
1994 |
Pugh W. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
СТ |
An Exact Method for Analysis of Value-based Array Data Dependences |
1994 |
Pugh W., Wonnacott D. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
СТ |
A Practical Algorithm for Exact Array Dependence Analysis |
1992 |
Pugh W. |
|
|
|
Communications of the ACM |
01.10.1992 |
СТ |
Eliminating False Data Dependences using the Omega Test |
1992 |
Pugh W., Wonnacott D. |
|
|
|
SIGPLAN Notices |
13.07.1992 |