Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Dave, Nirav"'
Autor:
Dave, Nirav Hemant, 1982
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Spec
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Spec
Externí odkaz:
http://hdl.handle.net/1721.1/68171
Autor:
Dave, Nirav Hemant, 1982
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.
Includes bibliographical references (p. 67).
In this thesis, we designed a 2-way out-of-order processor in Bluespec implementi
Includes bibliographical references (p. 67).
In this thesis, we designed a 2-way out-of-order processor in Bluespec implementi
Externí odkaz:
http://hdl.handle.net/1721.1/30174
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Computer Aided Verification (9783319216676); 2015, p109-127, 19p
Autor:
Han, Jong Hun, Mundkur, Prashanth, Rotsos, Charalampos, Antichi, Gianni, Dave, Nirav, Moore, Andrew W., Neumann, Peter G.
Publikováno v:
2015 ACM/IEEE Symposium on Architectures for Networking & Communications Systems (ANCS); 2015, p17-27, 11p
Autor:
Watson, Robert N.M., Woodruff, Jonathan, Neumann, Peter G., Moore, Simon W., Anderson, Jonathan, Chisnall, David, Dave, Nirav, Davis, Brooks, Gudka, Khilan, Laurie, Ben, Murdoch, Steven J., Norton, Robert, Roe, Michael, Son, Stacey, Vadera, Munraj
Publikováno v:
2015 IEEE Symposium on Security & Privacy; 2015, p20-37, 18p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
10th ACM/IEEE International Conference on Formal Methods & Models for Codesign; 2013, p177-188, 12p
Autor:
Khan, Asif, Dave, Nirav
Publikováno v:
2013 IEEE 21st Annual International Symposium on Field-Programmable Custom Computing Machines; 2013, p145-148, 4p