受强制性开放获取政策约束的文章 - Jean-Pierre Lozi了解详情
可在其他位置公开访问的文章:4 篇
Provable multicore schedulers with Ipanema: application to work conservation
B Lepers, R Gouicem, D Carver, JP Lozi, N Palix, MV Aponte, ...
Proceedings of the 15th European Conference on Computer Systems (EuroSys '20 …, 2020
强制性开放获取政策: Swiss National Science Foundation
Montsalvat: Intel SGX Shielding for GraalVM Native Images
P Yuhala, J Ménétrey, P Felber, V Schiavoni, A Tchana, G Thomas, ...
Middleware '21 (Round 2) 22nd ACM/IFIP International Conference, 2021
强制性开放获取政策: Swiss National Science Foundation
SecV: Secure code partitioning via multi-language secure values
P Yuhala, P Felber, H Guiroux, JP Lozi, A Tchana, V Schiavoni, G Thomas
Proceedings of the 24th International Middleware Conference, 207-219, 2023
强制性开放获取政策: Swiss National Science Foundation
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler
J Lawall, K Nishimura, JP Lozi
31st Static Analysis Symposium (SAS 2024), 2024
强制性开放获取政策: Agence Nationale de la Recherche
出版信息和资助信息由计算机程序自动确定