Cited By
View all- Leemrijse GFranken TNeele T(2024)Formalisation of a New Weak Semantics for AuDaLaAutomated Technology for Verification and Analysis10.1007/978-3-031-78750-8_5(93-116)Online publication date: 21-Oct-2024
To enable flexible, programmable graphics and high-performance computing, NVIDIA has developed the Tesla scalable unified graphics and parallel computing architecture. Its scalable parallel array of processors is massively multithreaded and programmable ...
The NVIDIA Jetson is demonstrated as a competitiveHPC platform. The Jetson has 192 Kepler CUDA cores that are"true" in that they share a processor: in the case of the Jetson, a32-bit ARM Cortex-A15 variant low power architecture. Ourwork explores the ...
This paper presents the first formal analysis of the official memory consistency model for the NVIDIA PTX virtual ISA. Like other GPU memory models, the PTX memory model is weakly ordered but provides scoped synchronization primitives that enable GPU ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in