Zobrazeno 1 - 10
of 185
pro vyhledávání: '"Coherence protocols"'
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:
Goens, Andres, Chakraborty, Soham, Sarkar, Susmit, Agarwal, Sukarn, Oswald, Nicolai, Nagarajan, Vijay
Publikováno v:
Goens, A, Chakraborty, S, Sarkar, S, Agarwal, S, Oswald, N & Nagarajan, V 2023, ' Compound Memory Models ', Proceedings of the ACM on Programming Languages, vol. 7, no. PLDI, 153, pp. 1145-1168 . https://doi.org/10.1145/3591267
Funding: This work was funded by the Engineering and Physical Sciences Research Council, through grant references EP/V038699/1 and EP/V028154/1. Submitted to PLDI 2023, which will publish accepted papers in the Proceedings of the ACM in Programming L
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58ba544295bc0c8878ef579798be10e6
https://hdl.handle.net/10023/27764
https://hdl.handle.net/10023/27764
Autor:
Ammar A. Zaqzuq
Publikováno v:
Tikrit Journal of Engineering Sciences, Vol 23, Iss 4, Pp 23-30 (2016)
This paper presents an analytical and deductive study at software and hardware level for a symmetric multiprocessors system. Basic influential factors in the performance as cache memory size, processors number, and coherence protocols of cache memori
Externí odkaz:
https://doaj.org/article/ba05df2cb5d4407a976958f650eab797
Autor:
Oswald, Nicolai Alexander
Cache coherence protocols are often specified using only stable states and atomic transactions for a single cache hierarchy level. Designing highly-concurrent, hierarchical and heterogeneous directory cache coherence protocols from these atomic speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______463::dba4620d1191f7dd8b684cfb3f671cb7
https://hdl.handle.net/1842/40610
https://hdl.handle.net/1842/40610
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.
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:
Revista Técnica de la Facultad de Ingeniería, Vol 30, Iss 2, Pp 170-178 (2007)
This work proposes a protocol which manages the coherence in the cache memory in systems with distributed memory. Cache memory is distributed in different system’s nodes, for this reason-stored information in them must to be maintained coherent. Th
Externí odkaz:
https://doaj.org/article/6781ca6e9a68497fa12bd506772af933
Autor:
V.S. Burenkov, A.S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 57-76 (2018)
This paper introduces a method for scalable verification of cache coherence protocols described in the Promela language. Scalability means that resources spent on verification (first of all, machine time and memory) do not depend on the number of pro
Publikováno v:
Procedia Computer Science
Procedia Computer Science, 2016, 80, pp.1542-1553. ⟨10.1016/j.procs.2016.05.481⟩
Procedia Computer Science, Elsevier, 2016, 80, pp.1542-1553. ⟨10.1016/j.procs.2016.05.481⟩
ICCS
Procedia Computer Science, 2016, 80, pp.1542-1553. ⟨10.1016/j.procs.2016.05.481⟩
Procedia Computer Science, Elsevier, 2016, 80, pp.1542-1553. ⟨10.1016/j.procs.2016.05.481⟩
ICCS
Conference of International Conference on Computational Science, ICCS 2016 ; Conference Date: 6 June 2016 Through 8 June 2016; Conference Code:130478; International audience; Modern parallel programming frameworks like OpenMP often rely on shared mem