Results 11 to 20 of about 12,456 (200)
Design Principles for Scaling Multi-core OLTP Under High Contention
, 2016 Although significant recent progress has been made in improving the multi-core scalability of high throughput transactional database systems, modern systems still fail to achieve scalable throughput for workloads involving frequent access to highly ...
Abadi, Daniel J. +2 more
core +1 more source
A perspective on specifying and verifying concurrent modules [PDF]
, 2018 The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems.
Da Rocha Pinto, P +2 more
core +1 more source
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers [PDF]
, 2015 © 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races.
Deligiannis, P +2 more
core +1 more source
Remote-scope Promotion: Clarified, Rectified, and Verified [PDF]
, 2015 Modern accelerator programming frameworks, such as OpenCL, organise threads into work-groups. Remote-scope promotion (RSP) is a language extension recently proposed by AMD researchers that is designed to enable applications, for the first time, both to ...
Cederman D. +4 more
core +2 more sources
Umzi: Unified Multi-Zone Indexing for Large-Scale HTAP [PDF]
, 2019 The rising demands of real-time analytics have emphasized the need for Hybrid Transactional and Analytical Processing (HTAP) systems, which can handle both fast transactions and analytics concurrently.
Barber, Ronald +5 more
core +1 more source
Advanced Engineering Materials, EarlyView.This study presents micropleated filters manufactured by needleless electrospinning. Nanofibers are deposited onto uniaxially pre‐stretched substrates that contract upon release, forming densely packed micropleats. This architecture increases effective surface area without enlarging the filter size, achieving quality factors comparable to those of ...
Aleksandr Fadeev +6 more
wiley +1 more source
A Template for Implementing Fast Lock-free Trees Using HTM
, 2017 Algorithms that use hardware transactional memory (HTM) must provide a software-only fallback path to guarantee progress. The design of the fallback path can have a profound impact on performance.
Brown T. +4 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article provides an overview of recent advancements in bulk processing of rare‐earth‐free hard magnetic materials. It also addresses related simulation approaches at different scales. The research on rare‐earth‐free magnetic materials has increased significantly in recent years, driven by supply chain issues, environmental and social concerns, and
Daniel Scheiber, Andrea Bachmaier
wiley +1 more source
Advanced Engineering Materials, EarlyView.Curvature‐tuned auxetic lattices are designed, fabricated, and mechanically characterized to reveal how geometric curvature governs stretchability, stress redistribution, and Poisson's ratio evolution. Photoelastic experiments visualize stress pathways, while hyperelastic simulations quantify deformation mechanics.
Shuvodeep De +3 more
wiley +1 more source
Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects
, 2005 We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the 'business' and the 'synchronization' code of classes.
America +27 more
core +1 more source