| |
| 2007 | ||
|---|---|---|
| 5 | EE | Lisa Higham, LillAnne Jackson, Jalal Kawash: Specifying memory consistency of write buffer multiprocessors. ACM Trans. Comput. Syst. 25(1): (2007) |
| 4 | EE | Lisa Higham, LillAnne Jackson, Jalal Kawash: What is Itanium Memory Consistency from the Programmer's Point of View? Electr. Notes Theor. Comput. Sci. 174(9): 63-84 (2007) |
| 2006 | ||
| 3 | EE | Lisa Higham, LillAnne Jackson, Jalal Kawash: Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture. DISC 2006: 164-178 |
| 2 | EE | Lisa Higham, LillAnne Jackson, Jalal Kawash: Programmer-Centric Conditions for Itanium Memory Consistency. ICDCN 2006: 58-69 |
| 1 | EE | Lisa Higham, LillAnne Jackson: Translating between itanium and sparc memory consistency models. SPAA 2006: 170-179 |
| 1 | Lisa Higham | [1] [2] [3] [4] [5] |
| 2 | Jalal Kawash | [2] [3] [4] [5] |