Amanote Research

Amanote Research

    RegisterSign In

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA

ACM SIGPLAN Notices - United States
doi 10.1145/2914770.2837615
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer Science
Date

April 8, 2016

Authors
Shaked FlurKathryn E. GrayChristopher PulteSusmit SarkarAli SezginLuc MarangetWill DeaconPeter Sewell
Publisher

Association for Computing Machinery (ACM)


Related search

Balancing Disruption and Deployability in the CHERI Instruction-Set Architecture (ISA)

2018English

An Architecture for Integrating Concurrency Control Into Environment Frameworks

1995English

Modelling and Evaluation of Multiprocessor Architecture

International Journal of Computer Applications
2012English

Let's Think Operationally

BMJ
2011English

Unlocking Concurrency

Queue
Computer Science
2006English

Software and the Concurrency Revolution

Queue
Computer Science
2005English

An Experience in Modelling Business Process Architecture

Communications in Computer and Information Science
MathematicsComputer Science
2019English

Coalgebra, Concurrency, and Control

2000English

International Seabed Authority (ISA)

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy