Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Humbel, Lukas"'
Autor:
Pandurov, Milan, Humbel, Lukas, Sepp, Dmitry, Ttofari, Adamos, Thomm, Leon, Quoc, Do Le, Chandrasekaran, Siddharth, Santhanam, Sharan, Ye, Chuan, Bergman, Shai, Wang, Wei, Lundgren, Sven, Sagonas, Konstantinos, Ros, Alberto
Memory has become the primary cost driver in cloud data centers. Yet, a significant portion of memory allocated to VMs in public clouds remains unused. To optimize this resource, "cold" memory can be reclaimed from VMs and stored on slower storage or
Externí odkaz:
http://arxiv.org/abs/2409.13327
We identify new opportunities in video streaming, involving the joint consideration of offline video chunking and online rate adaptation. Due to a video's complexity varying over time, certain parts are more likely to cause performance impairments du
Externí odkaz:
http://arxiv.org/abs/2202.09112
Almost all modern hardware, from phone SoCs to high-end servers with accelerators, contain memory translation and protection hardware like IOMMUs, firewalls, and lookup tables which make it impossible to reason about, and enforce protection and isola
Externí odkaz:
http://arxiv.org/abs/2009.02737
We present CleanQ, a high-performance operating-system interface for descriptor-based data transfer with rigorous formal semantics, based on a simple, formally-verified notion of ownership transfer, with a fast reference implementation. CleanQ aims t
Externí odkaz:
http://arxiv.org/abs/1911.08773
We present a new least-privilege-based model of addressing on which to base memory management functionality in an OS for modern computers like phones or server-based accelerators. Existing software assumptions do not account for heterogeneous cores w
Externí odkaz:
http://arxiv.org/abs/1908.08707
Publikováno v:
EPTCS 244, 2017, pp. 66-116
The hardware/software boundary in modern heterogeneous multicore computers is increasingly complex, and diverse across different platforms. A single memory access by a core or DMA engine traverses multiple hardware translation and caching steps, and
Externí odkaz:
http://arxiv.org/abs/1703.06571
Autor:
Humbel, Lukas
Operating systems inevitably make assumptions about the hardware execution environment. These assumptions influence the design of application programming interfaces (APIs), internal data structures, as well as the hardware model in verified operating
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3c37fc32afdcd2272dc2189457f8604
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.