Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Chubb, Peter"'
Autor:
Amani, Sidney, Chubb, Peter, Donaldson, Alastair F., Legg, Alexander, Ryzhyk, Leonid, Zhu, Yanjin
Publikováno v:
EPTCS 102, 2012, pp. 4-17
We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C
Externí odkaz:
http://arxiv.org/abs/1211.6185
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.
Autor:
LeVasseur, Joshua, Uhlig, Volkmar, Chapman, Matthew, Chubb, Peter, Leslie, Ben, Heiser, Gernot
Despite its current popularity, para-virtualization has an enormous cost. Its diversion from the platform architecture abandons many of the benefits that come with pure virtualization (the faithful emulation of the platform API): stable and well-defi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fbf486af6a6806a1931b0ade90f56782
Itanium is a fairly new and rather unusual architecture. Its defining feature is explicitly-parallel instruction-set computing (EPIC), which moves the onus for exploiting instruction-level parallelism (ILP) from the hardware to the code generator. It
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e9766f14ddcd5247ebb4221b3e136ef
Autor:
Amani, Sidney, Hixon, Alex, Chen, Zilin, Rizkallah, Christine, Chubb, Peter, O'Connor, Liam, Beeren, Joel, Nagashima, Yutaka, Lim, Japheth, Sewell, Thomas, Tuong, Joseph, Keller, Gabriele, Murray, Toby, Klein, Gerwin, Heiser, Gernot
Publikováno v:
ACM SIGOPS Operating Systems Review; January 2017, Vol. 50 Issue: 2 p175-188, 14p
Publikováno v:
Proceedings of the ACM SIGOPS 22nd Symposium: Operating Systems Principles; 10/11/2009, p73-86, 14p
Publikováno v:
Proceedings of the 4th ACM European Conference: Computer Systems; 4/ 1/2009, p275-288, 14p
Autor:
Amani, Sidney, Hixon, Alex, Chen, Zilin, Rizkallah, Christine, Chubb, Peter, O'Connor, Liam, Beeren, Joel, Nagashima, Yutaka, Lim, Japheth, Sewell, Thomas, Tuong, Joseph, Keller, Gabriele, Murray, Toby, Klein, Gerwin, Heiser, Gernot
Publikováno v:
ACM SIGARCH Computer Architecture News; May2016, Vol. 44 Issue 2, p175-188, 14p