Výsledky vyhledávání - Theory of computation Models of computation Concurrency Parallel computing models

In search of lost time: Axiomatising parallel composition in process algebras Autor Aceto, Luca, Anastasiadi, Elli, Castiglioni, Valentina, Ingolfsdottir, Anna, Luttik, Bas

“…This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results…”
Získat plný text

Managing GPU Concurrency in Heterogeneous Architectures Autor Kayiran, Onur, Nachiappan, Nachiappan Chidambaram, Jog, Adwait, Ausavarungnirun, Rachata, Kandemir, Mahmut T., Loh, Gabriel H., Mutlu, Onur, Das, Chita R.

“…Heterogeneous architectures consisting of general-purpose CPUs and throughput-optimized GPUs are projected to be the dominant computing platforms for many classes of applications…”
Získat plný text

On Thin Air Reads Towards an Event Structures Model of Relaxed Memory Autor Jeffrey, Alan, Riely, James

“…This is the first paper to propose a pure event structures model of relaxed memory…”
Získat plný text

Reverse-Mode Automatic Differentiation and Optimization of GPU Kernels via Enzyme Autor Moses, William S., Churavy, Valentin, Paehler, Ludger, Huckelheim, Jan, Narayanan, Sri Hari Krishna, Schanen, Michel, Doerfert, Johannes

“…Computing derivatives is key to many algorithms in scientific computing and machine learning such as optimization, uncertainty quantification, and stability analysis…”
Získat plný text

Optimizing indirect memory references with milk Autor Kiriansky, Vladimir, Zhang, Yunming, Amarasinghe, Saman

“… Parallel applications that are bound by memory bandwidth fail to scale, while applications bound by memory latency draw a small fraction of much-needed bandwidth…”
Získat plný text

Virtualizing Transactional Memory Autor Rajwar, Ravi, Herlihy, Maurice, Lai, Konrad

“… If the transactional model is to gain wide acceptance, hardware support for transactions must be virtualized to hide these limitations in much the same…”
Získat plný text

Flexible Decoupled Transactional Memory Support Autor Shriraman, Arrvindh, Dwarkadas, Sandhya, Scott, Michael L.

“…A high-concurrency transactional memory (TM) implementation needs to track concurrent accesses, buffer speculative updates, and manage conflicts…”
Získat plný text

Bandwidth Bandit: Quantitative characterization of memory contention Autor Black-Schaffer, David, Nikoleris, Nikos, Hagersten, Erik, Eklov, David

“…On multicore processors, co-executing applications compete for shared resources, such as cache capacity and memory bandwidth. This leads to suboptimal resource…”
Získat plný text

Quantitative Reasoning for Proving Lock-Freedom Autor Hoffmann, Jan, Marmar, Michael, Zhong Shao

“…This article describes a novel quantitative proof technique for the modular and local verification of lock-freedom. In contrast to proofs based on temporal…”
Získat plný text

Alchemist: A Transparent Dependence Distance Profiling Infrastructure Autor Zhang, Xiangyu, Navabi, Armand, Jagannathan, Suresh

“… This paper addresses important aspects of this issue by proposing a novel profiling technique to automatically detect available concurrency in C programs…”
Získat plný text

Parallel random numbers: as easy as 1, 2, 3 Autor Salmon, John K., Moraes, Mark A., Dror, Ron O., Shaw, David E.

“…Most pseudorandom number generators (PRNGs) scale poorly to massively parallel high-performance computation because they are designed as sequentially dependent state transformations…”
Získat plný text

Decidability and Complexity for Quiescent Consistency Autor Dongol, Brijesh, Hierons, Robert M.

“…Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in…”
Získat plný text

Fast Track: A Software System for Speculative Program Optimization Autor Kelsey, Kirk, Bai, Tongxin, Ding, Chen, Zhang, Chengliang

“… or a profiling tool mark fast-track code regions and uses a run-time system to manage the parallel execution of the speculative process and its checking processes and ensures the correct display of program outputs…”
Získat plný text

DISC: Exploiting Data Parallelism of Non-Stencil Computations on CGRAs via Dynamic Iteration Scheduling Autor Liang, Yue, Mou, Di, Liu, Dajiang

“…) that can dynamically exploit data parallelism from non-stencil computations. Via dynamic scheduling on loop iterations, DISC can select conflict-free iterations from an iteration buffer for parallel data access, while holding data dependence…”
Získat plný text

Communication-Sensitive Static Dataflow for Parallel Message Passing Applications Autor Bronevetsky, Greg

“…Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM…”
Získat plný text

Checkpointing strategies for a fixed-length execution Autor Benoit, Anne, Perotin, Lucas, Robert, Yves, Vivien, Frederic

“…This work considers checkpointing strategies for a parallel application executing on a large-scale platform whose nodes are subject to failures…”
Získat plný text

ILP and TLP in shared memory applications: A limit study Autor Fatehi, Ehsan, Gratz, Paul V.

“…With the breakdown of Dennard scaling, future processor designs will be at the mercy of power limits as Chip MultiProcessor (CMP) designs scale out to…”
Získat plný text

Using Hardware Memory Protection to Build a High-Performance, Strongly-Atomic Hybrid Transactional Memory Autor Baugh, Lee, Neelakantam, Naveen, Zilles, Craig

“…We demonstrate how fine-grained memory protection can be used in support of transactional memory systems: first showing how a software transactional memory…”
Získat plný text

Shadow Profiling: Hiding Instrumentation Costs with Parallelism Autor Moseley, Tipp, Shye, Alex, Reddi, Vijay Janapa, Grunwald, Dirk, Peri, Ramesh

“… Shadow profiling is a novel method for sampling long traces of instrumented code in parallel with normal execution, taking advantage of the trend of increasing numbers of cores…”
Získat plný text

PGX.D: a fast distributed graph processing engine Autor Hong, Sungpack, Depner, Siegfried, Manhardt, Thomas, Van Der Lugt, Jan, Verstraaten, Merijn, Chafi, Hassan

“…Graph analysis is a powerful method in data analysis. Although several frameworks have been proposed for processing large graph instances in distributed…”
Získat plný text