![]() | ![]() |
2003 | ||
---|---|---|
2 | EE | Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park: Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods in System Design 22(2): 109-116 (2003) |
2002 | ||
1 | EE | Mani Azimi, Faye A. Briggs, Michel Cekleov, Manoj Khare, Akhilesh Kumar, Lily Pao Looi: Scalability Port: A Coherent Interface for Shared Memory Multiprocessors. Hot Interconnects 2002: 65-70 |
1 | Faye A. Briggs | [1] |
2 | Michel Cekleov | [1] |
3 | Ching-Tsun Chou | [2] |
4 | Manoj Khare | [1] |
5 | Akhilesh Kumar | [1] [2] |
6 | Victor W. Lee | [2] |
7 | Lily Pao Looi | [1] |
8 | Phanindra K. Mannava | [2] |
9 | Seungjoon Park | [2] |