Zobrazeno 1 - 10
of 162
pro vyhledávání: '"HOWELL, JON"'
In concurrent verification, separation logic provides a strong story for handling both resources that are owned exclusively and resources that are shared persistently (i.e., forever). However, the situation is more complicated for temporarily shared
Externí odkaz:
http://arxiv.org/abs/2309.04851
Autor:
Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris
The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making Rust ideal for developing low-level, high-assurance systems. For such s
Externí odkaz:
http://arxiv.org/abs/2303.05491
Autor:
Fu, Kennedy, Jeff, Tata, Jasmine, Yukl, Gary, Bond, Michael Harris, Peng, Tai-Kuang, Srinivas, Ekkirala S., Howell, Jon P., Prieto, Leonel, Koopman, Paul, Boonstra, Jaap J., Pasa, Selda, Lacassagne, Marie-Francoise, Higashide, Hiro, Cheosakul, Adith
Publikováno v:
Journal of International Business Studies, 2004 Jul 01. 35(4), 284-305.
Externí odkaz:
https://www.jstor.org/stable/3875132
Autor:
Hawblitzel, Chris chrishaw@microsoft.com, Howell, Jon jonh@jonh.net, Kapritsos, Manos emkaprit@microsoft.com, Lorch, Jacob R. lorch@microsoft.com, Parno, Bryan parno@microsoft.com, Roberts, Michael L. mirobert@microsoft.com, Setty, Srinath srinath@microsoft.com, Zill, Brian bzill@microsoft.com
Publikováno v:
Communications of the ACM. Jul2017, Vol. 60 Issue 7, p83-92. 10p. 2 Diagrams, 7 Charts, 2 Graphs.
Autor:
Parno, Bryan1 (AUTHOR) parno@microsoft.com, Howell, Jon1 (AUTHOR) howell@microsoft.com, Gentry, Craig2 (AUTHOR) cbgentry@us.ibm.com, Raykova, Mariana3 (AUTHOR) mariana@cs.columbia.edu
Publikováno v:
Communications of the ACM. Feb2016, Vol. 59 Issue 2, p103-112. 10p. 2 Diagrams, 2 Charts, 2 Graphs.
Autor:
Howell, Jon P.1, Dorfman, Peter W.1
Publikováno v:
Academy of Management Journal. Dec1981, Vol. 24 Issue 4, p714-728. 15p. 4 Charts.
Publikováno v:
Journal of International Business Studies, 2009 Oct 01. 40(8), 1396-1405.
Externí odkaz:
https://www.jstor.org/stable/27752453
Publikováno v:
In Journal of World Business 2011 46(2):234-241