Results 31 to 40 of about 14,769 (187)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010 Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small fraction can reveal them.
Zhifeng Lai, S. Cheung, W. Chan
semanticscholar +1 more source
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall [PDF]
arXiv, 2023 Strictly serializable datastores greatly simplify the development of correct applications by providing strong consistency guarantees. However, existing techniques pay unnecessary costs for naturally consistent transactions, which arrive at servers in an order that is already strictly serializable.
arxiv
Serializability theory for replicated databases
Journal of Computer and System Sciences, 1985 AbstractIn a one-copy distributed database, each data item is stored at exactly one site of a distributed system. In a replicated database, some data items are stored at multiple sites. The main motivation for replicated data is improved reliability: by storing important data at multiple sites, the system can tolerate failures more gracefully.
P A Bernstein, N Goodman
openaire +2 more sources
Effects for cooperable and serializable threads [PDF]
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation, 2010 Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interference focused on verifying race freedom and/or atomicity. Unfortunately, race freedom is insufficient to prevent unintended thread interference.
Cormac Flanagan, Jaeheon Yi
openaire +2 more sources
Advanced Engineering Materials, EarlyView.This manuscript presents advances in digital transformation within materials science and engineering, emphasizing the role of the MaterialDigital Initiative. By testing and applying concepts such as ontologies, knowledge graphs, and integrated workflows, it promotes semantic interoperability and data‐driven innovation. The article reviews collaborative
Bernd Bayerlein +44 more
wiley +1 more source
Serializable HTAP with Abort-/Wait-free Snapshot Read [PDF]
arXiv, 2022 Concurrency Control (CC) ensuring consistency of updated data is an essential element of OLTP systems. Recently, hybrid transactional/analytical processing (HTAP) systems developed for executing OLTP and OLAP have attracted much attention. The OLAP side CC domain has been isolated from OLTP's CC and in many cases has been achieved by snapshot isolation
arxiv
Advanced Engineering Materials, EarlyView.This article provides examples of ontology development in the materials science domain (use‐case of Brinell hardness testing) and gives ontology developers an overview for selecting their desired top‐level ontologies (e.g., BFO, EMMO, PROVO) by considering different evaluation parameters like semantic richness, domain coverage, extensibility ...
Hossein Beygi Nasrabadi +3 more
wiley +1 more source
Serializable isolation for snapshot databases [PDF]
Proceedings of the 2008 ACM SIGMOD international conference on Management of data, 2008 Many popular database management systems implement a multiversion concurrency control algorithm called snapshot isolation rather than providing full serializability based on locking. There are well-known anomalies permitted by snapshot isolation that can lead to violations of data consistency by interleaving transactions that would maintain consistency
Uwe Röhm +2 more
openaire +2 more sources
Ontology‐Based Digital Infrastructure for Data‐Driven Glass Development
Advanced Engineering Materials, EarlyView.This work addresses the inefficiencies in traditional glass development by implementing an ontology‐based digital infrastructure coupled with a high‐throughput robotic melting system. The approach integrates machine learning models, predictive tools, and a semantic database.
Ya‐Fan Chen +20 more
wiley +1 more source
A Scalable Framework for Serializable XQuery [PDF]
, 2010 This paper focuses on an aspect that is widely neglected in native XML database management systems: support for concurrent transactional access. We analyze the isolation requirements of the XQuery Update language and disclose typical sources of anomalies of various query processing strategies. We also present extensions to our proven XML lock protocol,
Sebastian Bächle, Theo Härder
openaire +2 more sources