Results 11 to 20 of about 1,338 (209)
Relaxed virtual memory in Armv8-A [PDF]
CoRR, 2022 . Virtual memory is an essential mechanism for enforcing security boundaries, but its relaxed-memory concurrency semantics has not previously been investigated in detail.
Ben Simner +5 more
semanticscholar +9 more sources
Crystals-Dilithium on ARMv8 [PDF]
Security and Communication Networks, Volume 2022, Issue 1, 2022., 2022 Crystals-Dilithium is one of the digital-signature algorithms in NIST’s ongoing post-quantum cryptography (PQC) standardization final round. Security and computational efficiency concerning software and hardware implementations are the primary criteria ...
Youngbeom Kim +3 more
semanticscholar +3 more sources
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS [PDF]
Proceedings of the ACM on Programming Languages, 2019 Architecture specifications notionally define the fundamental interface between hardware and software: the envelope of allowed behaviour for processor implementations, and the basic assumptions for software development and verification.
A. Armstrong +13 more
semanticscholar +7 more sources
Binary Field Multiplication on ARMv8 [PDF]
Security and Communication Networks, 2015 In this paper, we show efficient implementations of binary field multiplication over ARMv8. We exploit an advanced 64-bit polynomial multiplication (\texttt{PMULL}) supported by ARMv8 and conduct multiple levels of asymptotically faster Karatsuba ...
Howon Kim +4 more
core +5 more sources
Research of High Energy-efficient Data Center Server Based on Big Data [PDF]
Jisuanji gongcheng, 2017 This paper analyzes the development and present application situation of ARM server.Combines the characteristics of data center,it designs an energy-efficient data center server based on ARMv8 architecture.It selects present representative ARMv8 server ...
ZHANG Junwei,WANG Jing,ZHANG Weigong,QIU Keni
doaj +2 more sources
Promising Compilation to ARMv8 POP [PDF]
, 2017 We prove the correctness of compilation of relaxed memory accesses and release-acquire fences from the "promising" semantics of [Kang et al. POPL'17] to the ARMv8 POP machine of [Flur et al. POPL'16].
Podkopaev, Anton +5 more
core +6 more sources
Characterizing OpenMP SynchronizationImplementations on ARMv8 Multi-Cores
2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys), 2021 Synchronization operations like barriers are fre-quently seen in parallel OpenMP programs, where an inefficient implementation can severely limit the application performance.
Wang, Z +9 more
core +3 more sources
A High Assurance Virtualization Platform for ARMv8 [PDF]
2016 European Conference on Networks and Communications (EuCNC), 2016 This paper presents the first results from the ongoing research project HASPOC, developing a high assurance virtualization platform for the ARMv8 CPU architecture.
Mats Naslund +14 more
core +7 more sources
Towards Effective Depthwise Convolutions on ARMv8 Architecture
CoRR, 2022 Depthwise convolutions are widely used in lightweight convolutional neural networks (CNNs). The performance of depthwise convolutions is mainly bounded by the memory access rather than the arithmetic operations for classic convolutions so that direct ...
Shen, Siqi +6 more
core +3 more sources
The Semantics of Multicopy Atomic ARMv8 and RISC-V [PDF]
, 2019 Previous work has established precise operational concurrency models for Power and ARMv8, in an abstract micro-architectural style based on detailed discussion with IBM and ARM staff and extensive hardware testing.
core +4 more sources