Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Hixon, Alex"'
Publikováno v:
Phys. Rev. D 99, 044045 (2019)
In GW150914, approximately $3M_{\odot}$ were radiated away as gravitational waves from the binary black hole system as it merged. The stress energy of the gravitational wave itself causes a nonlinear memory effect in the detectors here on Earth calle
Externí odkaz:
http://arxiv.org/abs/1810.09563
Autor:
O'Connor, Liam, Rizkallah, Christine, Chen, Zilin, Amani, Sidney, Lim, Japheth, Nagashima, Yutaka, Sewell, Thomas, Hixon, Alex, Keller, Gabriele, Murray, Toby, Klein, Gerwin
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and without the need for a trusted runtime or garbage collector. It compiles to
Externí odkaz:
http://arxiv.org/abs/1601.05520
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.
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
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