![]() | ![]() |
2000 | ||
---|---|---|
2 | EE | J. Davison de St. Germain, Steven G. Parker, John McCorquodale, Christopher R. Johnson: Uintah: A Massively Parallel Problem Solving Environment. HPDC 2000: 33-42 |
1997 | ||
1 | Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back: Formal Methods: A Practical Tool for OS Implementors. Workshop on Hot Topics in Operating Systems 1997: 20-25 |
1 | Godmar Back | [1] |
2 | Ajay Chitturi | [1] |
3 | J. Davison de St. Germain | [2] |
4 | Christopher R. Johnson | [2] |
5 | Jay Lepreau | [1] |
6 | Steven G. Parker | [2] |
7 | Patrick Tullmann | [1] |
8 | Jeff Turner | [1] |