| 2006 |
|---|
| 5 | EE | Amitabha Roy,
Stephan Zeisset,
Charles J. Fleckenstein,
John C. Huang:
Fast and Generalized Polynomial Time Memory Consistency Verification.
CAV 2006: 503-516 |
| 4 | EE | Amitabha Roy,
Stephan Zeisset,
Charles J. Fleckenstein,
John C. Huang:
Fast and Generalized Polynomial Time Memory Consistency Verification
CoRR abs/cs/0605039: (2006) |
| 1992 |
|---|
| 3 | | Charles J. Fleckenstein,
Helen Gill,
David Hemmendinger,
Carolyn McCreary,
John D. McGregor,
Roy P. Pargas,
Arthur M. Riehl,
Virgil Wallentine:
Multiprocessing.
Advances in Computers 35: 255-324 (1992) |
| 1989 |
|---|
| 2 | EE | Charles J. Fleckenstein,
David Hemmendinger:
A Parallel "make" Utility Based on Linda's Tuple-Space.
ACM Conference on Computer Science 1989: 216-220 |
| 1 | | Charles J. Fleckenstein,
David Hemmendinger:
Using a Global Name Space for Parallel Execution of UNIX Tools.
Commun. ACM 32(9): 1085-1090 (1989) |
