Results 191 to 200 of about 1,338 (209)
Some of the next articles are maybe not open access.

Lift-off: Trustworthy ARMv8 semantics from formal specifications

Formal Methods in Computer-Aided Design, 2023
Kait Lam, Nicholas Coughlin
semanticscholar   +1 more source

Armv8-32 Floating-Point Architecture

2020
Chapter 5 examines the scalar floating-point capabilities of Armv8-32. It begins with a section that explains important floating-point concepts including data types, bit encodings, and special values. Software developers who understand these concepts are often able to improve the performance of algorithms that make heavy use of floating-point ...
openaire   +1 more source

Armv8-64 Advanced SIMD Programming

2020
Chapter 16 examines source code examples that carry out advanced SIMD calculations. The first source code example demonstrates how to code convolution functions using A64 fused multiply-add (FMA) instructions. This is followed by a source example that illustrates vector cross product calculations.
openaire   +1 more source

A Quantitative Evaluation of Vector Transcendental Functions on ARMv8-Based Processors

Journal of Computational Science and Technology, 2023
Jie Shen, Biao Long, Chun Huang
semanticscholar   +1 more source

Optimizing Depthwise Convolutions on ARMv8 Architecture

2023
Ruochen Hao   +7 more
openaire   +1 more source

A Comparative Study of Neural Network Compilers on ARMv8 Architecture

ARCS, 2023
Theologos Anthimopulos   +3 more
semanticscholar   +1 more source

Armv8-32 Core Programming – Part 3

2020
The content of this and the previous two chapters can be regarded as a trilogy of Arm8-32 assembly language fundamentals. In Chapters 2 and 3, you learned how to perform integer arithmetic, carry out data load and store operations, manipulate the stack, and programmatically exploit the NZCV condition flags.
openaire   +1 more source

Evaluating FFT-Based Algorithms for Strided Convolutions on ARMv8 Architectures?

Performance Evaluation Review, 2022
Songzhu Mei, Qinglin Wang
exaly  

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+

J. Circuits Syst. Comput.
Li-Li Xiao   +4 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy