Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Ugawa, Tomoharu"'
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 15
Disaggregated memory is promising for improving memory utilization in computer clusters in which memory demands significantly vary across computer nodes under utilization. It allows applications with high memory demands to use memory in other compute
Externí odkaz:
http://arxiv.org/abs/2403.02183
Software model checking suffers from the so-called state explosion problem, and relaxed memory consistency models even worsen this situation. What is worse, parameterizing model checking by memory consistency models, that is, to make the model checke
Externí odkaz:
http://arxiv.org/abs/1608.05893
Publikováno v:
In Journal of Computer Languages April 2019 51:261-279
JavaScript is increasingly used for the Internet of Things (IoT) on embedded systems. However, JavaScript's memory footprint is a challenge, because normal JavaScript virtual machines (VMs) do not fit into the small memory of IoT devices. In part thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17e7ce5dc855d0cb57c32e2578363b33
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.
Publikováno v:
12th Asian Symposium on Programming Languages and Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::19085636ea5edd5f45f1dba4b66d6db8
https://kar.kent.ac.uk/45210/1/poster.pdf
https://kar.kent.ac.uk/45210/1/poster.pdf
Publikováno v:
ACM Transactions on Programming Languages & Systems; Dec2018, Vol. 40 Issue 4, p1-56, 56p
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.