Search Results - "Computing methodologies Concurrent computing methodologies"
-
1
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Published: IEEE 29.06.2021Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix…”
Get full text
Conference Proceeding -
2
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 -
3
LLM-Based Java Concurrent Program to ArkTS Converter
ISSN: 2643-1572Published: ACM 27.10.2024Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“…HarmonyOS NEXT is a distributed operating system developed to support HarmonyOS native apps. To support the new and independent Harmony ecosystem, developers…”
Get full text
Conference Proceeding -
4
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)“…The track assignment has been introduced between global routing and detail routing. Based on the independence and divisibility of track assignment, we propose…”
Get full text
Conference Proceeding -
5
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
ISSN: 1558-1225Published: ACM 01.05.2022Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)“…Traditional public blockchain systems typically had very limited transaction throughput because of the bottleneck of the consensus protocol itself. With recent…”
Get full text
Conference Proceeding -
6
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)“…Recent commercial incarnations of processing-in-memory (PIM) maintain the standard DRAM interface and employ the all-bank mode execution to maximize bank-level…”
Get full text
Conference Proceeding -
7
Leveraging Difference Recurrence Relations for High-Performance GPU Genome Alignment
Published: ACM 13.10.2024Published in 2024 33rd International Conference on Parallel Architectures and Compilation Techniques (PACT) (13.10.2024)“…Genome pairwise sequence alignment is one of the most computationally intensive workloads in many genomic pipelines, often accounting for over 90% of the…”
Get full text
Conference Proceeding -
8
Architecture-Aware Currying
Published: IEEE 21.10.2023Published in 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) (21.10.2023)“…In near-data computing (NDC), computation is brought into data, as opposed to bringing data to computation. While there is prior work focusing on different NDC…”
Get full text
Conference Proceeding -
9
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. On one hand, Software…”
Get full text
Conference Proceeding -
10
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. However, on real hardware, lock-free algorithms perform much…”
Get full text
Conference Proceeding -
11
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 -
12
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 -
13
Ultra Efficient Acceleration for De Novo Genome Assembly via Near-Memory Computing
Published: IEEE 01.09.2021Published in 2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2021)“…De novo assembly of genomes for which there is no reference, is essential for novel species discovery and metagenomics. In this work, we accelerate two key…”
Get full text
Conference Proceeding -
14
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 -
15
HeTM: Transactional Memory for Heterogeneous Systems
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Modern heterogeneous computing architectures, which couple multi-core CPUs with discrete many-core GPUs (or other specialized hardware accelerators), enable…”
Get full text
Conference Proceeding -
16
Optimizing Persistent Memory Transactions
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Byte-addressable, non-volatile, random access memory (NVM) has the potential to dramatically accelerate the performance of storage-intensive workloads. For…”
Get full text
Conference Proceeding -
17
Enabling Failure-resilient Intermittently-powered Systems Without Runtime Checkpointing
Published: ACM 01.06.2019Published in Proceedings of the 56th Annual Design Automation Conference 2019 (01.06.2019)“…Self-powered intermittent systems enable accumulative execution in unstable power environments, where checkpointing is often adopted as a means to achieve data…”
Get full text
Conference Proceeding -
18
Virtues and limitations of commodity hardware transactional memory
Published: ACM 01.08.2014Published in PACT '14 : proceedings of the 23rd International Conference on Parallel Architectures and Compilation Techniques : August 24-27, 2014, Edmonton, AB, Canada (01.08.2014)“…Over the last years Transactional Memory (TM) gained growing popularity as a simpler, attractive alternative to classic lock-based synchronization schemes…”
Get full text
Conference Proceeding -
19
Sidekicks and Superheroes: A Look into Student Reasoning about Concurrency with Threads versus Actors
Published: ACM 01.10.2020Published in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering Education and Training (01.10.2020)“…When computations consist of different processes or threads that may execute at the same time or in an interleaved manner, we say the computation is concurrent…”
Get full text
Conference Proceeding -
20
Hardware transactional memory for GPU architectures
Published: ACM 01.12.2011Published in MICRO 44 : Proceedings of the 44th Annual IEEE/ACM Symposium on Microarchitecture, December 4 - 7, 2011 Porto Alegre, RS - Brazil (01.12.2011)“…Graphics processor units (GPUs) are designed to efficiently exploit thread level parallelism (TLP), multiplexing execution of 1000s of concurrent threads on a…”
Get full text
Conference Proceeding