Search Results - Theory of computation → Concurrent algorithms
-
1
Separating Mechanism from Policy in STM
Published: IEEE 21.10.2023Published in 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) (21.10.2023)“…When designing concurrent data structures (CDSs), it can feel like programmers must choose between performance and convenience…”
Get full text
Conference Proceeding -
2
Hardware Support for Durable Atomic Instructions for Persistent Parallel Programming
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Persistent memory is emerging as an attractive main memory fabric capable of hosting persistent data. However, its programmability is hampered by the lack of…”
Get full text
Conference Proceeding -
3
HADES: Hardware-Assisted Distributed Transactions in the Age of Fast Networks and SmartNICs
Published: IEEE 29.06.2024Published in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“…Transactional-based distributed storage applications such as key-value stores and databases are widely used in the cloud. Recently, the hardware on which these…”
Get full text
Conference Proceeding -
4
BLOwing Trees to the Ground: Layout Optimization of Decision Trees on Racetrack Memory
Published: IEEE 05.12.2021Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…Modern distributed low power systems tend to integrate machine learning algorithms, which are directly executed on the distributed devices (on the edge…”
Get full text
Conference Proceeding -
5
Unfair Scheduling Patterns in NUMA Architectures
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Lock-free algorithms are typically designed and analyzed with adversarial scheduling in mind…”
Get full text
Conference Proceeding -
6
Optimizing Persistent Memory Transactions
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“… We show how to build concurrent persistent transactional memory from traditional software transactional memories…”
Get full text
Conference Proceeding -
7
DRPTM: A Decoupled Read-efficient High-scalable Persistent Transactional Memory
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Persistent transactional memory (PTM) exploits transactions to provide an easy crash-consistent interface for persistent memory (PM). However, because of the…”
Get full text
Conference Proceeding -
8
Enforcing Crash Consistency of Evolving Network Analytics in Non-Volatile Main Memory Systems
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Evolving graph processing has enabled the modeling of many complex network systems, e.g., online social networks and gene networks. Existing in-memory graph…”
Get full text
Conference Proceeding -
9
Forgive-TM: Supporting Lazy Conflict Detection In Eager Hardware Transactional Memory
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Commercial hardware transactional memory (TM) systems commonly use coherence messages to detect data conflicts. When a core inside a transaction receives a…”
Get full text
Conference Proceeding -
10
Toward High-Performance Blockchain System by Blurring the Line between Ordering and Execution
Published: IEEE 17.11.2024Published in SC24: International Conference for High Performance Computing, Networking, Storage and Analysis (17.11.2024)“…The primary bottleneck of blockchain is shifting from consensus to execution due to recent advances in DAGbased consensus algorithms supporting over 100k TPS…”
Get full text
Conference Proceeding -
11
An Adaptive Asynchronous Approach for the Single-Source Shortest Paths Problem
Published: IEEE 17.11.2024Published in SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (17.11.2024)“…Large-scale graphs with billions and trillions of vertices and edges require efficient parallel algorithms for common graph problems, one of which is single-source shortest paths (SSSP…”
Get full text
Conference Proceeding -
12
Exploring Memory Persistency Models for GPUs
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Given its high integration density, high speed, byte addressability, and low standby power, non-volatile or persistent memory is expected to supplement/replace…”
Get full text
Conference Proceeding -
13
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
ISSN: 0096-3003, 1873-5649Published: Amsterdam Elsevier Inc 15.10.2009Published in Applied mathematics and computation (15.10.2009)“…A synchronous concurrent algorithm (SCA) is a parallel deterministic algorithm based on a network of modules and channels, computing and communicating data in parallel, and synchronised by a global clock with discrete time…”
Get full text
Journal Article Conference Proceeding -
14
Modes, Persistence and Orthogonality: Blowing MPI Up
Published: IEEE 17.11.2024Published in SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis (17.11.2024)“…The Message-Passing Interface (MPI) specification provides a restricted form of persistence in point-to-point and collective communication operations that…”
Get full text
Conference Proceeding -
15
Pure quadratization and solution of ordinary differential equations by probabilistic evolution theory with concurrent computation of coefficients using exact arithmetic
ISSN: 0259-9791, 1572-8897Published: Cham Springer International Publishing 01.03.2024Published in Journal of mathematical chemistry (01.03.2024)“… A novel algorithm for concurrent computation of the coefficients of the series expansion is designed and implemented…”
Get full text
Journal Article -
16
Late Breaking Results: An Efficient and Scalable Track Assignment with GPU Parallelism
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… Based on the independence and divisibility of track assignment, we propose a GPU-accelerated parallel track assignment algorithm…”
Get full text
Conference Proceeding -
17
pSyncPIM: Partially Synchronous Execution of Sparse Matrix Operations for All-Bank PIM Architectures
Published: IEEE 29.06.2024Published in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“… Sparse matrix processing is another critical computation that can significantly benefit from the PIM architecture, but the current all-bank PIM control cannot support diverging executions due to the random sparsity…”
Get full text
Conference Proceeding -
18
PairGraph: An Efficient Search-space-aware Accelerator for High-performance Concurrent Pairwise Queries
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… suffer from irregular memory access and fragmented data sharing when processing Concurrent Pairwise Queries (CPQ…”
Get full text
Conference Proceeding -
19
Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Distributed graph analytics systems for CPUs, like D-Galois and Gemini, and for GPUs, like D-IrGL and Lux, use a bulk-synchronous parallel (BSP) programming…”
Get full text
Conference Proceeding -
20
Concurrent Computation of Attribute Filters on Shared Memory Parallel Machines
ISSN: 0162-8828, 1939-3539Published: Los Alamitos, CA IEEE 01.10.2008Published in IEEE transactions on pattern analysis and machine intelligence (01.10.2008)“… We propose a parallel algorithm which achieves efficient parallelism for a large class of attribute filters, including attribute openings, closings, thinnings and thickenings, based on Salembier's…”
Get full text
Journal Article