Results 1 to 10 of about 613,046 (357)
Concurrency Control in Database Systems
Concurrency control mechanisms including the wait, time-stamp and rollback mechanisms have been briefly discussed. The concepts of validation in optimistic approach are summarized in a detailed view.
B. Bhargava
exaly +2 more sources
Flexible Concurrency Control for Legacy CAD to Construct Collaborative CAD Environment
Collaborative CAD (Co-CAD) systems can be constructed based on either 3D kernel or legacy stand-alone CAD systems, which are typically commercial CAD systems such as CATIA, Pro/E and so on.
Xiantao Cai, Fazhi He, Soonhung Han
exaly +3 more sources
Concurrency and Privacy with Payment-Channel Networks [PDF]
Permissionless blockchains protocols such as Bitcoin are inherently limited in transaction throughput and latency. Current efforts to address this key issue focus on off-chain payment channels that can be combined in a Payment-Channel Network (PCN) to ...
Giulio Malavolta+4 more
semanticscholar +1 more source
PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification
Multi-core techniques have been widely used in various hardware platforms, promoting development of concurrent programs. Unfortunately, concurrent programs are prone to concurrency errors.
Zhenwu Xu+3 more
doaj +1 more source
When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs
Concurrent programs are widespread in modern systems. They make better use of processor resources but inevitably introduce a new set of problems in terms of reliability and security.
Oscar Llorente-Vazquez+2 more
doaj +1 more source
Towards Composable Concurrency Abstractions [PDF]
In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory.
Janwillem Swalens+3 more
doaj +1 more source
Adding concurrency to smart contracts [PDF]
Modern cryptocurrency systems, such as the Ethereum project, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency.
Thomas D. Dickerson+3 more
semanticscholar +1 more source
Stackable Transactional File System Using Kernel-Level WAL
User applications that require transactional file access generally use user-level transactional protocols such as logging, atomic rename, since the POSIX interface does not support transactional file operations.
Daejun Park, Dongkun Shin
doaj +1 more source
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]
The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
Stefan Marr+6 more
doaj +1 more source
A Scalable Data Structure for Efficient Graph Analytics and In-Place Mutations
The graph model enables a broad range of analyses; thus, graph processing (GP) is an invaluable tool in data analytics. At the heart of every GP system lies a concurrent graph data structure that stores the graph. Such a data structure needs to be highly
Soukaina Firmli, Dalila Chiadmi
doaj +1 more source