Zobrazeno 1 - 10
of 19
pro vyhledávání: '"compiler optimisations"'
Publikováno v:
Dvir, Y, Kammar, O & Lahav, O 2022, An Algebraic Theory for Shared-State Concurrency . in I Sergey (ed.), Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings . Lecture Notes in Computer Science, vol. 13658, pp. 2-24, Asian Symposium on Programming Languages, Auckland, New Zealand, 5/12/22 . https://doi.org/10.1007/978-3-031-21037-2_1
We present a monadic denotational semantics for a higher-orderprogramming language with shared-state concurrency,i.e., global-state in the presence of interleaving concurrency.Central to our approach is the use of Plotkin and Power's algebraic effect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::c2c2b35dcf6f163fc47e36f94872e30f
https://www.pure.ed.ac.uk/ws/files/296913009/main.pdf
https://www.pure.ed.ac.uk/ws/files/296913009/main.pdf
Publikováno v:
Computers; Volume 11; Issue 6; Pages: 96
Considering the large number of optimisation techniques that have been integrated into the design of the Java Virtual Machine (JVM) over the last three decades, the Java interpreter continues to persist as a significant bottleneck in the performance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ea41c93ca4380866546983ac885189c
Publikováno v:
Programming Languages and Systems
Lecture Notes in Computer Science, 12075
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science, 12075
Programming Languages and Systems ISBN: 9783030449131
ESOP
We present a denotational semantics for weak memory concurrency that avoids thin-air reads, provides data-race free programs with sequentially consistent semantics (DRF-SC), and supports a compositional refinement relation for validating optimisation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab2d08532daa76207daac9bf78e79194
http://europepmc.org/articles/PMC7702250
http://europepmc.org/articles/PMC7702250
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:
Morisset, Robin
Les architectures modernes avec des processeurs multicœurs, ainsi que les langages de programmation modernes, ont des mémoires faiblement consistantes. Leur comportement est formalisé par le modèle mémoire de l'architecture ou du langage de prog
Externí odkaz:
http://www.theses.fr/2017PSLEE050/document
Autor:
Morisset, Robin
Publikováno v:
Other [cs.OH]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE050⟩
Modern multiprocessors architectures and programming languages exhibit weakly consistent memories. Their behaviour is formalised by the memory model of the architecture or programming language; it precisely defines which write operation can be return
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::7f855be20d4f851429a285a45dde1ff0
https://theses.hal.science/tel-01823521
https://theses.hal.science/tel-01823521
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:
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07)
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
LCTES
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
LCTES
International audience; We build on prior work on intra-array memory reuse, for which a general theoretical framework was proposed based on lattice theory. Intra-array memory reuse is a way of reducing the size of a temporary array by folding, thanks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::199eecf9b8eceb21327872e3d4e2900c
https://hal.archives-ouvertes.fr/hal-03106126/document
https://hal.archives-ouvertes.fr/hal-03106126/document
Kniha
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.